20 citations · 140 across the 30 of their papers we have counts for
4 papers · 2 filters
Definable minimal collapse functions at arbitrary projective levels
Vladimir Kanovei, Vassily Lyubetsky
Using a non-Laver modification of Uri Abraham's minimal collapse function, we define a generic extension by a real , in which, for a given , $\{a\}…
Minimal axiomatic frameworks for definable hyperreals with transfer
Frederik S. Herzberg, Vladimir Kanovei, Mikhail G. Katz +1
We modify the definable ultrapower construction of Kanovei and Shelah (2004) to develop a ZF-definable extension of the continuum with transfer provable using countable choice only…
Definable classes at arbitrary projective levels
Vladimir Kanovei, Vassily Lyubetsky
Using a modification of the invariant Jensen forcing, we define a model of ZFC, in which, for a given , there exists a lightface set of reals, which is a ${\mat…
The full basis theorem does not imply analytic wellordering
Vladimir Kanovei, Vassily Lyubetsky
We make use of a finite support product of clones of the Jensen minimal singleton forcing to obtain a model of ZFC in which every non-empty lightface analyticall…