Premium
A Groszek‐Laver pair of undistinguishable E 0 ‐classes
Author(s) -
Golshani Mohammad,
Kanovei Vladimir,
Lyubetsky Vassily
Publication year - 2017
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.201500020
Subject(s) - mathematics , extension (predicate logic) , set (abstract data type) , combinatorics , discrete mathematics , computer science , programming language
A generic extension L [ x , y ] of the constructible universe L by reals x , y is defined, in which the union of E 0 ‐classes of x and y is a lightface Π 2 1 set, but neither of these two E 0 ‐classes is separately ordinal‐definable.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom