Choiceless Löwenheim-Skolem property and uniform definability of grounds

DOI10.1007/978-981-16-4173-2_8OpenAlexW2934717230MaRDI QIDQ2097062

Toshimichi Usuba

Publication date: 11 November 2022

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

zbMATH Keywords

forcing methodaxiom of choiceset-theoretic geology

Mathematics Subject Classification ID

General logic (03Bxx) Proof theory and constructive mathematics (03Fxx) Set theory (03Exx)

Related Items (3)

Sequential and distributive forcings without choice ⋮ REALIZING REALIZABILITY RESULTS WITH CLASSICAL CONSTRUCTIONS ⋮ Choiceless chain conditions

Cites Work

• Unnamed Item
• All uncountable cardinals can be singular
• Set theory. An introduction to independence proofs
• Intermediate submodels and generic extensions in set theory
• Fodor's lemma can fail everywhere
• Certain very large cardinals are not created in small forcing extensions
• Set-theoretic geology
• SUITABLE EXTENDER MODELS I
• Injectivity, Projectivity, and the Axiom of Choice
• Independence results concerning Dedekindfinite sets
• The Bristol model: An abyss called a Cohen real
• The downward directed grounds hypothesis and very large cardinals
• Set Theory
• Extensions with the approximation and cover properties have no new large cardinals
• On ground model definability
• The ground axiom

This page was built for publication: Choiceless Löwenheim-Skolem property and uniform definability of grounds