|
|
 |
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: Malaschonok G.I., Seliverstov A.Calculation of integrals in MathPartner. Discrete and Continuous Models and Applied Computational Science, 2021, vol. 29, no. 4, pp. 337-346.
DOI:10.22363/2658-4670-2021-29-4-337-346
Go to publication Download (537.6 KB) |
|
2021 year Authors: Gorbunov K., Lyubetsky V.Multiplicatively exact algorithms for transformation and reconstruction of directed path-cycle graphs with repeated edges.
Mathematics, Oct 14 2021, Vol. 9, No. 20, Art. 2576.
DOI: 10.3390/math9202576 (WoS Q1)
Go to publication |
|
2021 year Authors: Seliverstov A.On the absence of any (0,1)-solution to a system of equations. International Conference Mal"tsev meeting, September 20-24, 2021. Collection of Abstracts. Novosibirsk, 2021. P. 73 (in Russian).
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:45–13:30, Steklov Math. Inst. (Moscow).
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: Seliverstov A.Binary solutions to large systems of linear equations. Prikl. Diskr. Mat. 2021, no. 52, pp. 5-15. DOI: 10.17223/20710410/52/1
Go to publication |
|
2021 year Authors: Seliverstov A.A plain note on binary solutions to large systems of linear equations. In: S.A. Abramov, L.A. Sevastyanov (eds) Computer algebra: 4th International Conference Materials, Moscow, Russia, June 28-29 2021. Moscow: MAKS Press, 2021, pp. 100-103. DOI: 10.29003/m2019.978-5-317-06623-9
Go to publication Download (1.2 MB) |
|
2021 year Authors: Seliverstov A.A gap between small and large systems of linear equations. The 22nd Workshop on Computer Algebra in memory of Professor Vladimir Gerdt, Dubna, Russia, 2021. P. 26.
Go to publication Download (261 KB) |
|
2021 year Authors: Shilovsky G., Putyatina T.S., Morgunova G.V., Seliverstov A., Ashapkin V.V., Sorokina E.V., Markov A.V., Skulachev V.P.A crosstalk between the biorhythms and gatekeepers of longevity: dual role of glycogen synthase kinase-3. Biochemistry Moscow, 2021, vol. 86, pp. 433-448.
DOI: 10.1134/S0006297921040052
Go to publication |
|
2021 year Authors: Seliverstov A.Heuristic algorithms for recognition of some cubic hypersurfaces. Programming and Computer Software, 2021, vol. 47, no. 1, pp. 50-55. DOI: 10.1134/S0361768821010096
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. 105–117.
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: Seliverstov A.On circular sections of a second-order surface. Computer tools in education, 2020, no. 4, pp. 59-68.
DOI: 10.32603/2071-2340-2020-4-59-68
Go to publication Download (281.8 KB) |
|
|
|
|
|
