Forcing axioms and projective sets of reals

  • Ralf Schindler
Conference paper
Part of the Trends in Logic book series (TREN, volume 23)

This paper is an introduction to forcing axioms and large cardinals. Specifically, we shall discuss the large cardinal strength of forcing axioms in the presence of regularity properties for projective sets of reals. The new result shown in this paper says that ZFC + the bounded proper forcing axiom (BPFA) + “every projective set of reals is Lebesgue measurable” is equiconsistent with ZFC + “there is a Σ1 reflecting cardinal above a remarkable cardinal.”


Order Type Inaccessible Cardinal Maximal Antichains Singular Cardinal Supercompact Cardinal 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Kluwer Academic Publishers 2004

Authors and Affiliations

  • Ralf Schindler
    • 1
  1. 1.Institut für formale LogikUniversität WienAustria

Personalised recommendations