SET MAPPING REFLECTION
From MaRDI portal
Abstract: In this note we will discuss a new reflection principle which follows from the Proper Forcing Axiom. The immediate purpose will be to prove that the bounded form of the Proper Forcing Axiom implies both that 2^omega = omega_2 and that L(P(omega_1)) satisfies the Axiom of Choice. It will also be demonstrated that this reflection principle implies that combinatorial principle Square(kappa) fails for all regular kappa > omega_1.
Recommendations
- Set mapping reflection
- Set-theoretical reflection equation: classification of reflection maps
- scientific article; zbMATH DE number 3995675
- Reflection maps
- On the structure of set-mappings
- Mapping Sets and Hypersets into Numbers
- scientific article; zbMATH DE number 3871209
- Transformations between self-referential sets
- On strong forms of reflection in set theory
- On Strong Forms of Reflection in Set Theory
Cites work
- Bounded forcing axioms as principles of generic absoluteness
- Forcing axioms and stationary sets
- Forcing Positive Partition Relations
- Generic absoluteness and the continuum
- Iterated Cohen extensions and Souslin's problem
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Partition Problems in Topology
- Partitioning pairs of countable ordinals
- Square in core models
- The bounded proper forcing axiom
- The fine structure of the constructible hierarchy
- Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions
Cited in
(44)- On a class of maximality principles
- Diagonal reflections on squares
- Martin's maximum\(^{++}\) implies Woodin's axiom \((*)\)
- Forcing the mapping reflection principle by finite approximations
- Properness under closed forcing
- Codings and strongly inaccessible cardinals
- Coherent sequences and threads
- The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis
- Coding by club-sequences
- Definable MAD families and forcing axioms
- Category forcings, \(\mathsf{MM}^{+++}\), and generic absoluteness for the theory of strong forcing axioms
- The bounded Axiom A forcing axiom
- BPFA and projective well-orderings of the reals
- MRP, tree properties and square principles
- Parametrized Measuring and Club Guessing
- Forcing axioms and the continuum hypothesis
- Aronszajn lines and the club filter
- 10th Asian Logic Conference
- scientific article; zbMATH DE number 1795301 (Why is no real title available?)
- Hierarchies of (virtual) resurrection axioms
- Definable well-orders of \(H(\omega _2)\) and GCH
- P-ideal dichotomy and weak squares
- NS SATURATED AND -DEFINABLE
- DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS
- Incompatible bounded category forcing axioms
- A direct proof of the five element basis theorem
- Subcomplete forcing principles and definable well-orders
- Almost strong properness
- Weak diamond and Galvin's property
- Forcing consequences of PFA together with the continuum large
- Set mapping reflection
- What makes the continuum ℵ₂
- The proper forcing axiom and the singular cardinal hypothesis
- Martin's maximum revisited
- KNASTER AND FRIENDS III: SUBADDITIVE COLORINGS
- Reflection principles, GCH and the uniformization properties
- On the consistency strength of the proper forcing axiom
- Forcing axioms and the definability of the nonstationary ideal on the first uncountable
- More on setwise climbability properties
- Guessing and non-guessing of canonical functions
- A generalization of Martin's axiom
- Strong Chang's conjecture and the tree property at \(\omega_{2}\)
- Bounding the consistency strength of a five element linear basis
- Martin's maximum and definability in \(H(\aleph_2\))
This page was built for publication: SET MAPPING REFLECTION
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5694199)
