Chair of Mathematical Logic and Theory of Algorithms
The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State University. A brief description of the areas of work and achievements of graduates of the chair and its fellows is given.
Uložené v:
| Vydané v: | Moscow University mathematics bulletin Ročník 80; číslo 1; s. 23 - 33 |
|---|---|
| Hlavní autori: | , , , , , , , , , , , , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Moscow
Pleiades Publishing
01.02.2025
Springer Nature B.V |
| Predmet: | |
| ISSN: | 0027-1322, 1934-8444 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State University. A brief description of the areas of work and achievements of graduates of the chair and its fellows is given. |
|---|---|
| AbstractList | The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State University. A brief description of the areas of work and achievements of graduates of the chair and its fellows is given. |
| Author | Soprunov, S. F. Kuznetsov, S. L. Semenov, A. L. Vishnikin, M. E. Krupski, V. N. Belov, A. Ya Yavorskaya, T. L. Zolin, E. E. Sorokin, A. A. Lyubetsky, V. A. Pentus, M. R. Babenko, M. A. Vereshchagin, N. K. Shekhtman, V. B. Onoprienko, A. A. |
| Author_xml | – sequence: 1 givenname: A. L. surname: Semenov fullname: Semenov, A. L. email: alexei.semenov@math.msu.ru organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University – sequence: 2 givenname: M. A. surname: Babenko fullname: Babenko, M. A. email: maxim.babenko@gmail.com organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, HSE University – sequence: 3 givenname: A. Ya surname: Belov fullname: Belov, A. Ya email: kanelster@gmail.com organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University – sequence: 4 givenname: N. K. surname: Vereshchagin fullname: Vereshchagin, N. K. email: nikolay.vereshchagin@math.msu.ru organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University – sequence: 5 givenname: M. E. surname: Vishnikin fullname: Vishnikin, M. E. email: maxim.vishnikin@gmail.com organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University – sequence: 6 givenname: E. E. surname: Zolin fullname: Zolin, E. E. email: ezolin@ya.com organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University – sequence: 7 givenname: V. N. surname: Krupski fullname: Krupski, V. N. email: vladimir.krupski@math.msu.ru organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Steklov Mathematical Institute, Russian Academy of Sciences – sequence: 8 givenname: S. L. surname: Kuznetsov fullname: Kuznetsov, S. L. email: sk@mi-ras.ru organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Kharkevich Institute for Information Transmission Problems, Russian Academy of Sciences – sequence: 9 givenname: V. A. surname: Lyubetsky fullname: Lyubetsky, V. A. email: lyubetsk@iitp.ru organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University – sequence: 10 givenname: A. A. surname: Onoprienko fullname: Onoprienko, A. A. email: ansidiana@yandex.ru organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University – sequence: 11 givenname: M. R. surname: Pentus fullname: Pentus, M. R. email: mpentus@yandex.ru organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University – sequence: 12 givenname: S. F. surname: Soprunov fullname: Soprunov, S. F. email: soprunov@mail.ru organization: School 1788 – sequence: 13 givenname: A. A. surname: Sorokin fullname: Sorokin, A. A. organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, Artificial Intellect Institute, Lomonosov Moscow State University – sequence: 14 givenname: V. B. surname: Shekhtman fullname: Shekhtman, V. B. organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University, HSE University – sequence: 15 givenname: T. L. surname: Yavorskaya fullname: Yavorskaya, T. L. organization: Chair of Mathematical Logic and Theory of Algorithms, Faculty of Mechanics and Mathematics, Lomonosov Moscow State University |
| BookMark | eNp1kD9PwzAUxC0EEm3hA7BFYg48P9txPFYV_6QiBsocPQe7SdXGxU6HfnsSFYkBMd1wv7uTbsrOu9A5xm443AkO4v4dADUXiKg0ADfFGZtwI2ReSinP2WS089G_ZNOUNgBKGcknTC4aamMWfPZKfeN21Lc1bbNlWLd1Rt1ntmpciMcRmG_XIbZ9s0tX7MLTNrnrH52xj8eH1eI5X749vSzmy7xGDX1OQjs1zCNaC1aR50YXoqgt-sIYXZIx5EonLBUOJXoolPNcWC0RSmtIzNjtqXcfw9fBpb7ahEPshslKoDICSoUwUPxE1TGkFJ2v9rHdUTxWHKrxnOrPOUMGT5k0sN3axd_m_0PfCOFlTA |
| Cites_doi | 10.1016/j.apal.2013.06.008 10.1023/A:1023638717091 10.1016/s0304-3975(98)00069-3 10.1186/s13062-023-00405-6 10.1016/s0304-3975(01)00034-2 10.1006/jcss.1999.1677 10.1093/jigpal/6.1.73 10.1007/978-94-017-8860-1_11 10.17323/1609-4514-2007-7-2-209-218 10.1007/978-3-642-35722-0_23 10.1016/j.jlamp.2022.100798 10.3390/math12060817 10.1090/trans2/192/01 10.1145/73007.73023 10.1134/s008154381106006x 10.1070/im1980v015n02abeh001252 10.1016/j.ejc.2005.08.002 10.3390/math8122214 10.4213/rm10149e 10.1134/s0081543811060162 10.2307/2687821 10.1070/im8972 10.1017/9781108348034 10.1017/s1755020315000374 10.1134/s1064562416020253 10.1016/s0304-3975(01)00032-9 10.1134/s0081543811060137 10.1093/logcom/exs018 10.1007/3-540-58140-5_31 10.1070/rm2005v060n02abeh000823 10.1016/s0168-0072(01)00066-5 10.1007/11753728_29 10.1109/ccc.1997.612296 10.1070/sm9275 10.1016/s0304-3975(01)00033-0 10.1007/978-3-662-44116-9_11 10.1007/s10958-015-2344-2 10.48550/arXiv.1003.4712 10.1090/trans2/192/03 10.1017/9781316755723.005 10.1017/s1755020319000613 10.1007/bf00967164 10.1093/logcom/exaa074 10.1070/im2010v074n01abeh002481 10.1007/978-3-319-50062-1_41 10.1016/s0304-3975(02)00047-6 10.1007/978-3-319-06686-8_3 10.1070/im9107 10.1016/j.tcs.2006.03.018 10.1070/rm2009v064n05abeh004641 10.1090/tran/8710 10.1070/im1984v022n03abeh001456 10.1070/rm1970v025n06abeh001269 10.1109/LICS.1993.287565 10.1016/0168-0072(94)90007-8 10.1093/logcom/exi039 10.1016/j.tcs.2006.03.016 10.1145/3445810 10.48550/arXiv.1412.5221 |
| ContentType | Journal Article |
| Copyright | Allerton Press, Inc. 2025 ISSN 0027-1322, Moscow University Mathematics Bulletin, 2025, Vol. 80, No. 1, pp. 23–33. © Allerton Press, Inc., 2025.Russian Text © The Author(s), 2025, published in Vestnik Moskovskogo Universiteta, Seriya 1: Matematika, Mekhanika, 2025, No. 1, pp. 23–32. Allerton Press, Inc. 2025. |
| Copyright_xml | – notice: Allerton Press, Inc. 2025 ISSN 0027-1322, Moscow University Mathematics Bulletin, 2025, Vol. 80, No. 1, pp. 23–33. © Allerton Press, Inc., 2025.Russian Text © The Author(s), 2025, published in Vestnik Moskovskogo Universiteta, Seriya 1: Matematika, Mekhanika, 2025, No. 1, pp. 23–32. – notice: Allerton Press, Inc. 2025. |
| DBID | AAYXX CITATION |
| DOI | 10.3103/S0027132225700196 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Sciences (General) Mathematics |
| EISSN | 1934-8444 |
| EndPage | 33 |
| ExternalDocumentID | 10_3103_S0027132225700196 |
| GeographicLocations | Union of Soviet Socialist Republics--USSR |
| GeographicLocations_xml | – name: Union of Soviet Socialist Republics--USSR |
| GroupedDBID | -Y2 -~X .86 .VR 06D 0R~ 0VY 123 1N0 29M 2J2 2JN 2JY 2KG 2LR 2VQ 2~H 30V 4.4 408 40D 40E 5VS 6NX 78A 8TC 8UJ 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AAPKM AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABDBE ABDZT ABECU ABFSG ABFTV ABHQN ABJNI ABJOX ABKCH ABMNI ABMQK ABNWP ABQBU ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABWNU ABXPI ACAOD ACBXY ACCUX ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADKNI ADRFC ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEIIB AEJHL AEJRE AEMSY AEOHA AEPYU AETLH AEVLU AEXYK AEZWR AFBBN AFDZB AFGCZ AFLOW AFOHR AFQWF AFWTZ AFZKB AGAYW AGDGC AGJBK AGMZJ AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHPBZ AHSBF AIAKS AIGIU AIIXL AILAN AITGF AIXLP AJBLW AJRNO ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARMRJ ATHPR AXYYD B-. BA0 BAPOH BDATZ BGNMA CAG COF CS3 DDRTE DNIVK DPUIP EBLON EBS EIOEI EJD ESBYG FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNWQR GQ7 H13 HF~ HG6 HLICF HMJXF HRMNR HZ~ H~9 IJ- IKXTQ IWAJR I~X I~Z J-C JBSCW JZLTJ KOV LLZTM M4Y MA- NPVJJ NQJWS NU0 O9- O93 O9J P2P P9R PF0 PT4 QOS R89 R9I RNS ROL RPX RSV S16 S1Z S27 S3B SAP SDH SHX SJYHP SMT SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TUC U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W48 WK8 YLTOR YNT YQT ZMTXR ZY4 ~A9 AAYXX ABRTQ ACSTC AFHIU AHWEU CITATION |
| ID | FETCH-LOGICAL-c270t-a37e544422bb0b5af197636cb2f69978a99ae8e3ba6e242f065ef13b74208b9a3 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 0 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=001504579900007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0027-1322 |
| IngestDate | Sat Nov 29 03:46:04 EST 2025 Sat Nov 29 07:48:15 EST 2025 Tue Jun 10 01:11:53 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Lomonosov Moscow State University Chair of Mathematical Logic and Theory of Algorithms |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c270t-a37e544422bb0b5af197636cb2f69978a99ae8e3ba6e242f065ef13b74208b9a3 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| PQID | 3259308520 |
| PQPubID | 2044114 |
| PageCount | 11 |
| ParticipantIDs | proquest_journals_3259308520 crossref_primary_10_3103_S0027132225700196 springer_journals_10_3103_S0027132225700196 |
| PublicationCentury | 2000 |
| PublicationDate | 2025-02-01 |
| PublicationDateYYYYMMDD | 2025-02-01 |
| PublicationDate_xml | – month: 02 year: 2025 text: 2025-02-01 day: 01 |
| PublicationDecade | 2020 |
| PublicationPlace | Moscow |
| PublicationPlace_xml | – name: Moscow – name: New York |
| PublicationTitle | Moscow University mathematics bulletin |
| PublicationTitleAbbrev | Moscow Univ. Math. Bull |
| PublicationYear | 2025 |
| Publisher | Pleiades Publishing Springer Nature B.V |
| Publisher_xml | – name: Pleiades Publishing – name: Springer Nature B.V |
| References | 7195_CR46 A. Sorokin (7195_CR49) 2013 I. V. Mitrofanov (7195_CR54) 2006; 93 A. A. Onoprienko (7195_CR10) 2020; 211 S. N. Artemov (7195_CR23) 2001; 7 L. L. Maksimova (7195_CR9) 1979; 20 V. B. Shekhtman (7195_CR14) 1978; 19 A. Semenov (7195_CR32) 2014 A. K. Zvonkin (7195_CR61) 1970; 25 7195_CR41 7195_CR5 A. N. Kolmogorov (7195_CR62) 1965; 1 A. L. Semenov (7195_CR36) 2011; 274 D. Hammer (7195_CR68) 2000; 60 L. Beklemishev (7195_CR29) 2014; 24 A. A. Muchnik (7195_CR74) 2002; 271 A. L. Semenov (7195_CR33) 1977; 18 S. Artemov (7195_CR30) 2016; 9 A. A. Muchnik (7195_CR53) 2009; 64 A. Ya. Belov (7195_CR44) 1999; 5 7195_CR58 7195_CR13 7195_CR57 K. Gorbunov (7195_CR77) 2024; 12 7195_CR56 7195_CR18 A. Sorokin (7195_CR48) 2012 7195_CR59 D. Gabbay (7195_CR15) 1998; 6 A. A. Muchnik (7195_CR39) 1992; 48 D. Shamkanov (7195_CR6) 2020; 13 A. N. Kolmogorov (7195_CR8) 1985 T. L. Sidon (7195_CR12) 1994 7195_CR51 N. Vereshchagin (7195_CR75) 2017 S. F. Soprunov (7195_CR40) 1988; 134 I. Shapirovsky (7195_CR16) 2005; 15 A. Ya. Kanel-Belov (7195_CR42) 2007; 7 A. L. Semenov (7195_CR37) 2003; 242 T. Yavorskaya (7195_CR26) 2001; 113 7195_CR69 7195_CR24 A. L. Semenov (7195_CR60) 2003; 68 V. Shehtman (7195_CR17) 2005 V. N. Krupski (7195_CR28) 2021; 31 A. G. Dragalin (7195_CR3) 2003 A. Chernov (7195_CR67) 2002; 271 A. A. Muchnik (7195_CR73) 1998; 207 V. A. Lyubetsky (7195_CR76) 2023; 18 I. V. Mitrofanov (7195_CR55) 2015; 206 V. E. Plisko (7195_CR11) 2011; 274 7195_CR21 An. Muchnik (7195_CR64) 2006 A. L. Semenov (7195_CR35) 2021; 85 V. N. Krupski (7195_CR27) 2006; 357 M. Pentus (7195_CR47) 2006; 357 A. N. Kolmogorov (7195_CR7) 1985 A. L. Semenov (7195_CR52) 1984; 22 V. Kanovei (7195_CR1) 2022; 375 N. Alon (7195_CR66) 2007; 28 A. A. Onoprienko (7195_CR31) 2024; 79 7195_CR34 A. L. Semenov (7195_CR38) 1980; 15 N. K. Vereshchagin (7195_CR63) 2011; 274 L. Beklemishev (7195_CR22) 2013; 164 L. D. Beklemishev (7195_CR4) 2005; 60 A. Ya. Belov (7195_CR43) 2010; 74 7195_CR71 7195_CR70 N. K. Vereshchagin (7195_CR72) 2008; 94 S. Artemov (7195_CR25) 1994; 67 V. A. Vardanyan (7195_CR19) 1986; 33 S. Kuznetsov (7195_CR50) 2021; 22 A. L. Semenov (7195_CR45) 1973; 14 A. Romashchenko (7195_CR65) 2002; 271 V. Kanovei (7195_CR2) 2020; 8 S. N. Artemov (7195_CR20) 1985; 32 |
| References_xml | – volume: 164 start-page: 1201 year: 2013 ident: 7195_CR22 publication-title: Ann. Pure Appl. Logic doi: 10.1016/j.apal.2013.06.008 – volume-title: Constructive Theory of Proofs and Nonstandard Analysis: Selected Works year: 2003 ident: 7195_CR3 – ident: 7195_CR59 doi: 10.1023/A:1023638717091 – volume: 207 start-page: 263 year: 1998 ident: 7195_CR73 publication-title: Theor. Comput. Sci. doi: 10.1016/s0304-3975(98)00069-3 – volume: 18 start-page: 45 year: 2023 ident: 7195_CR76 publication-title: Biol. Direct doi: 10.1186/s13062-023-00405-6 – volume: 271 start-page: 111 year: 2002 ident: 7195_CR65 publication-title: Theor. Comput. Sci. doi: 10.1016/s0304-3975(01)00034-2 – volume: 60 start-page: 442 year: 2000 ident: 7195_CR68 publication-title: J. Comput. Syst. Sci. doi: 10.1006/jcss.1999.1677 – volume: 19 start-page: 656 year: 1978 ident: 7195_CR14 publication-title: Dokl. – volume: 6 start-page: 73 year: 1998 ident: 7195_CR15 publication-title: Logic J. IGPL doi: 10.1093/jigpal/6.1.73 – ident: 7195_CR18 doi: 10.1007/978-94-017-8860-1_11 – volume: 33 start-page: 596 year: 1986 ident: 7195_CR19 publication-title: Dokl. – volume: 7 start-page: 209 year: 2007 ident: 7195_CR42 publication-title: Moscow Math. J. doi: 10.17323/1609-4514-2007-7-2-209-218 – volume: 20 start-page: 394 year: 1979 ident: 7195_CR9 publication-title: Dokl. – volume-title: Logical Foundations of Computer Science year: 2013 ident: 7195_CR49 doi: 10.1007/978-3-642-35722-0_23 – ident: 7195_CR51 doi: 10.1016/j.jlamp.2022.100798 – volume: 12 start-page: 817 year: 2024 ident: 7195_CR77 publication-title: Mathematics doi: 10.3390/math12060817 – volume: 14 start-page: 1319 year: 1973 ident: 7195_CR45 publication-title: Dokl. – ident: 7195_CR21 doi: 10.1090/trans2/192/01 – ident: 7195_CR58 doi: 10.1145/73007.73023 – volume: 274 start-page: 90 year: 2011 ident: 7195_CR63 publication-title: Proc. Steklov Inst. Math. doi: 10.1134/s008154381106006x – volume: 15 start-page: 401 year: 1980 ident: 7195_CR38 publication-title: USSR-Izv. doi: 10.1070/im1980v015n02abeh001252 – volume: 28 start-page: 134 year: 2007 ident: 7195_CR66 publication-title: Eur. J. Combinatorics doi: 10.1016/j.ejc.2005.08.002 – volume: 134 start-page: 175 year: 1988 ident: 7195_CR40 publication-title: Vopr. Kibern. – volume: 8 start-page: 2214 year: 2020 ident: 7195_CR2 publication-title: Mathematics doi: 10.3390/math8122214 – volume: 79 start-page: 179 year: 2024 ident: 7195_CR31 publication-title: Russ. Math. Surv. doi: 10.4213/rm10149e – volume: 274 start-page: 267 year: 2011 ident: 7195_CR36 publication-title: Proc. Steklov Inst. Math. doi: 10.1134/s0081543811060162 – volume: 7 start-page: 1 year: 2001 ident: 7195_CR23 publication-title: Bull. Symbolic Logic doi: 10.2307/2687821 – ident: 7195_CR56 doi: 10.1070/im8972 – ident: 7195_CR24 doi: 10.1017/9781108348034 – volume: 9 start-page: 266 year: 2016 ident: 7195_CR30 publication-title: Rev. Symbolic Logic doi: 10.1017/s1755020315000374 – volume: 93 start-page: 207 year: 2006 ident: 7195_CR54 publication-title: Dokl. Math. doi: 10.1134/s1064562416020253 – volume: 271 start-page: 69 year: 2002 ident: 7195_CR67 publication-title: Theor. Comput. Sci. doi: 10.1016/s0304-3975(01)00032-9 – volume: 274 start-page: 204 year: 2011 ident: 7195_CR11 publication-title: Proc. Steklov Inst. Math. doi: 10.1134/s0081543811060137 – volume: 24 start-page: 257 year: 2014 ident: 7195_CR29 publication-title: J. Logic Comput. doi: 10.1093/logcom/exs018 – volume-title: Logical Foundations of Computer Science year: 1994 ident: 7195_CR12 doi: 10.1007/3-540-58140-5_31 – volume: 68 start-page: 132 year: 2003 ident: 7195_CR60 publication-title: Dokl. Math. – volume: 60 start-page: 197 year: 2005 ident: 7195_CR4 publication-title: Russ. Math. Surv. doi: 10.1070/rm2005v060n02abeh000823 – volume: 113 start-page: 345 year: 2001 ident: 7195_CR26 publication-title: Ann. Pure Appl. Logic doi: 10.1016/s0168-0072(01)00066-5 – volume-title: Computer Science—Theory and Applications year: 2006 ident: 7195_CR64 doi: 10.1007/11753728_29 – ident: 7195_CR69 doi: 10.1109/ccc.1997.612296 – volume: 211 start-page: 709 year: 2020 ident: 7195_CR10 publication-title: Sb. Math. doi: 10.1070/sm9275 – volume: 271 start-page: 97 year: 2002 ident: 7195_CR74 publication-title: Theor. Comput. Sci. doi: 10.1016/s0304-3975(01)00033-0 – ident: 7195_CR13 – volume-title: Pristine Perspectives on Logic, Language, and Computation year: 2012 ident: 7195_CR48 doi: 10.1007/978-3-662-44116-9_11 – volume: 206 start-page: 679 year: 2015 ident: 7195_CR55 publication-title: J. Math. Sci. doi: 10.1007/s10958-015-2344-2 – ident: 7195_CR71 doi: 10.48550/arXiv.1003.4712 – volume: 5 start-page: 47 year: 1999 ident: 7195_CR44 publication-title: Fundamental’naya i Prikladnaya Matematika – volume-title: Selected Works: Mathematics and Mechanics year: 1985 ident: 7195_CR8 – ident: 7195_CR57 doi: 10.1090/trans2/192/03 – ident: 7195_CR5 doi: 10.1017/9781316755723.005 – volume: 13 start-page: 776 year: 2020 ident: 7195_CR6 publication-title: Rev. Symbolic Logic doi: 10.1017/s1755020319000613 – volume: 18 start-page: 289 year: 1977 ident: 7195_CR33 publication-title: Sib. Math. J. doi: 10.1007/bf00967164 – volume: 31 start-page: 152 year: 2021 ident: 7195_CR28 publication-title: J. Logic Comput. doi: 10.1093/logcom/exaa074 – volume: 74 start-page: 1 year: 2010 ident: 7195_CR43 publication-title: Izv. Math. doi: 10.1070/im2010v074n01abeh002481 – volume: 242 start-page: 92 year: 2003 ident: 7195_CR37 publication-title: Proc. Steklov Inst. Math. – volume-title: Computability and Complexity year: 2017 ident: 7195_CR75 doi: 10.1007/978-3-319-50062-1_41 – ident: 7195_CR34 doi: 10.1016/s0304-3975(02)00047-6 – volume-title: Computer Science—Theory and Applications year: 2014 ident: 7195_CR32 doi: 10.1007/978-3-319-06686-8_3 – volume: 85 start-page: 1257 year: 2021 ident: 7195_CR35 publication-title: Izv. Math. doi: 10.1070/im9107 – volume: 357 start-page: 186 year: 2006 ident: 7195_CR47 publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2006.03.018 – volume: 94 start-page: 43 year: 2008 ident: 7195_CR72 publication-title: Bull. EATCS – volume-title: Selected Works: Mathematics and Mechanics year: 1985 ident: 7195_CR7 – volume: 1 start-page: 3 year: 1965 ident: 7195_CR62 publication-title: Probl. Peredachi Inf. – volume: 64 start-page: 805 year: 2009 ident: 7195_CR53 publication-title: Russ. Math. Surv. doi: 10.1070/rm2009v064n05abeh004641 – volume: 32 start-page: 403 year: 1985 ident: 7195_CR20 publication-title: Dokl. – volume: 375 start-page: 8651 year: 2022 ident: 7195_CR1 publication-title: Trans. Am. Math. Soc. doi: 10.1090/tran/8710 – volume: 22 start-page: 587 year: 1984 ident: 7195_CR52 publication-title: USSR-Izv. doi: 10.1070/im1984v022n03abeh001456 – volume-title: We Will Show Them! Essays in Honour of Dov Gabbay year: 2005 ident: 7195_CR17 – volume: 25 start-page: 83 year: 1970 ident: 7195_CR61 publication-title: Russ. Math. Surv. doi: 10.1070/rm1970v025n06abeh001269 – volume: 48 start-page: 219 year: 1992 ident: 7195_CR39 publication-title: Bull. Eur. Assoc. Theor. Comput. Sci. – ident: 7195_CR46 doi: 10.1109/LICS.1993.287565 – volume: 67 start-page: 29 year: 1994 ident: 7195_CR25 publication-title: Ann. Pure Appl. Logic doi: 10.1016/0168-0072(94)90007-8 – volume: 15 start-page: 559 year: 2005 ident: 7195_CR16 publication-title: J. Logic Comput. doi: 10.1093/logcom/exi039 – volume: 357 start-page: 143 year: 2006 ident: 7195_CR27 publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2006.03.016 – ident: 7195_CR70 – volume: 22 start-page: 10 year: 2021 ident: 7195_CR50 publication-title: ACM Trans. Comput. Logic doi: 10.1145/3445810 – ident: 7195_CR41 doi: 10.48550/arXiv.1412.5221 |
| SSID | ssj0055941 |
| Score | 2.2862303 |
| Snippet | The paper describes the history of the creation and activities of the Chair of Mathematical Logic and Theory of Algorithms at Lomonosov Moscow State... |
| SourceID | proquest crossref springer |
| SourceType | Aggregation Database Index Database Publisher |
| StartPage | 23 |
| SubjectTerms | Algorithms Analysis Artificial intelligence Cognition & reasoning Constructivism Geometry Mathematical logic Mathematics Mathematics and Statistics Proof theory Set theory Students |
| Title | Chair of Mathematical Logic and Theory of Algorithms |
| URI | https://link.springer.com/article/10.3103/S0027132225700196 https://www.proquest.com/docview/3259308520 |
| Volume | 80 |
| WOSCitedRecordID | wos001504579900007&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVAVX databaseName: Springer Link customDbUrl: eissn: 1934-8444 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0055941 issn: 0027-1322 databaseCode: RSV dateStart: 20070201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LT8MwDLZgcIADsAFiMFAPHHiook2yJj1OiIkLE-Kl3aq4Tdgk6FBb-P0kfTDxOsC5llVZdvxZnx8Ah0pSyShFFwWiy9DUKSJRdozLJ-jLQGtRHZvgo5EYj8Preo47b7rdG0qyfKnLutKjZyWtWBIDdiW7cZxFWDLZTthovLl9aJ5fg5BZdSaPcNeKV1Tmzyo-J6M5wvxCipa5Zrj-r7_cgLUaWjqDyhfasKDSDqxefexlzTvQrkM5d47qfdPHm8DOJ3KaOTPtzGWNHnuFOXZkmjjV_L4VGDw9zrJpMXnOt-B-eHF3funWxxTcmHCvcCXlqs8YIwTRw77UvgEiNIiR6CA0paQMQ6mEoigDZdK2NtBEaZ8it_w7hpJuQyudpWoHHD-wS-tQJZQjk8w2sJJEEYE-FVwkugsnjVWjl2pnRmRqDWuf6Jt9utBr7B7V4ZNH1BRl1IBB4nXhtLHz_POvynb_JL0HK8Re8y17sHvQKrJXtQ_L8VsxzbOD0qveAW5lwcs |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LSwMxEB60CupBbVWsVt2DBx8sdpN0H8dSLBXbIlqltyWzm9iCbmV39feb7MPi66DnDEMYJplv-OYBcCw45YxSNNFFNBmqPMUNhW7jsgha3JbSzZdNOMOhOx57N0Ufd1JWu5eUZPZTZ3llk15ktGJGDOiR7MpxFmGJqYCl6_hu7x7K71chZJavySOOqcVzKvNnFZ-D0RxhfiFFs1jT3fjXLTdhvYCWRjv3hSosiKgGa4OPuaxJDarFU06Mk2Le9OkWsM6ET2NjJo25rNKjtzAHBo9CI-_f1wLtp8dZPE0nz8k23HcvR52eWSxTMAPiNFOTU0e0GGOEIDaxxaWlgAi1AyTS9lQqyT2PC1dQ5LZQYVsqaCKkRdHR_Dt6nO5AJZpFYhcMy9ZD61CE1EHGmS5gJaEgLlrUddxQ1uGstKr_ks_M8FWuoe3jf7NPHRql3f3i-SQ-VUkZVWCQNOtwXtp5fvyrsr0_SR_BSm806Pv9q-H1PqwSvdk3q8duQCWNX8UBLAdv6TSJDzMPeweOUcSv |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LS8NAEB60iuhBbVWszxw8-CA02d3mcSzVoqil4IPewk6yawualiT6-93Nw-LrIJ4zDGEym_mGb2c-gCPBKWeUookeoslQ9SleJPQYl03Q5o6UXiE24fb73nDoD0qd07S67V5RksVMg97SFGetaSRbeY9p0VZOMeYkgV7PrpJoHhaY1gzS7frdY_UrVmiZFZJ5xDW1eUFr_uzic2Gaoc0vBGled3pr_37jdVgtIafRKXKkDnMibsDK7ce-1rQB9fKIp8ZxuYf6ZANYd8THiTGRxsxW-dHqzKHB48go5vq1Qef5aZKMs9FLugkPvYv77qVZiiyYIXGtzOTUFW3GGCGIFra5tBVAoU6IRDq-ajG573PhCYrcEaqcSwVZhLQpupqXR5_TLajFk1hsg2E7epkdioi6yDjTF1tJJIiHNvVcL5JNOK0iHEyLXRqB6kF0fIJv8WnCXvUNgvJYpQFVzRpVIJFYTTirYj57_KuznT9ZH8LS4LwX3Fz1r3dhmWjB3_ya9h7UsuRV7MNi-JaN0-QgT7Z3lgvNkw |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Chair+of+Mathematical+Logic+and+Theory+of+Algorithms&rft.jtitle=Moscow+University+mathematics+bulletin&rft.au=Semenov%2C+A.+L.&rft.au=Babenko%2C+M.+A.&rft.au=Belov%2C+A.+Ya&rft.au=Vereshchagin%2C+N.+K.&rft.date=2025-02-01&rft.pub=Pleiades+Publishing&rft.issn=0027-1322&rft.eissn=1934-8444&rft.volume=80&rft.issue=1&rft.spage=23&rft.epage=33&rft_id=info:doi/10.3103%2FS0027132225700196&rft.externalDocID=10_3103_S0027132225700196 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0027-1322&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0027-1322&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0027-1322&client=summon |