Russian University of Transport

output

19952022

most citedBe careful with the Exp-function method

148 citations

Showing 2017Show all

2 papers · 1 filter

math.LO2017★ 18 cited

Definable $E_{0}$ 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 $n \geq 3$ , there exists a lightface $Π_{n}^{1}$ set of reals, which is a ${\mat…

math.CA2017★ 35 cited

Approaches to analysis with infinitesimals following Robinson, Nelson, and others

Peter Fletcher, Karel Hrbacek, Vladimir Kanovei +3

This is a survey of several approaches to the framework for working with infinitesimals and infinite numbers, originally developed by Abraham Robinson in the 1960s, and their const…

Definable E0​ classes at arbitrary projective levels

Approaches to analysis with infinitesimals following Robinson, Nelson, and others

Definable $E_{0}$ classes at arbitrary projective levels