Electronic Resource
Springer
Archive for mathematical logic
38 (1999), S. 205-215
ISSN:
1432-0665
Keywords:
Mathematics Subject Classification (1991):03C15, 03C57, 03D45, 05C80, 28E15
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
Notes:
Abstract. We discuss resource-bounded measures on the class of recursive structures and prove that with respect to such measures a random recursive structure is almost surely isomorphic to the unique countable model of the extension axioms.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s001530050125
Library |
Location |
Call Number |
Volume/Issue/Year |
Availability |