ITERATING SYMMETRIC EXTENSIONS

DOI10.1017/jsl.2018.73zbMath1448.03038arXiv1606.06718OpenAlexW3105785483MaRDI QIDQ4628676

Asaf Karagila

Publication date: 15 March 2019

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

iterated forcingaxiom of choicesymmetric extensionssymmetric iterationKinna-Wagner principlesground model definabilityiterated symmetries

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiom of choice and related propositions (03E25)

Related Items (9)

Critical cardinals ⋮ Anti-classification results for groups acting freely on the line ⋮ Combinatorial properties and dependent choice in symmetric extensions based on Lévy collapse ⋮ Preserving Dependent Choice ⋮ Borel reducibility and symmetric models ⋮ How to have more things by forgetting how to count them ⋮ The Morris model ⋮ REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS ⋮ Choiceless chain conditions

Cites Work

• Unnamed Item
• Intermediate submodels and generic extensions in set theory
• Models of ZF with the same sets of sets of ordinals
• A model of ZF + there exists an inaccessible, in which the dedekind cardinals constitute a natural non-standard model of arithmetic
• Injectivity, Projectivity, and the Axiom of Choice
• An independence result concerning the axiom of choice
• The dense linear ordering principle
• The Bristol model: An abyss called a Cohen real
• Set Theory
• Some applications of the notions of forcing and generic sets
• Über eine Abschwächung des Auswahlpostulates
• The axiom of choice

This page was built for publication: ITERATING SYMMETRIC EXTENSIONS