Projective prewellorderings vs projective wellfounded relations. (English) Zbl 1166.03028

Summary: We show that it is relatively consistent with ZFC that there is a projective wellfounded relation with rank higher than all projective prewellorderings.


03E15 Descriptive set theory
03E35 Consistency and independence results
03E45 Inner models, including constructibility, ordinal definability, and core models
Full Text: DOI


[1] Descriptive Set Theory (1980) · Zbl 0433.03025
[2] Mathematical Logic and Foundations of Set Theory pp 24– (1970)
[3] Set Theory: An Introduction to Independence Proofs 102 (1980)
[4] DOI: 10.1007/BF01886396 · Zbl 0158.26603
[5] On projective ordinals 39 pp 269– (1974)
[6] Set Theory (2003)
[7] DOI: 10.1016/0003-4843(77)90004-3 · Zbl 0384.03033
[8] Cabal Seminar ’77–’79 (Proceedings of the Caltech-UCLA Logic Seminar, 1977-1979) pp 101– (1981)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.