Metric completions, Heine-Borel, and approachability.
Open Mathematics, 2020, to appear.
WoS Q3

Cauchy"s work on integral geometry, centers of curvature, and other applications of infinitesimals.
Real Analysis Exchange, 2020, to appear.

Модели теории множеств, в которых теорема отделимости неверна.
Известия Российской академии наук. Серия математическая, 2020.
На рецензии.
WoS Q2

Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2020. Recommended pending revision.
SCOPUS, Q2

Factoring Solovay-random extensions, with application to the Reduction property.
Monatshefte fur Mathematik, 2020, recommended modulo revisions.
WoS Q2

The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2020, submitted.
WoS Q1

Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame J. Form. Logic, 2020, Volume 61, Number 1, 117-128.
DOI: 10.1215/00294527-2019-0034
SCIMAGO, Q2.
Перейти к публикации

On mathematical realism and applicability of hyperreals.
Antiquitates Mathematicae, 2019, 13, 1, pp. 19-49.
DOI:10.14708/am.v13i1.6440
Перейти к публикации

Indiscernible pairs of countable sets of reals at a given projective level.
arXiv: 1912.12962 [math.LO], December 2019
Перейти к публикации

Definable selector for $\Delta^0_2$ sets modulo countable.
arXiv: 1910.00926 [math.LO], October 2019
Перейти к публикации

On mathematical realism and applicability of hyperreals.
Matematychni Studii, 2019, 51, 2, pp. 200-224.
DOI:10.15330/ms.51.2.200-224
SCIMAGO, Q3
Перейти к публикации

Models of set theory in which separation theorem fails.
arXiv:1905.11241 [math.LO], May 2019.
Перейти к публикации

Абсолютность множества Σ по Соловею.
Сибирский математический журнал, 2019, 60, №6, стр. 1286-1290.
DOI 10.33048/smzh.2019.60.608
SCIMAGO, Q2
WoS Q3
Перейти к публикации

A model of second-order arithmetic satisfying AC but not DC.
Journal of Mathematical Logic, 2019, 19, no 1, article ID 1850013, pp. 1--39.
DOI 10.1142/S0219061318500137
WoS Q1 (Ranked 1st overall in the category of Logic by Journal Citation Reports JCR and SCImago SJR.)
Перейти к публикации

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae, 2019, 245, 2, pp. 175--216.
DOI: 10.4064/fm517-7-2018
SCOPUS, Q2
Перейти к публикации

Определимые элементы определимых борелевских множеств.
Математические заметки, 2019, 105, вып. 5, стр. 696–707.
DOI: 10.4213/mzm12001
SCIMAGO Q2
Перейти к публикации

Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society, 2019, 147, no 3, pp. 1277–1282.
DOI 10.1090/proc/14286
WoS Q2
SCIMAGO Q1
Перейти к публикации

Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic, 2019, vol. 84, no 1, pp. 266-289.
DOI:10.1017/jsl.2018.77
WoS Q1
Перейти к публикации

On intermediate extensions of generic extensions by a random real.
arXiv:1811.10568 [math.LO], December 2018
Перейти к публикации

On Harrington"s model in which Separation holds but Reduction fails at the 3rd projective level, and on some related models of Sami.
arXiv:1810.12542 [math.LO], November 2018.
Перейти к публикации

A countable definable set of reals containing no definable elements,
arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
Перейти к публикации

A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO], August 2018.
Перейти к публикации

Definable E₀ classes at arbitrary projective levels.
Annals of Pure and Applied Logic, 2018, Vol. 169, Iss. 9, P. 851–871.
DOI: 10.1016/j.apal.2018.04.006
WoS Q1
Перейти к публикации

Canonization of smooth equivalence relations on infinite-dimensional perfect cubes.
arXiv:1804.05174 [math.LO], April 2018.
Перейти к публикации

Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, 1, c. 149-153
DOI: 10.1515/math-2018-0015
WoS Q2
Перейти к публикации

What makes a theory of infinitesimals useful? A view by Klein and Fraenkel.
Journal of Humanistic Mathematics, 2018, 8, 1, pp. 108-119.
DOI: 10.5642/jhummath.201801.07
Перейти к публикации

Cauchy"s infinitesimals, his sum theorem, and foundational paradigms.
Foundations of Science, 2018, 23, 2, pp 267–296.
DOI: 10.1007/s10699-017-9534-y
WoS Q2
Перейти к публикации

