Indexed metadata
SET MAPPING REFLECTION
JUSTIN TATCH MOORE
Source record
Source: Crossref
Published: Jun 1, 2005
DOI: 10.1142/s0219061305000407
Open original source ↗Source 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 ω = ω 2 and that [Formula: see text] satisfies the Axiom of Choice. It will also be demonstrated that this reflection principle implies that □(κ) fails for all regular κ > ω 1 .
Evidence graph
No public relationships recorded yet.
Integrity note: This page is a factual metadata record created by deterministic ingestion. It is not a claim that the work moves a mathematical frontier or has been independently verified.