Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level

Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level

Models of set theory are defined, in which nonconstructible reals first appear on a given level of the projective hierarchy. Our main results are as follows. Suppose that <inline-formula> <math display="inline"> <semantics> <mrow> <mi>n</mi> <mo>≥&...

Full description

Bibliographic Details
Main Authors: Vladimir Kanovei, Vassily Lyubetsky
Format: Article
Language:English
Published: MDPI AG 2020-06-01
Series:Mathematics
Subjects:
definability
nonconstructible reals
projective hierarchy
generic models
almost disjoint forcing
Online Access:https://www.mdpi.com/2227-7390/8/6/910

Internet

https://www.mdpi.com/2227-7390/8/6/910

Similar Items