New $\Sigma ^1_3$ facts

DOI10.1090/S0002-9939-99-04914-XzbMath0932.03063arXivmath/9712272MaRDI QIDQ4268930

Sy-David Friedman

Publication date: 28 October 1999

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9712272

zbMATH Keywords

partitionsinner modelabsolutenessclass forcing0 sharp\(\Sigma_3^1\) sentenceiterated square sequences

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items

On the consistency strength of the inner model hypothesis ⋮ Generic absoluteness ⋮ Internal Consistency and the Inner Model Hypothesis