Forcing over models of determinacy

DOI10.1007/978-1-4020-5764-9_25MaRDI QIDQ3053911zbMATH OpenOpenAlexFDO

Authors Paul 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)

Recommendations

• An introduction to \(\mathbb{P}_{\max}\) forcing
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Square principles in \(\mathbb{P}_{\max}\) extensions
• Proper forcing and \(L(\mathbb{R})\)
• Martin's Maximum and the \(\mathbb{P}_{\max}\) Axiom \((*)\)

Cited in

(28)

• Canonical models for _1-combinatorics
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Deterministic FOIES are strictly weaker
• The destruction of the axiom of determinacy by forcings on \(\mathbb{R}\) when \(\Theta\) is regular
• Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
• Partition properties for simply definable colourings
• Preserving levels of projective determinacy by tree forcings
• Second order arithmetic as the model companion of set theory
• Proper forcing and \(L(\mathbb{R})\)
• Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
• \(\mathbb P_{\max}\) variations for separating club guessing principles
• Simplest possible locally definable well-orders
• Trivial automorphisms
• 0^# and some forcing principles
• The strength of \(\mathrm{PFA}(\aleph_2)\) plus a precipitous ideal on \(\omega_1\) and Namba-like forcings
• Square principles in \(\mathbb{P}_{\max}\) extensions
• An introduction to \(\mathbb{P}_{\max}\) forcing
• Woodin’s axiom (*), or Martin’s Maximum, or both?
• \(\Sigma_1(\kappa)\)-definable subsets of \(\mathrm{H}(\kappa^+)\)
• ℙmax variations related to slaloms
• Martin's maximum revisited
• -definability at higher cardinals: Thin sets, almost disjoint families and long well-orders
• Forcing more \(\mathsf{DC}\) over the Chang model using the thorn sequence
• On \(\omega\)-strongly measurable cardinals in \(\mathbb{P}_{\max}\) extensions
• Forcing axioms and the definability of the nonstationary ideal on the first uncountable
• 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\))

This page was built for publication: Forcing over models of determinacy

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3053911)