Counterexamples to countable-section Π 2 1 uniformization and Π 3 1 separation

&
Annals of Pure and Applied Logic 167 (3):262-283 (2016)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2015.12.002

Links

PhilArchive



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

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

Generalized reduction theorems for model-theoretic analogs of the class of coanalytic sets.Shaughan Lavine - 1993 - Journal of Symbolic Logic 58 (1):81-98.
Locally countable models of Σ1-separation.Fred G. Abramson - 1981 - Journal of Symbolic Logic 46 (1):96 - 100.
Dual easy uniformization and model-theoretic descriptive set theory.Shaughan Lavine - 1991 - Journal of Symbolic Logic 56 (4):1290-1316.
The supertask argument against countable additivity.Jon Pérez Laraudogoitia - 2014 - Philosophical Studies 168 (3):619-628.
Countable Fréchetα 1-spaces may be first countable.Alan Dow & Juris Stepräns - 1992 - Archive for Mathematical Logic 32 (1):33-50.
Σ1-separation.Fred G. Abramson - 1979 - Journal of Symbolic Logic 44 (3):374 - 382.
Π 2 1 -Logic and uniformization in the analytical hierarchy.J. P. Ressayre - 1989 - Archive for Mathematical Logic 28 (2):99-117.
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
The axiom of choice for countable collections of countable sets does not imply the countable union theorem.Paul E. Howard - 1992 - Notre Dame Journal of Formal Logic 33 (2):236-243.
Uniformization principles.Alan H. Mekler & Saharon Shelah - 1989 - Journal of Symbolic Logic 54 (2):441-459.
A trial separation between the theory of knowledge and the theory of justified belief.Richard Foley - manuscript
Vivekananda reader.Swami Vivekananda (ed.) - 2012 - Kolkata: Advaita Ashrama, Publication Department.
Context-Dependence and the Sorites.Graeme Forbes - unknown
End extensions and numbers of countable models.Saharon Shelah - 1978 - Journal of Symbolic Logic 43 (3):550-562.
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.

Analytics

Added to PP
2016-02-04

Downloads
18 (#808,169)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Definable E 0 classes at arbitrary projective levels.Vladimir Kanovei & Vassily Lyubetsky - 2018 - Annals of Pure and Applied Logic 169 (9):851-871.

Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Recursion-theoretic hierarchies.Peter G. Hinman - 1978 - New York: Springer Verlag.
Descriptive Set Theory.Richard Mansfield - 1981 - Journal of Symbolic Logic 46 (4):874-876.
Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
A definable E 0 class containing no definable elements.Vladimir Kanovei & Vassily Lyubetsky - 2015 - Archive for Mathematical Logic 54 (5-6):711-723.

View all 6 references / Add more references