Journal of Symbolic Logic

A Minimal Counterexample to Universal Baireness

Kai Hauser

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

For a canonical model of set theory whose projective theory of the real numbers is stable under set forcing extensions, a set of reals of minimal complexity is constructed which fails to be universally Baire. The construction uses a general method for generating non-universally Baire sets via the Levy collapse of a cardinal, as well as core model techniques. Along the way it is shown (extending previous results of Steel) how sufficiently iterable fine structure models recognize themselves as global core models.

Article information

Source
J. Symbolic Logic, Volume 64, Issue 4 (1999), 1601-1627.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745942

Mathematical Reviews number (MathSciNet)
MR1780074

Zentralblatt MATH identifier
0949.03041

JSTOR
links.jstor.org

Subjects
Primary: 03E15: Descriptive set theory [See also 28A05, 54H05]
Secondary: 03E45: Inner models, including constructibility, ordinal definability, and core models 54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) [See also 03E15, 26A21, 28A05] 28A05: Classes of sets (Borel fields, $\sigma$-rings, etc.), measurable sets, Suslin sets, analytic sets [See also 03E15, 26A21, 54H05] 03E55: Large cardinals 03E60: Determinacy principles

Keywords
Set Theory Descriptive Set Theory Inner Models Universally Baire Sets

Citation

Hauser, Kai. A Minimal Counterexample to Universal Baireness. J. Symbolic Logic 64 (1999), no. 4, 1601--1627. https://projecteuclid.org/euclid.jsl/1183745942


Export citation