On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom
Examples of effectively indiscernible projective sets of real numbers in various models of set theory are presented. We prove that it is true, in Miller and Laver generic extensions of the constructible universe, that there exists a lightface <inline-formula><math xmlns="http://www.w3....
Main Authors: | Ali Enayat, Vladimir Kanovei, Vassily Lyubetsky |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2021-07-01
|
Series: | Mathematics |
Subjects: | |
Online Access: | https://www.mdpi.com/2227-7390/9/14/1670 |
Similar Items
-
Models of Set Theory in which Nonconstructible Reals First Appear at a Given Projective Level
by: Vladimir Kanovei, et al.
Published: (2020-06-01) -
On the 'Definability of Definable' Problem of Alfred Tarski
by: Vladimir Kanovei, et al.
Published: (2020-12-01) -
On the Δ<sup>1</sup><sub><em>n</em></sub> Problem of Harvey Friedman
by: Vladimir Kanovei, et al.
Published: (2020-09-01) -
Indiscernibility Mask Key for Image Steganography
by: Piotr Artiemjew, et al.
Published: (2020-05-01) -
Leibniz Did Not State Leibniz's Law
by: Hogan, Adam D.
Published: (2014)