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: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2021-07-01
|
Series: | Mathematics |
Subjects: | |
Online Access: | https://www.mdpi.com/2227-7390/9/14/1670 |