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

The full basis theorem does not imply analytic wellordering,
Annals of pure and applied logic, 2019, submitted.
SCIMAGO, Q1
SCOPUS, Q2

2019 year
Authors: Kanovei V., Lyubetsky V.

Canonization of smooth equivalence relations on infinite-dimensional E0-large products.
Notre Dame J. Form. Logic, 2019, to appear upon revision
SCIMAGO, Q2.

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, to appear.
SCIMAGO, Q2
SCOPUS, Q2
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, to appear.
DOI 10.1090/proc/14286
SCIMAGO, Q1
SCOPUS, Q2
Go to publication

2019 year
Authors: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels.
Journal of Symbolic Logic, 2019 To appear.
SCIMAGO, Q1
SCOPUS, Q1

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.12542 [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.
Journal of Math. Logic, 2018, to appear.
DOI 10.1142/S0219061318500137
SCIMAGO, Q1
SCOPUS, Q1
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
SCIMAGO, Q1
SCOPUS, Q2
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., Lyubetsky V.

Definable elements of Borel sets.
Mathematical Notes, 2018, to appear
SCIMAGO, Q2
SCOPUS, Q3

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
SCIMAGO, Q2
SCOPUS, 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
SCIMAGO, 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
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: 10.1007/s10699-016-9512-9
SCIMAGO, 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
SCIMAGO, 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
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
doi:10.15330/ms.47.2.115-144
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

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

2017 year
Authors: Kanovei V., Lyubetsky V.

Definable minimal collapse functions at arbitrary projective levels.
arXiv:1707.07320 [math.LO], July 2017.
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

Definable E0 classes at arbitrary projective levels.
arXiv:1705.02975 [math.LO], May 2017.
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

The full basis theorem does not imply analytic wellordering.
arXiv:1702.03566 [math.LO], February 2017.
Go to publication

2017 year
Authors: Kanovei V., Lyubetsky V.

A generic property of the Solovay set Σ.
Siberian Mathematical Journal, 2017, Vol. 58, Iss. 6, P. 10121014. 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

2017 year
Authors: Kanovei V., Katz M.

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 763783,
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 717731.
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

2017 year
Authors: Kanovei V., Lyubetsky V.

A countable definable set containing no definable elements.
Mathematical Notes, Sep 2017, Vol. 102, Iss. 34, P. 338349. 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 Schubrings conflicts.
Foundations of Science, 2017, 22, 1, pp. 125--140.
DOI: 10.1007/s10699-015-9473-4 .
SCIMAGO, Q2
Go to publication

2017 year
Authors: Golshani M., Kanovei V., Lyubetsky V.

A Groszek-Laver pair of undistinguishable E0-classes.
Mathematical Logic Quarterly, 2017, Vol. 63, No. 12, P. 1931.
doi:10.1002/malq.201500020
SCIMAGO, Q2
Go to publication

2016 year
Authors: Kanovei V., Lyubetsky V.

A generic property of Solovay"s set Σ.
arXiv:1611.00176 [math.LO], pp. 1-4, November 2016.
Go to publication

2016 year
Authors: Kanovei V., Lyubetsky V.

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

2016 year
Authors: Kanovei V., Lyubetsky V.

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

2016 year
Authors: Kanovei V., Katz K., Katz M., Nowik T.

Small oscillations of the pendulum, Eulers method, and adequality,
Quantum Studies: Mathematics and Foundations, 2016, 3, no 3, pp 231236.
DOI: 10.1007/s40509-016-0074-x
Go to publication

2016 year
Authors: Kanovei V.

OD elements of countable OD sets in the Solovay model.
March 2016, arXiv:1603.04237 [math.LO], pp. 1-20.
Go to publication

2016 year
Authors: Kanovei V.

Some applications of finite-support products of Jensen"s minimal forcing.
Winter School in Abstract Analysis 2016, Hejnice, Czech Republic, Jan 30Feb 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

2016 year
Authors: Kanovei V., Lyubetsky V.

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

2016 year
Authors: Kanovei V., Lyubetsky V.

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
SCOPUS, 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

2015 year
Authors: Kanovei V.

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

2015 year
Authors: Kanovei V., Lyubetsky V.

Grossone approach to Hutton and Euler transforms Applied Mathematics and Computation, 2015, 255, pp. 3643.
DOI: 10.1016/j.amc.2014.06.037 ,
SCIMAGO, Q2
SCOPUS, Q1
Go to publication

2015 year
Authors: Kanovei V., Katz K., Katz M., Sherry D.

Euler"s lute and Edward"s oud. Mathematical Intelligencer, 2015, 37, 4, pp. 48--51.
DOI: 10.1007/s00283-015-9565-6
SCIMAGO, Q2
Go to publication

2015 year
Authors: Kanovei V., Lyubetsky V.

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

2015 year
Authors: Kanovei V., Lyubetsky V.

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

2015 year
Authors: Kanovei V., Katz ., Katz M., Schaps D.

Proofs and retributions, Foundations of Science, 2015, 20, 1, pp 1-25.
DOI: 10.1007/s10699-013-9340-0
SCIMAGO, Q2
Go to publication

2015 year
Authors: Kanovei V., Lyubetsky V.

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

:    Page: 1 2345
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), 2018
About  |  Contacts  |  The old version of this site