|
Lightface -indescribable cardinals
Author(s):
David
Schrittesser
Journal:
Proc. Amer. Math. Soc.
135
(2007),
1213-1222.
MSC (2000):
Primary 03E35, 03E55, 03E65
Posted:
October 13, 2006
Retrieve article in:
PDF
Abstract |
References |
Similar articles |
Additional information
Abstract:
-absoluteness for forcing means that for any forcing , . `` inaccessible to reals'' means that for any real , . To measure the exact consistency strength of `` -absoluteness for forcing and is inaccessible to reals'', we introduce a weak version of a weakly compact cardinal, namely, a (lightface) -indescribable cardinal; has this property exactly if it is inaccessible and .
References:
-
- [Bag]
- J. Bagaria, Axioms of generic absoluteness, Available online at http://www.icrea.es/ ficheros/Proyectos/treb_8449.pdf.
- [Bag00]
- -, Bounded forcing axioms as principles of generic absoluteness, Arch. Math. Logic 39 (2000), 393-401. MR 1773776 (2001i:03103)
- [BB04]
- J. Bagaria and R. Bosch, Solovay models and forcing extensions, Journal of Symbolic Logic 69 (2004), no. 3, 741-766. MR 2078919 (2005e:03103)
- [BF01]
- J. Bagaria and S. D. Friedman, Generic absoluteness, Annals of Pure and Applied Logic 108 (2001), 3-13. MR 1819046 (2002g:03098)
- [Dev84]
- K. J. Devlin, Constructibility, Springer-Verlag, 1984. MR 0750828 (85k:03001)
- [Fri04]
- S. D. Friedman, Generic
absoluteness, Journal of Symbolic Logic 69 (2004), 73-80. MR 2039346 (2004m:03180) - [GS95]
- M. Goldstern and S. Shelah, The bounded proper forcing axiom, Journal of Symbolic Logic 60 (1995), 58-73. MR 1324501 (96g:03083)
- [HS85]
- L. Harrington and S. Shelah, Some exact equiconsistency results in set theory, Notre Dame Journal of Formal Logic 26 (1985), no. 2, 178-188. MR 0783595 (86g:03079)
- [Kan03]
- A. Kanamori, The higher infinite, second edition ed., Springer, 2003. MR 1994835 (2004f:03092)
- [Sch04]
- D. Schrittesser,
-absoluteness in forcing extensions, Master's thesis, Universität Wien, 2004, available at http://www.logic.univie.ac.at/~david/papers/mthesis.pdf.
Similar Articles:
Retrieve articles in Proceedings of the American Mathematical Society
with MSC
(2000):
03E35, 03E55, 03E65
Retrieve articles in all Journals with MSC
(2000):
03E35, 03E55, 03E65
Additional Information:
David
Schrittesser
Affiliation:
Kurt Gödel Research Center for Mathematical Logic, Währinger Straße 25, A-1090 Wien, Austria
Email:
david@logic.univie.ac.at
DOI:
10.1090/S0002-9939-06-08571-6
PII:
S 0002-9939(06)08571-6
Keywords:
Forcing axioms,
indescribable cardinals
Received by editor(s):
April 15, 2005
Received by editor(s) in revised form:
October 9, 2005 and November 16, 2005
Posted:
October 13, 2006
Additional Notes:
During the preparation of this article, the author was supported by FWF-Project 16334. The author also would like to thank everyone at the Centre de Recerca Matemàtica, Barcelona, for their support. Lastly, many thanks to the referee for her (or his) work and patience. This article is also available from \texttt{arXiv.org}.
Communicated by:
Julia Knight
Copyright of article:
Copyright
2006,
by the author
|