Skip to main content Accessibility help
×
Home
Hostname: page-component-564cf476b6-qxxll Total loading time: 0.151 Render date: 2021-06-23T07:19:41.984Z Has data issue: true Feature Flags: { "shouldUseShareProductTool": true, "shouldUseHypothesis": true, "isUnsiloEnabled": true, "metricsAbstractViews": false, "figures": true, "newCiteModal": false, "newCitedByModal": true, "newEcommerce": true }

Universally Baire sets and definable well-orderings of the reals

Published online by Cambridge University Press:  12 March 2014

SY D. Friedman
Affiliation:
Institut Für Formale Logik, Universität Wien, Währinger STR. 25, 1090 Wien, Austria, E-mail: sdf@logic.univie.ac.at
Ralf Schindler
Affiliation:
Institut Für Formale Logik, Universität Wien, Währinger STR. 25, 1090 Wien, Austria, E-mail: rds@logic.univie.ac.at
Corresponding

Abstract

Let n ≥ 3 be an integer. We show that it is consistent (relative to the consistency of n − 2 strong cardinals) that every Σ1 n -set of reals is universally Baire yet there is a (lightface) projective well-ordering of the reals. The proof uses “David's trick” in the presence of inner models with strong cardinals.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2003

Access options

Get access to the full version of this content by using one of the access options below.

References

[1] David, R., Δ3 1 reals. Annals of Mathematical Logic, vol. 23 (1982), pp. 121125.CrossRefGoogle Scholar
[2] David, R., A very absolute Π2 1-singleton, Annals of Mathematical Logic, vol. 23 (1982), pp. 101120.CrossRefGoogle Scholar
[3] Feng, Q., Magidor, M., and Woodin, H., Universally Baire sets of reals, Set theory of the continuum (Judan, et al., editors), Mathematical Sciences Research Institute Publications, vol. 26, Springer Verlag, 1992, pp. 203242.CrossRefGoogle Scholar
[4] Friedman, S. D., David's trick, Proceedings of the 1997 asl summer meeting at leeds, vol. 258, Cambridge University Press, 1999, pp. 6771.Google Scholar
[5[ Friedman, S. D., Fine structure and class forcing, de Gruyter Series in Logic and its Applications, vol. 3, Walter de Gruyter & Co., Berlin, New York, 2000.CrossRefGoogle Scholar
[6] Friedman, S. D., Genericity and large cardinals, to appear.Google Scholar
[7] Hauser, K., The consistency strength of projective absoluteness, Annals of Pure and Applied Logic, vol. 74 (1995), pp. 245295.CrossRefGoogle Scholar
[8] Hauser, K. and Schindler, R.-D., Projective uniformization revisited, Annals of Pure and Applied Logic, vol. 103 (2000), pp. 109153.CrossRefGoogle Scholar
[9] Jech, T., Set theory, San Diego, 1978.Google Scholar
[10] Kechris, A. S. and Moschovakis, Y. N., Notes on the theory of scales, Cabal seminar 76–77 (Kechris, A. S. and Moschovakis, Y. N., editors), Lecture Notes in Math., vol. 689, Berlin, 1978, pp. 153.CrossRefGoogle Scholar
[11] Martin, D. A. and Solovay, R. M., A basis theorem for Σ3 1 sets of reals, Annals of Mathematics, vol. 89 (1969), pp. 138160.CrossRefGoogle Scholar
[12] Mitchell, W. and Steel, J., Fine structure and iteration trees, Lecture Notes in Logic, vol. 3, Springer-Verlag, Berlin, 1994.CrossRefGoogle Scholar
[13] Schindler, R., The core model for almost linear iterations, Annals of Pure and Applied Logic, vol. 116 (2002), pp. 207274.CrossRefGoogle Scholar
[14] Steel, J. R., Projectively well-ordered inner models, Annals of Pure and Applied Logic, vol. 74 (1995), pp. 77104.CrossRefGoogle Scholar
[15] Steel, J. R., The core model iterability problem, Lecture Notes in Logic, vol. 8, Springer-Verlag, Berlin, 1996.CrossRefGoogle Scholar
[16] Woodin, H., On the consistency strength of projective uniformization, Logic colloquium 81 (Amsterdam) (Stern, J., editor), North-Holland, 1982, pp. 365383.Google Scholar

Send article to Kindle

To send this article to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle. Find out more about sending to your Kindle.

Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

Find out more about the Kindle Personal Document Service.

Universally Baire sets and definable well-orderings of the reals
Available formats
×

Send article to Dropbox

To send this article to your Dropbox account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Dropbox.

Universally Baire sets and definable well-orderings of the reals
Available formats
×

Send article to Google Drive

To send this article to your Google Drive account, please select one or more formats and confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your <service> account. Find out more about sending content to Google Drive.

Universally Baire sets and definable well-orderings of the reals
Available formats
×
×

Reply to: Submit a response

Please enter your response.

Your details

Please enter a valid email address.

Conflicting interests

Do you have any conflicting interests? *