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.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: July 13, 1996
Rights and permissions
About this article
Cite this article
Grädel, E., Malmström, A. 0-1 laws for recursive structures. Arch Math Logic 38, 205–215 (1999). https://doi.org/10.1007/s001530050125
Issue Date:
DOI: https://doi.org/10.1007/s001530050125