Forcing over Models of Determinacy

DOI10.1007/978-1-4020-5764-9_25zbMath1198.03063OpenAlexW83311697MaRDI QIDQ3053911

Paul B. Larson

Publication date: 5 November 2010

Published in: Handbook of Set Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4020-5764-9_25

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Determinacy principles (03E60)

Related Items (16)

ℙ_max variations for separating club guessing principles ⋮ Partition properties for simply definable colourings ⋮ -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders ⋮ Woodin’s axiom (*), or Martin’s Maximum, or both? ⋮ Simplest possible locally definable well-orders ⋮ Σ₁(κ)-DEFINABLE SUBSETS OF H(κ⁺) ⋮ Iterated elementary embeddings and the model theory of infinitary logic ⋮ Second order arithmetic as the model companion of set theory ⋮ Trivial automorphisms ⋮ Square principles in \(\mathbb{P}_{\max}\) extensions ⋮ Martin's maximum and definability in \(H(\aleph_2\)) ⋮ Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\) ⋮ Martin's maximum revisited ⋮ Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms ⋮ Bounded Martin's maximum with an asterisk ⋮ ℙmax variations related to slaloms

This page was built for publication: Forcing over Models of Determinacy