A model of second-order arithmetic satisfying AC but not DC.
Journal of Math. Logic, 2018, to appear.
DOI 10.1142/S0219061318500137 SCIMAGO, Q1
Go to publication

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
Fundamenta mathematicae,
2018, to appear. SCIMAGO, Q2 Go to publication

Definable E_{0} 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
SCIMAGO, Q1 Go to publication

Borel OD sets of reals are OD-Borel in some simple models.
Proceedings of the American mathematical society,
2018, to appear.
SCIMAGO, Q1 Go to publication

2018 year

Authors: Kanovei V., Katz M., Blaszczyk P., Nowik T.

Monotone subsequence via ultrapower.
Open Mathematics, 2018, 16, c. 149-153
DOI: https://doi.org/10.1515/math-2018-0015
SCIMAGO, Q2
Go to publication

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 Go to publication

Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic,
submitted
SCIMAGO, Q1

2018 year

Authors: Bascelli T., Blazczyk P., Borovik A., Kanovei V., Katz K., Katz M., Kutateladze S., McCaffery T., Schaps D., Sherry D.

Cauchy"s infinitesimals, his sum theorem, and foundational paradigms.
Foundations of Science, 2018, 23, 2, pp 267–296.
DOI:
https://doi.org/10.1007/s10699-017-9534-y
SCIMAGO, Q2 Go to publication

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
SCIMAGO, Q1 Go to publication

2018 year

Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.

Gregory"s sixth operation,
Foundations of Science, 2018, 23, 1, pp. 133--144.
DOI: https://doi.org/10.1007/s10699-016-9512-9
SCIMAGO, Q2 Go to publication

Minimal axiomatic frameworks for definable hyperreals with transfer.
Journal of Symbolic Logic,
2018, 83, 1, pp. 385-391.
DOI: 10.1017/jsl.2017.48
SCIMAGO, Q1
Go to publication

Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes.
Izvestiya: Mathematics,
2018, Vol. 82, No. 1, P. 61–90.
DOI: 10.1070/IM8521
SCIMAGO:Q2 Go to publication

2017 year

Authors: Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., Kudryk T., Kutateladze S., McGaffey T., Mormann T., Schaps D., Sherry D.

Cauchy, infinitesimals and ghosts of departed quantifiers,
Mat. Stud. 2017, 47, 2, 115--144 Go to publication

Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy.
arXiv:1712.00769 [math.LO], December 2017. Go to publication

A generic property of the Solovay set Σ.
Siberian Mathematical Journal,
2017, Vol. 58, Iss. 6, P. 1012–1014.
doi:10.1134/S0037446617060106
[SCIMAGO, Q2] Go to publication

2017 year

Authors: Fletcher P., Hrbacek K., Kanovei V., Katz M., Lobry C., Sanders S.

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 Go to publication

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 Go to publication

2017 year

Authors: Blaszczyk P., Kanovei V., Katz M., et al.

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 .
SCIMAGO, Q2
Go to publication

2017 year

Authors: Blaszczyk Piotr, Kanovei V., U. Katz Karin, G. Katz Mikhail, et al.

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 .
SCIMAGO, Q2
Go to publication

2017 year

Authors: Bair J., Blaszczyk P., Ely R., Henry V., Kanovei V., Katz K., Katz M., et al.

Interpreting the infinitesimal mathematics of Leibniz and Euler,
Journal of General Philosophy of Science, 2017, 48, issue 2, pp, 195--238.
DOI: 10.1007/s10838-016-9334-z .
SCIMAGO, Q2 Go to publication

A countable definable set containing no definable elements.
Mathematical Notes, Sep 2017, Vol. 102, Iss. 3–4, P. 338–349.
doi:10.1134/S0001434617090048
[SCIMAGO, Q2] Go to publication

2017 year

Authors: Blazczyk P., Kanovei V., Katz M., Sherry D.

Controversies on foundations of analysis: comments on Schubring’s conflicts.
Foundations of Science, 2017, 22, 1, pp. 125--140.
DOI:
https://doi.org/10.1007/s10699-015-9473-4 .
SCIMAGO, Q2 Go to publication

A Groszek-Laver pair of undistinguishable E_{0}-classes.
Mathematical Logic Quarterly, 2017, Vol. 63, No. 1–2, P. 19–31.
doi:10.1002/malq.201500020
SCIMAGO, Q2 Go to publication

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. Go to publication

Countable OD sets of reals belong to the ground model.
September 2016, arXiv:1609.01032 [math.LO], pp. 1-12. Go to publication

2016 year

Authors: Błaszczyk P., Borovik A., Kanovei V., Katz M., et al.

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
SCIMAGO, Q3 Go to publication

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 Go to publication

Some applications of finite-support products of Jensen"s minimal forcing.
Winter School in Abstract Analysis 2016, Hejnice, Czech Republic, Jan 30—Feb 6, 2016, Abstracts and slides.
http://www.winterschool.eu/files/885-Some_applications_of_finite-support_products_of_Jensens_minimal_Delta_31_forcing.pdf Go to publication

Counterexamples to countable-section $Pi^1_2$ uniformization and $Pi^1_3$ separation.
Annals of Pure and Applied Logic, 2016, 167, 3, pp. 262–283.
DOI: 10.1016/j.apal.2015.12.002
SCIMAGO, Q1 Go to publication

On countable cofinality and decomposition of definable thin orderings.
Fundamenta mathematicae, 2016, 235, no 1, pp. 13-36.
DOI:
10.4064/fm977-10-2015 ,
SCIMAGO, Q2 Go to publication

2016 year

Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., et al.

Leibniz vs Ishiguro: closing a quarter-century of syncategoremania.
The Journal of the International Society for the History of Philosophy of Science,
2016, 6, no 1, pp. 117 -- 147.
DOI: 10.1086/685645 Go to publication

Some applications of finite-support products of Jensen’s minimal forcing.
Book of abstracts, Logic Colloquium 2015, Annual European Summer Meeting of the Association for Symbolic Logic,
University of Helsinki, 3–8 August 2015, pp. 670-671. Go to publication

“Grossone approach to Hutton and Euler transforms”
Applied Mathematics and Computation,
2015, 255, pp. 36–43.
DOI: 10.1016/j.amc.2014.06.037 ,
SCIMAGO, Q2 Go to publication

A definable $E_0$ class containing no definable elements,
Archive for Mathematical Logic, 2015, 54, 5, pp. 711--723.
DOI: 10.1007/s00153-015-0436-9
SCIMAGO, Q2 Go to publication

Generalization of one construction by Solovay,
Siberian Mathematical Journal, 2015, 56, no. 6, pp. 1072–1079.
DOI:
https://doi.org/10.1134/S0037446615060117 ,
[SCIMAGO, Q2] Go to publication

On effective σ-boundedness and σ-compactness in Solovay"s model,
Mathematical notes, 2015, 98, 1-2, pp. 273--282.
DOI:
https://doi.org/10.1134/S0001434615070299 ,
[SCIMAGO, Q2] Go to publication