Published December 15, 1996 | Version public
Journal Article

Borel equivalence relations and classifications of countable models

  • 1. ROR icon California Institute of Technology

Abstract

Using the theory of Borel equivalence relations we analyze the isomorphism relation on the countable models of a theory and develop a framework for measuring the complexity of possible complete invariants for isomorphism.

Additional Information

© 1996 Elsevier Science B.V. Received 25 July 1995. Communicated by T. Jech. Research partially supported by NSF Grant DMS-9317509. We would like to thank A. Hales and G. Melles for many useful discussions concerning the subject matter of this paper, which led, in particular, to our formulation of the cocycle property for actions and motivated the proof that it is equivalent (in the case of logic actions) to the existence of canonical models.

Additional details

Identifiers

Eprint ID
38567
Resolver ID
CaltechAUTHORS:20130517-141337004

Funding

NSF
DMS-9317509

Dates

Created
2013-05-22
Created from EPrint's datestamp field
Updated
2021-11-09
Created from EPrint's last_modified field

Caltech Custom Metadata

Caltech groups
Mathematics Department