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

Categories

Keywords

Reprint years

DOI

10.1007/bf01268614

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

External links

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

Through your library

My notes

Similar books and articles

Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
On Σ1 1 equivalence relations with Borel classes of bounded rank.Ramez L. Sami - 1984 - Journal of Symbolic Logic 49 (4):1273 - 1283.
An Ulm-type classification theorem for equivalence relations in Solovay model.Vladimir Kanovei - 1997 - Journal of Symbolic Logic 62 (4):1333-1351.
Some applications of coarse inner model theory.Greg Hjorth - 1997 - Journal of Symbolic Logic 62 (2):337-365.
Effectively closed sets and enumerations.Paul Brodhead & Douglas Cenzer - 2008 - Archive for Mathematical Logic 46 (7-8):565-582.
Linearization of definable order relations.Vladimir Kanovei - 2000 - Annals of Pure and Applied Logic 102 (1-2):69-100.
The equivalence of determinacy and iterated sharps.Derrick Albert Dubose - 1990 - Journal of Symbolic Logic 55 (2):502-525.
On the expressibility hierarchy of Magidor-Malitz quantifiers.Matatyahu Rubin & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):542-557.
Entropy of formulas.Vera Koponen - 2009 - Archive for Mathematical Logic 48 (6):515-522.
Theories with a finite number of countable models.Robert E. Woodrow - 1978 - Journal of Symbolic Logic 43 (3):442-455.

Analytics

Added to PP
2013-11-23

Downloads
26 (#859,286)

6 months
12 (#308,345)

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