Forcing over Models of Determinacy
From MaRDI portal
Publication:3053911
DOI10.1007/978-1-4020-5764-9_25zbMath1198.03063MaRDI QIDQ3053911
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
Related Items
Woodin’s axiom (*), or Martin’s Maximum, or both?, Σ1(κ)-DEFINABLE SUBSETS OF H(κ+), ℙmax variations related to slaloms, Martin's maximum revisited, Trivial automorphisms, Square principles in \(\mathbb{P}_{\max}\) extensions, Bounded Martin's maximum with an asterisk, Iterated elementary embeddings and the model theory of infinitary logic, Martin's maximum and definability in \(H(\aleph_2\)), Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\), Partition properties for simply definable colourings, Second order arithmetic as the model companion of set theory, Category forcings, 𝑀𝑀⁺⁺⁺, and generic absoluteness for the theory of strong forcing axioms, ℙmax variations for separating club guessing principles, Simplest possible locally definable well-orders