$\Pi^1_1$ Wellfounded Relations

Notre Dame Journal of Formal Logic 35 (4):542-549 (1994)
  Copy   BIBTEX

Abstract

If there is a good $\Delta^1_3$ wellordering of the reals, then there is a $\Pi^1_1$ wellfounded relation for which the comparison relation is not projective

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

Non-wellfounded Mereology.Aaron J. Cotnoir & Andrew Bacon - 2012 - Review of Symbolic Logic 5 (2):187-204.
An algebraic study of well-foundedness.Robert Goldblatt - 1985 - Studia Logica 44 (4):423 - 437.
Projective prewellorderings vs projective wellfounded relations.Xianghui Shi - 2009 - Journal of Symbolic Logic 74 (2):579-596.
Two variable first-order logic over ordered domains.Martin Otto - 2001 - Journal of Symbolic Logic 66 (2):685-702.
A note on $\pi^1_1$ ordinals.Frederick S. Gass - 1972 - Notre Dame Journal of Formal Logic 13 (1):103-104.
Monadic $\Pi^11$-theories of $\Pi1^1$}-properties.Kees Doets - 1989 - Notre Dame Journal of Formal Logic 30 (2):224-240.
Paradox by (non-wellfounded) definition.Hannes Leitgeb - 2005 - Analysis 65 (4):275–278.
ZF + "every set is the same size as a wellfounded set".Thomas Forster - 2003 - Journal of Symbolic Logic 68 (1):1-4.
Non-wellfounded set theory.Lawrence S. Moss - 2008 - Stanford Encyclopedia of Philosophy.
Treeable equivalence relations.Greg Hjorth - 2012 - Journal of Mathematical Logic 12 (1):1250003-.
Glimm-Effros for coanalytic equivalence relations.Greg Hjorth - 2009 - Journal of Symbolic Logic 74 (2):402-422.

Analytics

Added to PP
2010-08-24

Downloads
13 (#929,643)

6 months
2 (#889,309)

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

On the determinacy of games on ordinals.L. A. Harrington - 1981 - Annals of Mathematical Logic 20 (2):109.

Add more references