Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
| english
:    Page: 1 23456
2022 year
Authors: Kanovei V., Lyubetsky V.

A model in which the Separation principle holds for a given effective projective Sigma-class.
arXiv: 2204.03915 [math.LO], April 2022.
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

On Russell typicality in Set Theory.
Proceedings of the American Mathematical Society, 2022, under review.
WoS Q2

2022 year
Authors: Kanovei V., Lyubetsky V.

On the `definability of definable" problem of Alfred Tarski, Part II.
Transactions of the American Mathematical Society, 2022, to appear.
Early view DOI: https://doi.org/10.1090/tran/8710
WoS Q1
Go to publication Download (100.1 KB)

2022 year
Authors: Kanovei V., Lyubetsky V.

A model in which the separation principle holds for a given effective projective Sigma-class.
Axioms, 2022, 11, Issue 3, Paper no. 122. DOI 10.3390/axioms11030122
Scopus Q1
Go to publication

2022 year
Authors: Kanovei V., Lyubetsky V.

A generic model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. Mathematics, 2022, 10, Issue 3, Paper no. 491, DOI 10.3390/math10030491 (WoS Q1)
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021.
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

A product forcing model in which the Russell-nontypical sets satisfy ZFC strictly between HOD and the universe. arXiv: 2111.13491 [math.LO], November 2021.
Go to publication

2021 year
Authors: Kanovei V.

Paradoxical partitions of the reals by Robert Solovay.
International Conference "Adian 90: Conference on Mathematical Logic, Algebra and Computation" 7 July 2021, 12:4513:30, Steklov Math. Inst. (Moscow).
Go to publication

2021 year
Authors: Kanovei V.

On the Definability of definable problem of Alfred Tarski.
Logic Colloquium 2021. European Summer Meeting of the Association for Symbolic Logic. Book of abstracts.
S.Chlebowski, D.Ratajczyk, P.Lupkowski (eds.)
Adam Mickiewicz University, Poznan, Poland, 19-24 July 2021. Page 195.
Go to publication

2021 year
Authors: Enayat A., Kanovei V., Lyubetsky V.

On effectively indiscernible projective sets and the Leibniz-Mycielski axiom. Mathematics, 2021, Vol. 9, No. 14, Art. 1670. DOI: 10.3390/math9141670 (WoS Q1)
Go to publication

2021 year
Authors: Enayat A., Kanovei V.

An unpublished theorem of Solovay, on OD partitions of reals into two non-OD parts, revisited.
Journal of Mathematical Logic, 2021, vol. 21, Issue 03, Article No. 2150014
DOI: 10.1142/S0219061321500148
WoS Q1.
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

Models of set theory in which separation theorem fails. Izvestiya: Mathematics, 2021, Vol. 85, No 6,1181-1219. DOI: https://doi.org/10.1070/IM8937 (WoS Q2)
Go to publication

2021 year
Authors: Kanovei V., Schindler R.

Definable Hamel bases and ACω(R).
Fundamenta Mathematicae, 2021, 253, 3, p. 239-256.
DOI 10.4064/fm909-6-2020
WoS Q3
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

Factoring Solovay-random extensions, with application to the Reduction property. Monatshefte fur Mathematik, 2021, 194, 1, pp. 105117. DOI: 10.1007/s00605-020-01482-9 (WoS Q2)
Go to publication

2021 year
Authors: Kanovei V., Lyubetsky V.

The full basis theorem does not imply analytic wellordering, Annals of pure and applied logic, 2021, volume 172, issue 4, paper no 102929. DOI: 10.1016/j.apal.2020.102929 (WoS Q1)
Go to publication

2020 year
Authors: Enayat A., Kanovei V.

An unpublished theorem of Solovay, revisited. arXiv:2001.11058 [math.LO], January 2020.
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

On the "definability of definable" problem of Alfred Tarski. Mathematics, 2020, Vol. 8, No. 12, Art. 2214.
DOI: 10.3390/math8122214 (WoS Q1)
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

On the Δ1n Problem of Harvey Friedman. Mathematics, 2020, Vol. 8, No. 9, Art. 1477.
DOI: 10.3390/math8091477 (WoS Q1)
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

On the equality modulo a countable set. Mathematical notes, 2020, Vol. 108, Iss. 4, P. 615616. DOI: 10.1134/S0001434620090357
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

Models of set theory in which nonconstructible reals first appear at a given projective level .
Mathematics, 2020, Vol. 8, No. 6, Art. 910.
DOI: 10.3390/math8060910 (WoS Q1)
Go to publication

2020 year
Authors: Kanovei V., Katz M., Nowik T.

Metric completions, Heine-Borel, and approachability.
Open Mathematics, 2020, Volume 18, Issue 1, 162-166.
DOI: 10.1515/math-2020-0017
WoS Q3
Go to publication

2020 year
Authors: Bair J., Blaszczyk P., Heinig P., Kanovei V., Katz M., McGaffey T.

Cauchy"s work on integral geometry, centers of curvature, and other applications of infinitesimals.
Real Analysis Exchange, 2020, Vol. 45, No. 1, pp. 127-150 .
DOI: 10.14321/realanalexch.45.1.0127
Go to publication

2020 year
Authors: Kanovei V., Lyubetsky V.

Canonization of smooth equivalence relations on infinite-dimensional E0-large products. Notre Dame Journal of Formal Logic, 2020, Vol. 61, No. 1, P. 117128. DOI: 10.1215/00294527-2019-0034
Go to publication

2019 year
Authors: Lyubetsky V., Kanovei V.

Set theory: absolute undecidability of classical problems. Textbook for universities, 2nd ed., Moscow, Urait, 2019, 348 p. (in Russian). ISBN: 978-5-534-10390-8

2019 year
Authors: Bascelli T., Blaszczyk P., Kanovei V., Katz K., Katz M., Kutateladze S., Nowik T., Schaps D., Sherry D.

Gregorys Sixth Operation.
Mircea Pitici (Editor), The Best Writing on Mathematics 2019
Princeton University Press, 2019, pp. 195207.
DOI: 10.1515/9780691197944-015
Book DOI: 10.1515/9780691197944
Online ISBN: 9780691197944
Go to publication

2019 year
Authors: Bair J., Blaszczyk P., Kanovei V., Katz M., Heinig P.

19th-century real analysis, forward and backward.
Antiquitates Mathematicae, 2019, 13, 1, pp. 19-49.
DOI:10.14708/am.v13i1.6440
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Indiscernible pairs of countable sets of reals at a given projective level. arXiv: 1912.12962 [math.LO], December 2019.
Go to publication

2019 year
Authors: Kanovei V.

Definable selector for Δ02 sets modulo countable.
arXiv: 1910.00926 [math.LO], October 2019
Go to publication

2019 year
Authors: Bottazzi E., Kanovei V., Katz M., Mormann T., Sherry D.

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

2019 year
Authors: Kanovei V., Lyubetsky V.

Models of set theory in which separation theorem fails. arXiv:1905.11241 [math.LO], May 2019.
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Absoluteness of the Solovay set Σ. Siberian Mathematical Journal, 2019, 60, no 6, pp. 1003-1006. DOI: 10.1134/S0037446619060089
Go to publication

2019 year
Authors: Gitman V., Friedman S.D., Kanovei V.

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

2019 year
Authors: Kanovei V., Lyubetsky V.

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

2019 year
Authors: Kanovei V., Lyubetsky V.

Definable elements of definable Borel sets. Mathematical Notes, 2019, 105, no 5, pp. 684-693. DOI: 10.1134/S0001434619050055
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Borel OD sets of reals are OD-Borel in some simple models. Proceedings of the American mathematical society, 2019, 147, no 3, pp. 12771282. DOI 10.1090/proc/14286 (WoS Q2)
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

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

2018 year
Authors: Kanovei V., Lyubetsky V.

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

2018 year
Authors: Kanovei V., Lyubetsky V.

On intermediate extensions of generic extensions by a random real. arXiv:1811.10568 [math.LO], December 2018.
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

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.12542v2 [math.LO], November 2018.
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

A countable definable set of reals containing no definable elements, arXiv:1408.3901v2 [math.LO], Sept. 2018, 11 p.
Go to publication

2018 year
Authors: Gitman V., Friedman S.D., Kanovei V.

A model of second-order arithmetic satisfying AC but not DC.
arXiv:1808.04732 [math.LO], August 2018.
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Definable E0 classes at arbitrary projective levels. Annals of Pure and Applied Logic, 2018, Vol. 169, Iss. 9, P. 851871. DOI: 10.1016/j.apal.2018.04.006 (WoS Q1)
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Canonization of smooth equivalence relations on infinite-dimensional perfect cubes. arXiv:1804.05174 [math.LO], April 2018.
Go to publication

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

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

2018 year
Authors: Kanovei V., Katz K., Katz M., Mormann T.

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

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 267296.
DOI: 10.1007/s10699-017-9534-y
WoS Q2
Go to publication

2018 year
Authors: Kanovei V., Lyubetsky V.

Countable OD sets of reals belong to the ground model. Archive for Mathematical Logic, 2018, Vol. 57, Iss. 34, P. 285298. DOI: 10.1007/s00153-017-0569-0
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: 10.1007/s10699-016-9512-9
WoS Q2
Go to publication

2018 year
Authors: Herzberg F., Kanovei V., Katz M., Lyubetsky V.

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

2018 year
Authors: Kanovei V., Lyubetsky V.

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. 6190. DOI: 10.1070/IM8521 (WoS Q2)
Go to publication

:    Page: 1 23456
Search for publications of V. Kanovei
Year of publication
from
Author

Search phrase

Type of publication


Search in department

Date descending
Date ascending
 

 

  © Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2022
About  |  Contacts  |  The old version of this site