Subcomplete forcing principles and definable well-orders

DOI10.1002/MALQ.201800008MaRDI QIDQ5109241zbMATH OpenOpenAlexWikidataFDO

Authors Gunter Fuchs

Publication date 11 May 2020

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• Forcing lightface definable well-orders without the GCH
• The bounded proper forcing axiom and well orderings of the reals
• Locally \(\Sigma _{1}\)-definable well-orders of \(\mathrm{H}(\kappa ^+)\)
• Simplest possible locally definable well-orders
• Large cardinals and definable well-orders, without the GCH

Cites work

• \(C ^{(n)}\)-cardinals
• A simple maximality principle
• Bounded forcing axioms as principles of generic absoluteness
• Closed maximality principles: implications, separations and combinations
• Closure properties of parametric subcompleteness
• Diagonal reflections on squares
• Extendible cardinals and the mantle
• Forcing axioms and stationary sets
• Generic absoluteness and the continuum
• Hierarchies of (virtual) resurrection axioms
• Hierarchies of forcing axioms, the continuum hypothesis and square principles
• scientific article; zbMATH DE number 3888510 (Why is no real title available?)
• scientific article; zbMATH DE number 1827959 (Why is no real title available?)
• Martin's maximum, saturated ideals, and nonregular ultrafilters. I
• On the Singular Cardinal Hypothesis
• SET MAPPING REFLECTION
• Set theory. An introduction to independence proofs
• Set-theoretic geology
• Subcomplete forcing and \(\mathcal{L}\)-forcing
• Subcomplete forcing, trees, and generic absoluteness
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The bounded proper forcing axiom
• The bounded proper forcing axiom and well orderings of the reals
• The downward directed grounds hypothesis and very large cardinals
• The fine structure of the constructible hierarchy
• The ground axiom
• The subcompleteness of Magidor forcing
• Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
• Weak square and stationary reflection

Cited in

(6)

• Forcing lightface definable well-orders without the GCH
• The full basis theorem does not imply analytic wellordering
• ARONSZAJN TREE PRESERVATION AND BOUNDED FORCING AXIOMS
• Canonical fragments of the strong reflection principle
• Subcomplete forcing principles and definable well-orders
• Bounded forcing axioms and weak genericity

This page was built for publication: Subcomplete forcing principles and definable well-orders

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