Countable OD sets of reals belong to the ground model.
Archive for Mathematical Logic, 2018, Vol. 57, Iss. 3–4, P. 285–298.
DOI: 10.1007/s00153-017-0569-0
WoS Q3
Перейти к публикации

Gregory"s sixth operation,
Foundations of Science, 2018, 23, 1, pp. 133--144.
DOI: 10.1007/s10699-016-9512-9
WoS Q2
Перейти к публикации

Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic, 2018, 83, 1, pp. 385-391.
DOI: 10.1017/jsl.2017.48
WoS Q1
Перейти к публикации

Неуниформизуемые множества второго проективного уровня со счетными сечениями в виде классов Витали.
Известия Российской академии наук. Серия математическая, 2018, том 82, № 1, стр. 65–96.
DOI: 10.4213/im8521
WoS Q2
Перейти к публикации

Cauchy, infinitesimals and ghosts of departed quantifiers,
Mat. Stud. 2017, 47, 2, 115--144
doi:10.15330/ms.47.2.115-144
Перейти к публикации

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769 [math.LO], December 2017.
Перейти к публикации

Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017.
Перейти к публикации

Definable E₀ classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017.
Перейти к публикации

The full basis theorem does not imply analytic wellordering.
arXiv:1702.03566 [math.LO], February 2017.
Перейти к публикации

Генерическое свойство множества Σ по Соловею.
Сибирский математический журнал, 2017, том 58, вып. 6, стр. 1302–1305.
doi:10.17377/smzh.2017.58.610
WoS Q3
Перейти к публикации

Approaches to analysis with infinitesimals following Robinson, Nelson, and others.
Real Analysis Exchange, 2017, 42, 2, pp. 193-252.
DOI: 10.14321/realanalexch.41.1.0193
SCIMAGO, Q3
Перейти к публикации

A positive function with vanishing Lebesgue integral in Zermelo -- Fraenkel set theory.
Real Analysis Exchange, 2017, 42, no. 2, 385-390.
DOI: 10.14321/realanalexch.42.2.0385
SCIMAGO, Q3
Перейти к публикации

Toward a history of mathematics focused on procedures,
Foundations Of Science, 2017, 22, Issue 4, pp 763–783,
DOI: 10.1007/s10699-016-9498-3 .
WoS Q2
Перейти к публикации

Is Leibnizian calculus embeddable in first order logic?
Foundations of Science, 2017, 22, Issue 4, pp 717–731.
DOI: 10.1007/s10699-016-9495-6 .
WoS Q2
Перейти к публикации

Interpreting the infinitesimal mathematics of Leibniz and Euler,
Journal for General Philosophy of Science, 2017, 48, issue 2, pp, 195--238.
DOI: 10.1007/s10838-016-9334-z .
SCOPUS Q2
Перейти к публикации

Определимое счетное множество, не содержащее определимых элементов.
Математические заметки, 2017, 102, вып. 3, стр. 369-382.
doi:10.4213/mzm10842
WoS Q3
Перейти к публикации

Controversies on foundations of analysis: comments on Schubring’s conflicts.
Foundations of Science, 2017, 22, 1, pp. 125--140.
DOI: 10.1007/s10699-015-9473-4 .
WoS Q2
Перейти к публикации

A Groszek-Laver pair of undistinguishable E₀-classes.
Mathematical Logic Quarterly, 2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020
WoS Q3
Перейти к публикации

A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], pp. 1-4, November 2016.
Перейти к публикации

In Cohen generic extension, every countable OD set of reals belongs to the ground model.
July 2016, arXiv:1607.02880 [math.LO] pp. 1-3.
Перейти к публикации

Countable OD sets of reals belong to the ground model.
September 2016, arXiv:1609.01032 [math.LO], pp. 1-12.
Перейти к публикации

A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos.
Logica Universalis, 2016, 10, pp. 393-405.
DOI 10.1007/s11787-016-0153-0
SCOPUS Q3
Перейти к публикации

Small oscillations of the pendulum, Euler’s method, and adequality,
Quantum Studies: Mathematics and Foundations, 2016, 3, no 3, pp 231–236.
DOI: 10.1007/s40509-016-0074-x
Перейти к публикации