|
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.Jensen Δ1n reals by means of ZFC and second-order Peano arithmetic.
Axioms, Jan 30 2024, Vol. 13, No. 2, Art. 96.
DOI: 10.3390/axioms13020096
(WoS Q1) Go to publication |
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.A good lightface Δ1n well-ordering of the reals does not imply the existence of boldface Δ1n-1 well-orderings.
Annals of Pure and Applied Logic, Jun 2024, Vol. 175, Iss. 6, Art. 103426.
DOI: 10.1016/j.apal.2024.103426
(WoS Q2) Go to publication |
![](/images/news.gif) |
2024 year Authors: Kanovei V., Lyubetsky V.Parameterfree comprehension does not imply full comprehension in second order Peano arithmetic.
Studia Logica, Apr 24 2024.
DOI: 10.1007/s11225-024-10108-2
(WoS Q2) Go to publication |
![](/images/news.gif) |
2023 year Authors: Lyubetsky V., Rubanov L., Tereshina M., Ivanova A., Araslanova K., Uroshlev L., Goremykina G., Yang J., Kanovei V., Zverkóv O., Shitikov A., Korotkova D., Zaraisky A.Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations.
Biology Direct, 2023, Vol. 18, Art. 45.
DOI: 10.1186/s13062-023-00405-6
(WoS Q1) Go to publication |
![](/images/news.gif) |
2023 year Authors: Kanovei V., Lyubetsky V.A model in which well-orderings of the reals first appear at a given
projective level, part III, the case of second-order PA.
Mathematics,
2023, 11(15), Article no. 3294.
DOI 10.3390/math11153294
(WoS Q1) Go to publication |
![](/images/news.gif) |
2023 year Authors: Kanovei V., Lyubetsky V.A model in which well-orderings of the reals first appear at a given projective level, part II.
Mathematics,
2023, 11(11), Article no. 2517. DOI: 10.3390/math11112517 .
(WoS Q1) Go to publication |
![](/images/news.gif) |
2023 year Authors: Kanovei V., Lyubetsky V.On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic.
Mathematics,
2023, 11 (3), Article no. 726.
DOI: 10.3390/math11030726
(WoS Q1) Go to publication |
![](/images/news.gif) |
2023 year Authors: Kanovei V., Lyubetsky V.On Russell typicality in Set Theory.
Proceedings of the American Mathematical Society, 2023, 151, no 5, pp. 2201–2210.
https://doi.org/10.1090/proc/16232 (WoS Q2)
Go to publication |
![](/images/news.gif) |
2022 year Authors: Kanovei V., Lyubetsky V.On the Significance of Parameters in the Choice and Collection Schemata in the 2nd Order Peano Arithmetic.
Preprints,
2022, no 2022120255.
DOI: 10.20944/preprints202212.0255.v2 Go to publication |
![](/images/news.gif) |
2022 year Authors: Kanovei V.On sets that hereditarily belong to countable OD sets.
European Set Theory Conference 2022.
Department of Mathematics of the University of Turin and the European Set Theory Society,
August 29 - September 2, 2022, Turin, Italy.
Go to publication |
![](/images/news.gif) |
2022 year Authors: Kanovei V., Lyubetsky V.The parameterfree Comprehension does not imply the full Comprehension in the 2nd order Peano arithmetic. arXiv: 2209.07599 [math.LO], September 2022. Go to publication |
![](/images/news.gif) |
2022 year Authors: Kanovei V., Lyubetsky V.A model in which wellorderings of the reals appear at a given projective level.
Axioms, 2022, 11(8), Article no 354.
DOI: 10.3390/axioms11080354
(WoS Q2) Go to publication |
![](/images/news.gif) |
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 |
![](/images/news.gif) |
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, Vol. 375, No. 12, P. 8651–8686.
DOI: 10.1090/tran/8710
(WoS Q2) Go to publication |
![](/images/news.gif) |
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
(WoS Q2) Go to publication |
![](/images/news.gif) |
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 |
![](/images/news.gif) |
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.
Download (2.5 MB) |
![](/images/news.gif) |
2021 year Authors: Kanovei V., Lyubetsky V.On Russell typicality in Set Theory. arXiv: 2111.07654 [math.LO], November 2021. Go to publication |
![](/images/news.gif) |
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 |
![](/images/news.gif) |
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:45–13:30, Steklov Math. Inst. (Moscow).
Go to publication |
|
|
|
Search for publications of V. Kanovei |
|
|