arXiv:2011.11425 Abstract | arXiv Analytics

arXiv:2011.11425 [math.LO]Abstract References Reviews Resources

Are all natural numbers the same

Published 2020-11-23Version 1

This is a report on state-of-the-art on the question of developing higher analogues of the forcing axiom PFA. Recently there have been several attempts to develop forcing axioms analogous to the proper forcing axiom (PFA) for cardinals of the form aleph_n where n > 1. We investigate the difficulties of doing this and survey some of the successes

Comments: A submission for possible publication in the the collection Research Trends in Contemporary Logic (edited by Melvin Fitting, Dov Gabbay, Massoud Pourmahdian, Adrian Rezus, and Ali Sadegh Daghighi) to be published by College Publications in 2020

Categories: math.LO

Subjects: 03E57

Keywords: natural numbers, developing higher analogues, forcing axiom pfa, proper forcing axiom, state-of-the-art

Related articles: Most relevant | Search more

arXiv:1405.2841 [math.LO] (Published 2014-05-12, updated 2015-12-10)

Finite Embeddability of Sets and Ultrafilters

Andreas Blass, Mauro Di Nasso

arXiv:1104.1699 [math.LO] (Published 2011-04-09)

Expansions of the reals which do not define the natural numbers

Antongiulio Fornasiero

arXiv:2209.01395 [math.LO] (Published 2022-09-03)

The proper forcing axiom for $\aleph_1$-sized posets and the size of the continuum