Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 76, Issue 2 (2011), 461-476.
Borel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are uniformly Borel.
We also investigate Borel isomorphisms between Borel structures.
J. Symbolic Logic, Volume 76, Issue 2 (2011), 461-476.
First available in Project Euclid: 19 May 2011
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Hjorth, Greg; Nies, André. Borel structures and Borel theories. J. Symbolic Logic 76 (2011), no. 2, 461--476. doi:10.2178/jsl/1305810759. https://projecteuclid.org/euclid.jsl/1305810759