35 citations · 455 across the 85 of their papers we have counts for
6 papers · 1 filter
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 …
Definable selector for sets modulo countable
Vladimir Kanovei
A set is effectively chosen in every class of sets modulo countable.
On mathematical realism and the applicability of hyperreals
Emanuele Bottazzi, Vladimir Kanovei, Mikhail G. Katz +2
We argue that Robinson's hyperreals have just as much claim to applicability as the garden variety reals. In a recent text, Easwaran and Towsner (ET) analyze the applicability of m…
19th century real analysis, forward and backward
Jacques Bair, Piotr Blaszczyk, Peter Heinig +2
19th century real analysis received a major impetus from Cauchy's work. Cauchy mentions variable quantities, limits, and infinitesimals, but the meaning he attached to these terms…
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…
Definable Hamel bases and
Vladimir Kanovei, Ralf Schindler
There is a model of ZF with a definable Hamel basis in which fails.