Set mapping reflection

Journal of Mathematical Logic 5 (1):87-97 (2005)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1142/s0219061305000407

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Erratum: "Set mapping reflection".Justin Tatch Moore - 2005 - Journal of Mathematical Logic 5 (02):299-299.
The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis.Justin Tatch Moore - 2006 - Annals of Pure and Applied Logic 140 (1):128-132.
On Moore's mapping reflection principle. [REVIEW]Matteo Viale - 2009 - Bulletin of Symbolic Logic 15 (3):322-325.
Set Mapping Reflection. Journal of Mathematical Logic.J. T. Moore - 2009 - Bulletin of Symbolic Logic 15 (3):322-325.
Using Computer-Assisted Argument Mapping to Teach Reasoning to Students.Martin Davies, Ashley Barnett & Tim van Gelder - 2021 - In J. Anthony Blair (ed.), The Critical Thinking Anthology. pp. 115-152.
Concept mapping, mind mapping argument mapping: What are the differences and do they matter?W. Martin Davies - 2011 - Higher Education 62 (3):279–301.
Unravelling the dilemmas within everyday nursing practice.C. Johns - 1999 - Nursing Ethics 6 (4):287-298.
Unravelling The Dilemmas Within Everyday Nursing Practice.C. Johns - 1999 - Nursing Ethics 6 (4):287-298.
Changing Philosophy Through Technology: Complexity and Computer-Supported Collaborative Argument Mapping.Michael H. G. Hoffmann - 2015 - Philosophy and Technology 28 (2):167-188.
Gene Mapping: Using Law and Ethics as Guides.George J. Annas & Sherman Elias - 1992 - Oxford University Press USA.
Geospatial Visualizations for the Study of Boccaccio.Michael Papio - 2017 - Humanist Studies and the Digital Age 5 (1):24-45.
More on full reflection below $${\aleph_\omega}$$.James Cummings & Dorshka Wylie - 2010 - Archive for Mathematical Logic 49 (6):659-671.
Structure Mapping and Vocabularies for Thinking.Jeffrey Loewenstein - 2017 - Topics in Cognitive Science 9 (3):842-858.
Reflection On: On Reflection.Declan Smithies - 2016 - Analysis 76 (1):55-69.
Mapping mad identities.Hester Parr & Chris Philo - 1995 - In Steve Pile & N. J. Thrift (eds.), Mapping the Subject: Geographies of Cultural Transformation. Routledge. pp. 199--225.

Analytics

Added to PP
2012-09-02

Downloads
21 (#695,936)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Maximality Principles in Set Theory.Luca Incurvati - 2017 - Philosophia Mathematica 25 (2):159-193.
Martin’s maximum revisited.Matteo Viale - 2016 - Archive for Mathematical Logic 55 (1-2):295-317.
Diagonal reflections on squares.Gunter Fuchs - 2019 - Archive for Mathematical Logic 58 (1-2):1-26.
Ns Saturated and -Definable.Stefan Hoffelner - 2021 - Journal of Symbolic Logic 86 (1):25-59.

View all 35 citations / Add more citations

References found in this work

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
Set theory.Thomas Jech - 1981 - Journal of Symbolic Logic.
Bounded forcing axioms as principles of generic absoluteness.Joan Bagaria - 2000 - Archive for Mathematical Logic 39 (6):393-401.
The fine structure of the constructible hierarchy.R. Björn Jensen - 1972 - Annals of Mathematical Logic 4 (3):229.

View all 9 references / Add more references