A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level

A Model in Which Well-Orderings of the Reals Appear at a Given Projective Level

The problem of the existence of analytically definable well-orderings at a given level of the projective hierarchy is considered. This problem is important as a part of the general problem of the study of the projective hierarchy in the ongoing development of descriptive set theory. We make use of a...

Full description

Bibliographic Details
Main Authors: Vladimir Kanovei, Vassily Lyubetsky
Format: Article
Language:English
Published: MDPI AG 2022-07-01
Series:Axioms
Subjects:
well-orderings
projective hierarchy
forcing
finite support product
generic models
definability
Online Access:https://www.mdpi.com/2075-1680/11/8/354

Internet

https://www.mdpi.com/2075-1680/11/8/354

Similar Items