Some applications of illfoundedness

Archive for Mathematical Logic 35 (3):131-144 (1996)
  Copy   BIBTEX

Abstract

It is possible to completely characterize which countable models generated by 0# exist inL. This in turn has applications in the study of analytic equivalence relations; for instance, ifE is∑ 1 1 and every invariant∑ 1 1 (0#) set isΔ 1 1 , thenE has at most ℵ0 many equivalence classes

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
Analytic equivalence relations and bi-embeddability.Sy-David Friedman & Luca Motto Ros - 2011 - Journal of Symbolic Logic 76 (1):243 - 266.
Borel equivalence relations which are highly unfree.Greg Hjorth - 2008 - Journal of Symbolic Logic 73 (4):1271-1277.
On non-wellfounded iterations of the perfect set forcing.Vladimir Kanovei - 1999 - Journal of Symbolic Logic 64 (2):551-574.
On Σ1 1 equivalence relations with Borel classes of bounded rank.Ramez L. Sami - 1984 - Journal of Symbolic Logic 49 (4):1273 - 1283.
Simultaneity as an Invariant Equivalence Relation.Marco Mamone-Capria - 2012 - Foundations of Physics 42 (11):1365-1383.

Analytics

Added to PP
2013-11-23

Downloads
9 (#1,130,089)

6 months
1 (#1,241,711)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Model theory for infinitary logic.H. Jerome Keisler - 1971 - Amsterdam,: North-Holland Pub. Co..
Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.

Add more references