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>≥&...
Main Authors: | Vladimir Kanovei, Vassily Lyubetsky |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2020-06-01
|
Series: | Mathematics |
Subjects: | |
Online Access: | https://www.mdpi.com/2227-7390/8/6/910 |
Similar Items
-
On the Δ<sup>1</sup><sub><em>n</em></sub> Problem of Harvey Friedman
by: Vladimir Kanovei, et al.
Published: (2020-09-01) -
On the 'Definability of Definable' Problem of Alfred Tarski
by: Vladimir Kanovei, et al.
Published: (2020-12-01) -
On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom
by: Ali Enayat, et al.
Published: (2021-07-01) -
Mathematical Logic and Its Applications 2020
Published: (2021) -
Almost disjoint families em topologia
by: Vinicius de Oliveira Rodrigues
Published: (2017)