Sökning: onr:"swepub:oai:gup.ub.gu.se/305946" >
On Effectively Indi...
On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom
-
- Enayat, Ali, 1959 (författare)
- Gothenburg University,Göteborgs universitet,Institutionen för filosofi, lingvistik och vetenskapsteori,Department of Philosophy, Linguistics and Theory of Science
-
Kanovei, Vladimir (författare)
-
Lyubetski, Vassily (författare)
-
(creator_code:org_t)
- 2021-07-15
- 2021
- Engelska.
-
Ingår i: Mathematics. - : MDPI AG. - 2227-7390. ; 9:14
- Relaterad länk:
-
https://www.mdpi.com...
-
visa fler...
-
https://gup.ub.gu.se...
-
https://doi.org/10.3...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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 Π21 equivalence relation on the set of all nonconstructible reals, having exactly two equivalence classes, neither one of which is ordinal definable, and therefore the classes are OD-indiscernible. A similar but somewhat weaker result is obtained for Silver extensions. The other main result is that for any n, starting with 2, the existence of a pair of countable disjoint OD-indiscernible sets, whose associated equivalence relation belongs to lightface Πn1, does not imply the existence of such a pair with the associated relation in Σn1 or in a lower class.
Ämnesord
- HUMANIORA -- Filosofi, etik och religion -- Filosofi (hsv//swe)
- HUMANITIES -- Philosophy, Ethics and Religion -- Philosophy (hsv//eng)
- NATURVETENSKAP -- Matematik -- Algebra och logik (hsv//swe)
- NATURAL SCIENCES -- Mathematics -- Algebra and Logic (hsv//eng)
Nyckelord
- indiscernible sets; Leibniz-Mycielski axiom; projective hierarchy; generic models; ordinaldefinability; Miller forcing; Laver forcing; Silver forcing
Publikations- och innehållstyp
- ref (ämneskategori)
- art (ämneskategori)
Hitta via bibliotek
Till lärosätets databas