20 citations · 140 across the 30 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
math.LO2019
Indiscernible pairs of countable sets of reals at a given projective level
Vladimir Kanovei, Vassily Lyubetsky
Using an invariant modification of Jensen's "minimal singleton" forcing, we define a model of ZFC, in which, for a given , there exists a lightface …
math.LO2019
Models of set theory in which separation theorem fails
Vladimir Kanovei, Vassily Lyubetsky
We make use of a finite support product of the Jensen minimal forcing to define a model of set theory in which the separation theorem fails for projective classes an…