- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Borel equivalence relations and classifications of countable models
Annals of Pure and Applied Logic 82 (3):221-272 (1996)
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 isomorphismMy notes
Similar books and articles
Borel equivalence relations which are highly unfree.Greg Hjorth - 2008 - Journal of Symbolic Logic 73 (4):1271-1277.
Review: Greg Hjorth, Alexander S. Kechris, Analytic Equivalence Relations and Ulm-Type Classifications; Greg Hjorth, Alexander S. Kechris, Alain Louveau, Borel Equivalence Relations Induced by Actions of the Symmetric Group. [REVIEW]Sławomir Solecki - 2001 - Bulletin of Symbolic Logic 7 (4):541-544.
The Borel Complexity of Isomorphism for Theories with Many Types.David Marker - 2007 - Notre Dame Journal of Formal Logic 48 (1):93-97.
Continuous versus Borel reductions.Simon Thomas - 2009 - Archive for Mathematical Logic 48 (8):761-770.
Bi-Borel Reducibility of Essentially Countable Borel Equivalence Relations.Greg Hjorth - 2005 - Journal of Symbolic Logic 70 (3):979 - 992.
The relation of recursive isomorphism for countable structures.Riccardo Camerlo - 2002 - Journal of Symbolic Logic 67 (2):879-895.
Infinite Time Decidable Equivalence Relation Theory.Samuel Coskey & Joel David Hamkins - 2011 - Notre Dame Journal of Formal Logic 52 (2):203-228.
Borel structures and borel theories.Greg Hjorth & André Nies - 2011 - Journal of Symbolic Logic 76 (2):461 - 476.
Analytic equivalence relations and bi-embeddability.Sy-David Friedman & Luca Motto Ros - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.
Cofinal families of Borel equivalence relations and quasiorders.Christian Rosendal - 2005 - Journal of Symbolic Logic 70 (4):1325-1340.
Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
Analytics
Added to PP
2014-01-16
Downloads
13 (#973,701)
6 months
1 (#1,444,594)
2014-01-16
Downloads
13 (#973,701)
6 months
1 (#1,444,594)
Historical graph of downloads
Citations of this work
Degree spectra and computable dimensions in algebraic structures.Denis R. Hirschfeldt, Bakhadyr Khoussainov, Richard A. Shore & Arkadii M. Slinko - 2002 - Annals of Pure and Applied Logic 115 (1-3):71-113.
Countable borel equivalence relations.S. Jackson, A. S. Kechris & A. Louveau - 2002 - Journal of Mathematical Logic 2 (01):1-80.
Borel equivalence relations induced by actions of the symmetric group.Greg Hjorth, Alexander S. Kechris & Alain Louveau - 1998 - Annals of Pure and Applied Logic 92 (1):63-112.
New dichotomies for borel equivalence relations.Greg Hjorth & Alexander S. Kechris - 1997 - Bulletin of Symbolic Logic 3 (3):329-346.
New jump operators on equivalence relations.John D. Clemens & Samuel Coskey - 2022 - Journal of Mathematical Logic 22 (3).
References found in this work
A borel reducibility theory for classes of countable structures.Harvey Friedman & Lee Stanley - 1989 - Journal of Symbolic Logic 54 (3):894-914.
Stability of nilpotent groups of class 2 and prime exponent.Alan H. Mekler - 1981 - Journal of Symbolic Logic 46 (4):781-788.
Analytic equivalence relations and Ulm-type classifications.Greg Hjorth & Alexander S. Kechris - 1995 - Journal of Symbolic Logic 60 (4):1273-1300.
Amenable equivalence relations and Turing degrees.Alexander S. Kechris - 1991 - Journal of Symbolic Logic 56 (1):182-194.
On the Borel classification of the isomorphism class of a countable model.Arnold W. Miller - 1983 - Notre Dame Journal of Formal Logic 24 (1):22-34.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-9lpj8 uwo