|
Seminars
"Proof Theory" and "Logic Online Seminar"
Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom, Moscow
Organizer: Lev D. Beklemishev
Proof Theory seminar is a working seminar aimed, among others, at graduate and PhD students. The purpose of the seminar is to jointly look into the details of new or old but important results. Very often, talks extend to two consequtive meetings of the seminar (two academic hours each). The topics are not exclusively Proof Theory related, they include non-classical logics, modal logic and universal algebra, set theory, etc. The working language is mostly Russian, depending on the speaker and those in the audience.
Logic Online Seminar features online talks presented by international speakers on a broad range of Logic related topics. Logic Online Seminar is hosted by the Department of Mathematical Logic of Steklov Mathematical Institute. Logic Online Seminar has been established in 2014 and featured online talks by Sergei Artemov, Michael Rathjen, Stephen Simpson, Albert Visser, among others. Our working language is English.
Join our mailing lists:
Mathlogic-Moscow, mailing lists of several seminars on Mathematical Logic (including the Proof Theory seminar) at Steklov Mathematical Institute of RAS, Moscow M.V. Lomonosov State University, and National Research University Higher School of Economics.
Logic Online Seminar, join this group if you only want to receive notifications about online talks of the Logic Online Seminar and possibly other online talks in English.
The login information to join the Zoom meetings of Logic Online Seminar is available via the mailing lists above.
 Announcements
New place and time: Monday 16:00, Room 313, Steklov Mathematical institute + Zoom.
The talks will be presented either online or in a mixed format. We will indicate if a speaker is onilne or onsite. In any case, it will be possible to join via Zoom.
Forthcoming talks
21.10.2024 Carlos Zapata-Carratalá (Society for Multidisciplinary and Fundamental Research; Wolfram Foundation):
Higher-arity algebras and hypergraphs (online)
Non-standard time: this talk will be at 18:00 Moscow time, only via Zoom (no physical meeting).
Some open problems in the theory of Lie algebras are related to compositional structures of hypergraphs. In this talk I will present some promising directions of research in higher-arity algebras and their connection with hypergraph rewrite systems. Furthermore, I will argue that progress in these formal problems will lead to advancements in the theory of higher-order networks and complex systems applications.
14.10.2024: no seminar at this date.
Past talks
Recordings of past talks can be found at the bottom of this page
07.10.2024 Lev Dvorkin (MSU, 6 year):
On interpretations of normal modal logics and additive formulas in S4, S5, Grz, K and GL. (onsite, in Russian)
30.09.2024 V.I. Danilov (CEMI, Moscow): Magari algebras and Plott choice functions (onsite, in Russian)
23.09.2024 V. B. Shehtman (HSE University, Moscow): Completeness for predicate modal logics (onsite)
16.09.2024 Maxim Zubkov (Kazan Federal University): Computable linearly ordered structures (onsite, in Russian)
27.05.2024 A.V. Kudinov (IITP RAS, HSE): Complexity of non-normal logics and the logics with counting of axioms applications (onsite, in Russian)
21.05.2024 jointly with S.I. Adian seminar.
David Fernández-Duque (Univeristy of Barcelona):
Provable well-orders and hyperarithmetical soundness (online)
13.05.2024 Ali Enayat (Gothenburg University): Categoricity-like properties in the first order realm (online)
22.04.2024 Ilya Shapirovsky (New Mexico and IITP):
Filtrations of some pretransitive logics (online, in Russian)
15.04.2024 Saeed Salehi (Tabriz University): How (not) to compute the halting probability or validate the heuristic principle (online)
01 and 08.04.2024 N. Bazhenov (Novosibirsk State University), I. Kalimullin (Kazan Federal University): Punctual structures, automatic structures and index sets (onsite + Zoom).
25.03.2024 S.O. Speranski (Steklov Mathematical Institute): On the elementary theory of atomless probability spaces. Onsite talk, in Russian.
11.03.2024 D. Shamkanov (Steklov Mathematical Institute) and P. Razumny (MIPT). On the extension of the modal predicate logic QGL by non-wellfounded derivations (onsite talk, in Russian)
11.03.2024 S. Kuznetsov (Steklov Mathematical Institute): Undecidability of the theory of Kleene algebras with commutativity conditions
04.03.2024 Taishi Kurahashi (Kobe University): Modal logics of provability predicates
26.02.2024 Vseslav Sekorin (Tver State University): On the expressivity properties of partial fixed point operator for finite and infinite systems. Onsite talk, in Russian.
12.02 and 19.02.2024 Lev Dvorkin (Moscow State University): On the finite model property of a class of pretransitive logics. Onsite talk, in Russian.
18.12.2023 Zoran Ognjanović (Matematički institut SANU, Beograd, Srbija): Logics with Probability Operators. Completeness and Decidability. Online talk.
04.12 and 11.12.2023 Juan Aguilera (Vienna University of Technology): Dilators and $\Pi_2^1$-ordinal analysis (continuation)
27.11.2023 jointly with S.I. Adian seminar, 14:00 MSK (UTC+3). Bakhadyr Khoussainov (Computer Science School, The UESTC, China):
On finitely presented expansions of semigroups, groups, and algebras. Online talk.
20.11.2023 Sergei Slavnov (HSE University): The logic of tensor terms for categorial grammars: a simple union of commutative and noncommutative operations of linear logic. Оnsite talk.
6.11.2023 Juan Aguilera (Vienna University of Technology): Dilators and $\Pi_2^1$-ordinal analysis
23.10.2023 Sergei Odintsov (Sobolev Institute of Mathematics, Novosibirsk):
Constructive logic N4 and connexive logic C: similarities and differences
16.10.2023 Matthias Baaz (Vienna University of Technology): Andrews skolemization may shorten proofs non-elementarily
02.10.2023 L. Beklemishev and Y. Wang (Peking University): General topological frames for polymodal provability logic based on periodic sets of ordinals
25.09.2023 N. Lukashov (HSE University, Master's student): On the unification problem for polymodal provability logic
18.09.2023 Anupam Das (University of Birmingham): Computational expressivity of (circular) proofs with fixed points
23.05.2023 Juan Aguilera (Vienna, Gent, Hamburg): Non-linearities in the analytical hierarchy
16.05.2023 A.L. Semenov (MSU): Examples and problems for definability lattices (in Russian)
18.04.2023 S.L. Kuznetsov (Steklov Mathematical Institute): Algorithmic problems for substructural logics with Kleene iteration (in Russian)
11.04.2023 Iskander Kalimullin (Kazan State Federal University): The degrees of relative computable categoricity
4.04.2023 Nikolai Bazhenov (Sobolev Institute of Mathematics, Novosibirsk): Learning for families of algebraic structures
20.03 and 27.03.2023 Fedor Pakhomov (Steklov Mathematical Institute and Ghent University): Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of Π¹₁-CA₀.
06.03.2023 Mikhail Rybakov (Tver State University and IITP RAS): Computational complexity of non-classical logics of an unary predicate.
13.02.2023 and 20.02.2023 Martin Ziegler (KAIST, Korea): Bit-Complexity of Classical Solutions of Linear Evolutionary Systems of Partial Differential Equations
12.12.2022 Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA, Serbia):
Kripke-style semantics in typed lambda calculus, combinatory logic and more.
05.12.2022 Carl-Fredrik Nyberg-Brodda (Université Gustave Eiffel, Paris): The Dehn functions of a class of one-relation monoids
28.11.2022 Valentin Shehtman (IITP, HSE, MSU): Simplicial models for modal predicate logics.
21.11.2022 Fedor Pakhomov (Steklov Mathematical Institute and Ghent University): How to escape Tennenbaum's Theorem?
14.11.2022 Andrei Kudinov (IITP RAS): On Strictly Positive Fragments of Modal Logics with Confluence.
07-11.11.2022 Second Conference of Russian Mathematical Centers. Section "Mathematical Logic and Theoretical Computer Science".
31.10.2022 Lev Beklemishev (Steklov Mathematical Institute): On Kreisel's explication of the concept of finitism.
Lecture at the conference Formal Philosophy 2022 at the traditional time of the seminar.
17.10.2022 and 24.10.2022 Daniyar Shamkanov (Steklov Mathematical Institute): On cyclic proofs in classical first order arithmetic with inductive definitions. (in Russian)
10.10.2022 Arnon Avron (Tel Aviv): The Active Role of Language Extensions in Mathematical Reasoning.
03.10.2022 Konstantin Kovalev (MIPT): On the fragments of Peano arithmetic with quantifier-free induction schema (in Russian).
25.09.2022 Lev Dvorkin (MSU): On the provability logic of Niebergall's arithmetic (in Russian).
20.06.2022 Mojtaba Mojtahedi (Tehran): On provability logic of HA (continuation).
06.06.2022 Marta Fiori Carones (Sobolev Institute of Mathematics):
The strength of some consequences of RT$^2_2$ over RCA$_0^*$.
30.05.2022 and 02.06.2022 Mojtaba Mojtahedi (Tehran): On provability logic of HA.
23.05.2022 Alexander Zapryagaev (HSE): Interpretations of Büchi arithmetics in themselves.
16.05.2022 Denis I. Saveliev (IITP RAS): On modal logics of model-theoretic relations
25.04.2022 Anupam Das (University of Birmingham): A circular version of Gödel's T and its abstraction complexity
18.04.2022 Sergei Dudakov (Tver State University): Algorithmic properties of algebras of subsets/Алгоритмические свойства алгебр подмножеств
11.04.2022 Alexander Kozachinsky (Steklov Mathematical Institute): Population protocols and Presburger arithmetic.
04.04.2022 Vladimir Kanovei (IITP RAS): Some definable counterexamples in models of set theory.
28.03.2022 Lev Beklemishev (Steklov Mathematical Institute): Reading Kreisel: what we do (not) understand
14.03.2022 Lev Beklemishev (Steklov Mathematical Institute): Conservativity spectra and generalized Ignatiev model
21.02.2022 Anastasia Onoprienko (Lomonosov Moscow State University): On topological models of logics HC and H4.
14.02.2022 Igor Sedlár (Czech Academy of Sciences, Institute of Computer Science): Substructural Logics of Programs
07.02.2022 Tikhon Pshenitsyn (Lomonosov Moscow State University): Hypergraph generalisation of the Lambek calculus and operations expressible in it.
20.12.2021 Albert Visser (Universiteit Utrecht): Interpreters as consistoids (continuation)
06.12.2021 Thomas Icard (Stanford University): Logical foundations of causal inference
22.11.2021 Albert Visser (Universiteit Utrecht): Interpreters as consistoids
15.11.2021 Michael Mendler (Universität Bamberg): The Došen Square under construction: A tale of four modalities
08.11.2021 Konstantin Kovalev (Moscow Institute of Physics and Technology): Models of quantifier-free induction for the language of arithmetic with exponentiation (in Russian)
25.10.2021 James Walsh (Cornell University): An incompleteness theorem via ordinal analysis
18.10.2021 Misha Svyatlovsky (Moscow Institute of Physics and Technology): Strictly positive fragments of K4 and its extensions
11.10.2021 Mateusz Łełyk (Department of Philosophy, University of Warsaw): The two halves of disjunctive correctness for the compositional truth predicate
04.10.2021 Victor L. Selivanov (IIS SB RAS and Novosibirsk State University): Primitive Recursive Ordered Fields and Some Applications
7-11.06.2021: Logical Perspectives 2021 Conference, для участия регистрируйтесь на сайте конференции.
24.05.2021 I.B. Shapirovsky (IITP RAS and New Mexico State University): On finite model property and complexity of logics of sums of Kripke frames (in Russian)
12.04.2021 Fedor N. Pakhomov (University of Ghent and Steklov Mathematical Institute): Generalized Fusible Numbers
22.03.2021 Joost J. Joosten (University of Barcelona): Quantified reflection calculus with one modality is decidable
15.03.2021 Wesley H. Holliday (University of California, Berkeley): Logics of Imprecise Comparative Probability
01.03.2021 Maxim Vishnikin (MSU): Basic categorial grammars with unique type assignments (in Russian)
15.02.2021 Wei Chen (Huawei, Edinburgh): Automated Mathematical Theorem Proving
18.01.2021 Rosalie Iemhoff (University of Utrecht): The role of uniform interpolation in structural proof theory
21.12.2020 Albert Visser (Utrecht University): Cyclic Henkin Logic (continuation)
14.12.2020 Albert Visser (Utrecht University): Cyclic Henkin Logic
07.12.2020 Tadeusz Litak (Friedrich-Alexander Universität Erlangen-Nürnberg): Describable Nuclei, Negative Translations and Extension Stability (continuation)
30.11.2020 Tadeusz Litak (Friedrich-Alexander Universität Erlangen-Nürnberg): Describable Nuclei, Negative Translations and Extension Stability
23.11.2020 Guram Bezhanishvili (New Mexico State University): Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities
17-18.11.2020 Logical Perspectives Open Lectures: Yuri Gurevich, Anil Nerode, Barbara Partee.
09.11.2020 Christian Wurm (HHU Düsseldorf): Language-theoretic models for the Full Lambek calculus
02.11.2020 Anna Dmitrieva (ILLC, University of Amsterdam): Axiomatizing Origami planes
27.10.2020 S.I. Adian Seminar, 18:30 MSK (UTC+3), A.A. Razborov (University of Chicago and Steklov Mathematical Institute): SAT Solvers and Ordered Decision Strategies
26.10.2020 Stepan Kuznetsov (Steklov Mathematical Institute):
Decidable fragments of the Lambek calculus with subexponentials
19.10.2020 Fedor Pakhomov (Steklov Mathematical Institute and University of Ghent): Iterated ω-model reflection and Π¹₂ proof-theoretic analysis
12.10.2020 Ali Enayat (University of Gothenburg): Set theory with a proper class of indiscernibles
 Seminar organizer
Beklemishev Lev Dmitrievich
Financial support
The seminar is supported by the Ministry of Science and Higher Education of the Russian Federation (the grant to the Steklov International Mathematical Center, agreement no. 075-15-2022-265).
Institutions
Steklov Mathematical Institute of Russian Academy of Sciences, Moscow
Steklov International Mathematical Center |
|
| Seminars
"Proof Theory" and "Logic Online Seminar", Moscow |
|
|
October 21, 2024 (Mon) |
 |
| 1. |
Higher-arity algebras and hypergraphs
Carlos Zapata-Carratalá
October 21, 2024 18:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 7, 2024 (Mon) |
|
| 2. |
On interpretations of normal modal logics and additive formulas in S4, S5, Grz, K and GL
L. V. Dvorkin
October 7, 2024 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
September 30, 2024 (Mon) |
|
| 3. |
Magari algebras and Plott choice functions
V. I. Danilov
September 30, 2024 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 23, 2024 (Mon) |
|
| 4. |
Completeness for modal predicate logics
V. B. Shehtman
September 23, 2024 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 16, 2024 (Mon) |
|
| 5. |
Computable linearly ordered structures
M. V. Zubkov
September 16, 2024 16:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 27, 2024 (Mon) |
|
| 6. |
Complexity of non-normal logics and the logics with counting of axioms applications
A. V. Kudinov
May 27, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 21, 2024 (Tue) |
|
| 7. |
Provable well-orders and hyperarithmetical soundness
D. Fernández-Duque
May 21, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 13, 2024 (Mon) |
|
| 8. |
Categoricity-like properties in the first order realm
A. Enayat
May 13, 2024 19:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 22, 2024 (Mon) |
|
| 9. |
Filtrations of some pretransitive logics
I. B. Shapirovsky
April 22, 2024 18:30, Moscow, online
|
|
|
|
|
|
|
April 15, 2024 (Mon) |
|
| 10. |
How (not) to Compute the Halting Probability or Validate the Heuristic Principle
S. Salehi
April 15, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 8, 2024 (Mon) |
|
| 11. |
Punctual structures, automatic structures and index sets. Part 2
N. A. Bazhenov, I. Sh. Kalimullin
April 8, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 1, 2024 (Mon) |
|
| 12. |
Punctual structures, automatic structures and index sets. Part 1
N. A. Bazhenov, I. Sh. Kalimullin
April 1, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 25, 2024 (Mon) |
|
| 13. |
On the elementary theory of atomless probability spaces
S. O. Speranski
March 25, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 18, 2024 (Mon) |
|
| 14. |
О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств
D. S. Shamkanov, P. Razumny
March 18, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 11, 2024 (Mon) |
|
| 15. |
Undecidability of the theory of Kleene algebras with commutativity conditions
S. L. Kuznetsov
March 11, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 4, 2024 (Mon) |
|
| 16. |
Modal logics of provability predicates
Taishi Kurahashi
March 4, 2024 14:30, Moscow, online
|
|
|
|
|
|
|
February 26, 2024 (Mon) |
|
| 17. |
On the expressivity properties of partial fixed point operator for finite and infinite systems
V. S. Sekorin
February 26, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 19, 2024 (Mon) |
|
| 18. |
On the finite model property of a class of pretransitive logics (continuation)
L. V. Dvorkin
February 19, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 12, 2024 (Mon) |
|
| 19. |
On the finite model property of a class of pretransitive logics
L. V. Dvorkin
February 12, 2024 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 18, 2023 (Mon) |
|
| 20. |
Logics with Probability Operators. Completeness and Decidability
Z. Ognjanović
December 18, 2023 18:30, Moscow, Zoom
|
|
|
|
|
|
|
December 11, 2023 (Mon) |
|
| 21. |
Dilators and $\Pi_2^1$-ordinal analysis, Part III
J. P. Aguilera
December 11, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 4, 2023 (Mon) |
|
| 22. |
Dilators and $\Pi_2^1$-ordinal analysis (continuation)
J. P. Aguilera
December 4, 2023 18:30, Moscow, Zoom
|
|
|
|
|
|
|
November 27, 2023 (Mon) |
|
| 23. |
On finitely presented expansions of semigroups, groups, and algebras
B. Khoussainov
November 27, 2023 14:00, Moscow, Zoom
|
|
|
|
|
|
|
November 20, 2023 (Mon) |
|
| 24. |
Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики
S. Slavnov
November 20, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 6, 2023 (Mon) |
|
| 25. |
Dilators and $\Pi_2^1$-ordinal analysis
J. P. Aguilera
November 6, 2023 18:30, Moscow, Zoom
|
|
|
|
|
|
|
October 23, 2023 (Mon) |
|
| 26. |
Constructive logic N4 and connexive logic C: similarities and differences
S. P. Odintsov
October 23, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 16, 2023 (Mon) |
|
| 27. |
Andrews skolemization may shorten proofs non-elementarily
M. Baaz
October 16, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 2, 2023 (Mon) |
|
| 28. |
General topological frames for polymodal provability logic based on periodic sets of ordinals
L. D. Beklemishev, Yunsong Wang
October 2, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 25, 2023 (Mon) |
|
| 29. |
On the unification problem for polymodal provability logic
N. Lukashov
September 25, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 18, 2023 (Mon) |
|
| 30. |
Computational expressivity of (circular) proofs with fixed points
A. Das
September 18, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 23, 2023 (Tue) |
|
| 31. |
Non-linearities in the analytical hierarchy
J. P. Aguilera
May 23, 2023 18:30, Moscow, Zoom
|
|
|
|
|
|
|
May 16, 2023 (Tue) |
|
| 32. |
Examples and problems for definability lattices
A. L. Semenov
May 16, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 18, 2023 (Tue) |
|
| 33. |
Алгоритмические вопросы для субструктурных логик с итерацией Клини
S. L. Kuznetsov
April 18, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 11, 2023 (Tue) |
|
| 34. |
The degrees of relative computable categoricity
I. Sh. Kalimullin
April 11, 2023 18:30, Moscow, Zoom
|
|
|
|
|
|
|
April 4, 2023 (Tue) |
|
| 35. |
Learning for families of algebraic structures
N. A. Bazhenov
April 4, 2023 18:30, Moscow, Steklov Mathematical Institute, Room 110 (8 Gubkina) + Zoom
|
|
|
|
|
|
|
March 27, 2023 (Mon) |
|
| 36. |
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$ (continuation)
F. N. Pakhomov
March 27, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 20, 2023 (Mon) |
|
| 37. |
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$
F. N. Pakhomov
March 20, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 6, 2023 (Mon) |
|
| 38. |
Computational complexity of non-classical logics of an unary predicate
M. N. Rybakov
March 6, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 20, 2023 (Mon) |
|
| 39. |
Bit-Complexity of Classical Solutions of Linear Evolutionary Systems of Partial Differential Equations (continuation)
Martin Ziegler
February 20, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 13, 2023 (Mon) |
|
| 40. |
Bit-Complexity of Classical Solutions of Linear Evolutionary Systems of Partial Differential Equations
Martin Ziegler
February 13, 2023 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 12, 2022 (Mon) |
|
| 41. |
Kripke-style semantics in typed lambda calculus, combinatory logic and more
Silvia Ghilezan
December 12, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 5, 2022 (Mon) |
|
| 42. |
The Dehn functions of a class of one-relation monoids
Carl-Fredrik Nyberg-Brodda
December 5, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 28, 2022 (Mon) |
|
| 43. |
Simplicial models for modal predicate logics
V. B. Shehtman
November 28, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 21, 2022 (Mon) |
|
| 44. |
How to escape Tennenbaum's Theorem?
F. N. Pakhomov
November 21, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 14, 2022 (Mon) |
|
| 45. |
On Strictly Positive Fragments of Modal Logics with Confluence
A. V. Kudinov
November 14, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 24, 2022 (Mon) |
|
| 46. |
On cyclic proofs in classical first order arithmetic with inductive definitions (continuation)
D. S. Shamkanov
October 24, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 17, 2022 (Mon) |
|
| 47. |
On cyclic proofs in classical first order arithmetic with inductive definitions
D. S. Shamkanov
October 17, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 10, 2022 (Mon) |
|
| 48. |
The Active Role of Language Extensions in Mathematical Reasoning
Arnon Avron
October 10, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 3, 2022 (Mon) |
|
| 49. |
On the fragments of Peano arithmetic with quantifier-free induction schema
Konstantin Kovalev
October 3, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 26, 2022 (Mon) |
|
| 50. |
On the provability logic of Niebergall's arithmetic
Lev Dvorkin
September 26, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
June 20, 2022 (Mon) |
|
| 51. |
On provability logic of HA (continuation)
Mojtaba Mojtahedi
June 20, 2022 18:30, Moscow, online
|
|
|
|
|
|
|
June 6, 2022 (Mon) |
|
| 52. |
The strength of some consequences of RT22 over RCA∗0
Marta Fiori Carones
June 6, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
June 2, 2022 (Thu) |
|
| 53. |
On provability logic of HA (continuation)
Mojtaba Mojtahedi
June 2, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 30, 2022 (Mon) |
|
| 54. |
On provability logic of HA
Mojtaba Mojtahedi
May 30, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 23, 2022 (Mon) |
|
| 55. |
Interpretations of Büchi arithmetics in themselves
A. A. Zapryagaev
May 23, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 16, 2022 (Mon) |
|
| 56. |
On modal logics of model-theoretic relations
D. I. Saveliev
May 16, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 25, 2022 (Mon) |
|
| 57. |
A circular version of Gödel's T and its abstraction complexity
Anupam Das
April 25, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 18, 2022 (Mon) |
|
| 58. |
Algorithmic properties of algebras of subsets
S. M. Dudakov
April 18, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 11, 2022 (Mon) |
|
| 59. |
Population protocols and Presburger arithmetic
A. Kozachinsky
April 11, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 4, 2022 (Mon) |
|
| 60. |
Some definable counterexamples in models of set theory
V. G. Kanovei
April 4, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 28, 2022 (Mon) |
|
| 61. |
Reading Kreisel: what we do (not) understand
L. D. Beklemishev
March 28, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 14, 2022 (Mon) |
|
| 62. |
Conservativity spectra and generalized Ignatiev model
L. D. Beklemishev
March 14, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 21, 2022 (Mon) |
|
| 63. |
On topological models of logics HC and H4
A. A. Onoprienko
February 21, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 14, 2022 (Mon) |
|
| 64. |
Substructural Logics of Programs
Igor Sedlár
February 14, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 7, 2022 (Mon) |
|
| 65. |
Гиперграфовое обобщение исчисления Ламбека и операции, выразимые в нем
Tikhon Pshenitsyn
February 7, 2022 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 20, 2021 (Mon) |
|
| 66. |
Interpreters as consistoids (continuation)
A. Visser
December 20, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 6, 2021 (Mon) |
|
| 67. |
Logical foundations of causal inference
T. Icard
December 6, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 22, 2021 (Mon) |
|
| 68. |
Interpreters as consistoids
A. Visser
November 22, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 15, 2021 (Mon) |
|
| 69. |
The Došen Square under construction: A tale of four modalities
M. Mendler
November 15, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 8, 2021 (Mon) |
|
| 70. |
Models of quantifier-free induction for the language of arithmetic with exponentiation
K. Kovalev
November 8, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 25, 2021 (Mon) |
|
| 71. |
An incompleteness theorem via ordinal analysis
J. Walsh
October 25, 2021 18:30, Moscow, online
|
|
|
|
|
|
|
October 18, 2021 (Mon) |
|
| 72. |
Strictly positive fragments of K4 and its extensions
M. V. Svyatlovskiy
October 18, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 11, 2021 (Mon) |
|
| 73. |
The two halves of disjunctive correctness for the compositional truth predicate
M. Łełyk
October 11, 2021 18:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 4, 2021 (Mon) |
|
| 74. |
Primitive Recursive Ordered Fields and Some Applications
V. L. Selivanov
October 4, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 24, 2021 (Mon) |
|
| 75. |
О финитной аппроксимируемости и сложности логик сумм шкал Крипке
I. B. Shapirovsky
May 24, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 12, 2021 (Mon) |
|
| 76. |
Generalized Fusible Numbers
F. N. Pakhomov
April 12, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 22, 2021 (Mon) |
|
| 77. |
Quantified reflection calculus with one modality is decidable
Joost J. Joosten
March 22, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 15, 2021 (Mon) |
|
| 78. |
Logics of Imprecise Comparative Probability
W. H. Holliday
March 15, 2021 19:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 1, 2021 (Mon) |
|
| 79. |
Basic categorial grammars with unique type assignments
M. E. Vishnikin
March 1, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 15, 2021 (Mon) |
|
| 80. |
Automated Mathematical Theorem Proving
Wei Chen
February 15, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
January 18, 2021 (Mon) |
|
| 81. |
The role of uniform interpolation in structural proof theory
R. Iemhoff
January 18, 2021 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 21, 2020 (Mon) |
|
| 82. |
Cyclic Henkin Logic (continuation)
A. Visser
December 21, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 14, 2020 (Mon) |
|
| 83. |
Cyclic Henkin Logic
A. Visser
December 14, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 7, 2020 (Mon) |
|
| 84. |
Describable Nuclea, Negative Translations and Extension Stability (continuation)
Tadeusz Litak
December 7, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 30, 2020 (Mon) |
|
| 85. |
Describable Nuclea, Negative Translations and Extension Stability
Tadeusz Litak
November 30, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 23, 2020 (Mon) |
|
| 86. |
Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities
Guram Bezhanishvili
November 23, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 9, 2020 (Mon) |
|
| 87. |
Language-theoretic models for the Full Lambek calculus
Christian Wurm
November 9, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 2, 2020 (Mon) |
|
| 88. |
Axiomatizing Origami planes
Anna Dmitrieva
November 2, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 26, 2020 (Mon) |
|
| 89. |
Decidable fragments of the Lambek calculus with subexponentials
S. L. Kuznetsov
October 26, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 19, 2020 (Mon) |
|
| 90. |
Iterated $\omega$-model reflection and $\Pi^1_2$ proof-theoretic analysis
F. N. Pakhomov
October 19, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 12, 2020 (Mon) |
|
| 91. |
Set theory with a proper class of indiscernibles
A. Enayat
October 12, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
July 13, 2020 (Mon) |
|
| 92. |
A more uniform Friedberg-Muchnik theorem
David Belanger
July 13, 2020 18:30, Moscow, online
|
|
|
|
|
|
|
July 6, 2020 (Mon) |
|
| 93. |
Giant and illusionary giant Goodstein principles
Andreas Weiermann
July 6, 2020 17:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
June 22, 2020 (Mon) |
|
| 94. |
О глобальной окрестностной полноте логики доказуемости GLP
D. S. Shamkanov
June 22, 2020 17:30, Moscow, online
|
|
|
|
|
|
|
May 18, 2020 (Mon) |
|
| 95. |
Fusible numbers and Peano Arithmetic
Gabriel Nivasch
May 18, 2020 18:30, Moscow, online
|
|
|
|
|
|
|
May 4, 2020 (Mon) |
|
| 96. |
Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday)
Johann Makowsky
May 4, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 27, 2020 (Mon) |
|
| 97. |
Existence of measurable cardinals and modal logic
Guram Bezhanishvili
April 27, 2020 17:30, Moscow, online
|
|
|
|
|
|
|
April 20, 2020 (Mon) |
|
| 98. |
Negation as a modality in a quantified setting
S. O. Speranski
April 20, 2020 18:30, Moscow, online
|
|
|
|
|
|
|
April 13, 2020 (Mon) |
|
| 99. |
On Free $\omega$-Continuous and Regular Ordered Algebras
Dexter Kozen
April 13, 2020 18:30, Moscow, online
|
|
|
|
|
|
|
April 6, 2020 (Mon) |
|
| 100. |
Goodstein principles of intermediate strength
D. Fernández-Duque
April 6, 2020 18:30, Moscow, online
|
|
|
|
|
|
|
March 23, 2020 (Mon) |
|
| 101. |
On the logical complexity of cyclic arithmetic
Anupam Das
March 23, 2020 18:30, Moscow, online
|
|
|
|
|
|
|
March 16, 2020 (Mon) |
|
| 102. |
Предикатный вариант совместной логики задач и высказываний
A. A. Onoprienko
March 16, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 2, 2020 (Mon) |
|
| 103. |
О принципах редукции и отделимости в тихоновских пространствах.
D. I. Saveliev
March 2, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 17, 2020 (Mon) |
|
| 104. |
From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri
February 17, 2020 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 16, 2019 (Mon) |
|
| 105. |
Decidable and undecidable problems for modal definability and first-order definability
Philippe Balbiani
December 16, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 9, 2019 (Mon) |
|
| 106. |
On a neighborhood semantics of Lindström provability logic
D. S. Shamkanov
December 9, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 2, 2019 (Mon) |
|
| 107. |
Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
December 2, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 25, 2019 (Mon) |
|
| 108. |
Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
A. A. Zapryagaev
November 25, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 11, 2019 (Mon) |
|
| 109. |
Determined admissible sets
Juan Aguilera
November 11, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 28, 2019 (Mon) |
|
| 110. |
Бар-индукция для классов в арифметике второго порядка
F. N. Pakhomov
October 28, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 21, 2019 (Mon) |
|
| 111. |
Бар-индукция для классов в арифметике второго порядка
F. N. Pakhomov
October 21, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 14, 2019 (Mon) |
|
| 112. |
Об открытых вопросах теории доказательств
L. D. Beklemishev
October 14, 2019, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 7, 2019 (Mon) |
|
| 113. |
Локали, ядра и шкалы Драгалина. Лекция 2.
D. Rogozin
October 7, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 30, 2019 (Mon) |
|
| 114. |
Локали, ядра и шкалы Драгалина
D. D. Rogozin
September 30, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
August 28, 2019 (Wed) |
|
| 115. |
Локально конечные модальные алгебры и фильтрации моделей Крипке
I. B. Shapirovsky
August 28, 2019 17:00, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
June 24, 2019 (Mon) |
|
| 116. |
О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
E. A. Kolmakov
June 24, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 20, 2019 (Mon) |
|
| 117. |
О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
E. A. Kolmakov
May 20, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 13, 2019 (Mon) |
|
| 118. |
How strong are derivatives of normal functions?
Anton Freund
May 13, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 29, 2019 (Mon) |
|
| 119. |
Итерированные определения истинности и исчисление рефлексий
L. D. Beklemishev
April 29, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 22, 2019 (Mon) |
|
| 120. |
Итерированные определения истинности и исчисление рефлексий
April 22, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 15, 2019 (Mon) |
|
| 121. |
Итерации $\Pi^1_1$-рефлексии
F. N. Pakhomov
April 15, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 8, 2019 (Mon) |
|
| 122. |
Итерации $\Pi^1_1$-рефлексии
F. N. Pakhomov
April 8, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 1, 2019 (Mon) |
|
| 123. |
О первопорядковой выразимости выполнимости в подмоделях
D. I. Saveliev
April 1, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 25, 2019 (Mon) |
|
| 124. |
Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
V. B. Shehtman
March 25, 2019 20:55, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 18, 2019 (Mon) |
|
| 125. |
Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
V. B. Shehtman
March 18, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 4, 2019 (Mon) |
|
| 126. |
Модели исчисления Ламбека с субэкпоненциалами
Daniel Rogozin
March 4, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 25, 2019 (Mon) |
|
| 127. |
Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича
Kozhemiachenko Daniil
February 25, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 18, 2019 (Mon) |
|
| 128. |
Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких
вопросах
D. I. Saveliev
February 18, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 11, 2019 (Mon) |
|
| 129. |
О работе Й. Маковского "Can one design a geometry engine?"
Ann Dmitrieva
February 11, 2019 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 17, 2018 (Mon) |
|
| 130. |
Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка
A. S. Gerasimov
December 17, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 26, 2018 (Mon) |
|
| 131. |
О новом методе ординального анализа теории множеств Крипке-Платека
F. N. Pakhomov
November 26, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 12, 2018 (Mon) |
|
| 132. |
О новом методе ординального анализа теории множеств Крипке-Платека
F. N. Pakhomov
November 12, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 29, 2018 (Mon) |
|
| 133. |
Неразрешимость логики решёток Клини с делениями
S. L. Kuznetsov
October 29, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 22, 2018 (Mon) |
|
| 134. |
"Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
October 22, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 15, 2018 (Mon) |
|
| 135. |
"Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
October 15, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 8, 2018 (Mon) |
|
| 136. |
О модальных напарниках K4
M. V. Svyatlovskiy
October 8, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 1, 2018 (Mon) |
|
| 137. |
Системы инцидентности на декартовых степенях алгебраических кривых
October 1, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 24, 2018 (Mon) |
|
| 138. |
Системы инцидентности на декартовых степенях алгебраических кривых
Dmitry Sustretov
September 24, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 10, 2018 (Mon) |
|
| 139. |
Glivenko's theorem, finite height, and local finiteness
I. B. Shapirovsky
September 10, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
June 18, 2018 (Mon) |
|
| 140. |
О субквадратичных функциях сложности выводов для односторонних систем Туэ
A. L. Talambutsa
June 18, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
June 14, 2018 (Thu) |
|
| 141. |
Subexponentials in non-commutative linear logic
A. Scedrov
June 14, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 28, 2018 (Sat) |
|
| 142. |
Об устранении сечения для модальной логики транзитивного замыкания
D. S. Shamkanov
April 28, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 23, 2018 (Mon) |
|
| 143. |
Нефундированные выводы для логики Go
Yu. V. Savateev
April 23, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 9, 2018 (Mon) |
|
| 144. |
Бесконечные ветви в разрешимых деревьях
S. F. Soprunov
April 9, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 26, 2018 (Mon) |
|
| 145. |
Об аксиоме ограниченности в слабых теориях множеств
F. N. Pakhomov
March 26, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 5, 2018 (Mon) |
|
| 146. |
Определимые элементы определимых множеств
V. G. Kanovei
March 5, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 26, 2018 (Mon) |
|
| 147. |
Определимые элементы определимых множеств
V. G. Kanovei
February 26, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 12, 2018 (Mon) |
|
| 148. |
О языках геометрии и понимании геометрических фактов
G. B. Shabat
February 12, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 5, 2018 (Mon) |
|
| 149. |
О языках геометрии и понимании геометрических фактов
G. B. Shabat
February 5, 2018 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 18, 2017 (Mon) |
|
| 150. |
О некоторых результатах о принципах рефлексии в арифметике
F. N. Pakhomov
December 18, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 30, 2017 (Mon) |
|
| 151. |
Аксиоматизация доказуемой 1-доказуемости
E. A. Kolmakov
October 30, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 9, 2017 (Mon) |
|
| 152. |
Об индукции в теориях итерированных определений истины
F. N. Pakhomov
October 9, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 2, 2017 (Mon) |
|
| 153. |
Об индукции в теориях итерированных определений истины
F. N. Pakhomov
October 2, 2017 18:35, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
July 10, 2017 (Mon) |
|
| 154. |
О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
I. B. Shapirovsky
July 10, 2017 16:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 29, 2017 (Mon) |
|
| 155. |
Формализм для некоторых свойств из первого курса топологии
M. R. Gavrilovich
May 29, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 15, 2017 (Mon) |
|
| 156. |
О неизоморфизме алгебр Магари для PA и ZF
May 15, 2017 18:35, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 24, 2017 (Mon) |
|
| 157. |
The reverse mathematics of decidability results for monadic second order logic
Leszek Kolodziejczyk
April 24, 2017 18:45, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 10, 2017 (Mon) |
|
| 158. |
О вычислительных аспектах теории истины по Крипке
S. O. Speranski
April 10, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 3, 2017 (Mon) |
|
| 159. |
Цепи из утверждений о медленной непротиворечивости
F. N. Pakhomov
April 3, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 13, 2017 (Mon) |
|
| 160. |
Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
L. D. Beklemishev
March 13, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 6, 2017 (Mon) |
|
| 161. |
Семантика металогики. (Часть 2)
S. A. Melikhov
March 6, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 27, 2017 (Mon) |
|
| 162. |
Семантика металогики. (Часть 1)
S. A. Melikhov
February 27, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 20, 2017 (Mon) |
|
| 163. |
Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)
Kolmakov E.A.
February 20, 2017, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 13, 2017 (Mon) |
|
| 164. |
Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 1)
Kolmakov E.A.
February 13, 2017 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 26, 2016 (Mon) |
|
| 165. |
Об аксиоматизации строго позитивных фрагментов модальных логик
M. Zakharyaschev, S. P. Kikot'
December 26, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 19, 2016 (Mon) |
|
| 166. |
О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
F. N. Pakhomov
December 19, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 5, 2016 (Mon) |
|
| 167. |
Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера
Zapryagaev A. A.
December 5, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 28, 2016 (Mon) |
|
| 168. |
О позитивной логике доказуемости с операторами консервативности
L. D. Beklemishev
November 28, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 21, 2016 (Mon) |
|
| 169. |
О позитивной логике доказуемости с операторами консервативности
L. D. Beklemishev
November 21, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 7, 2016 (Mon) |
|
| 170. |
Логики теоретико-модельных конструкций: логика подмоделей, часть 1
D. I. Saveliev
November 7, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 31, 2016 (Mon) |
|
| 171. |
Логики теоретико-модельных конструкций: логика подмоделей, часть 1
D. I. Saveliev
October 31, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 17, 2016 (Mon) |
|
| 172. |
Полиномиальный алгоритм распознавания выводимости в строго позитивной логике линейных порядков
Svyatlovsky M.
October 17, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 10, 2016 (Mon) |
|
| 173. |
Строго позитивная логика конечных линейных порядков, продолжение
Svyatlovsky, M.
October 10, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 3, 2016 (Mon) |
|
| 174. |
Строго позитивная логика конечных линейных порядков
Svyatlovsky M.
October 3, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 26, 2016 (Mon) |
|
| 175. |
О новом доказательстве теоремы Соловея
F. N. Pakhomov
September 26, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 23, 2016 (Mon) |
|
| 176. |
Constructive modal logic that is similar to provability logic GL
D. S. Shamkanov
May 23, 2016, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
May 16, 2016 (Mon) |
|
| 177. |
Формальная металогика логик первого порядка и её формальная семантика
S. A. Melikhov
May 16, 2016, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 18, 2016 (Mon) |
|
| 178. |
On automatic groups and their generalizations
A. L. Talambutsa
April 18, 2016, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
April 4, 2016 (Mon) |
|
| 179. |
On Feferman's second conjecture
Michael Rathjen
April 4, 2016, Moscow, Steklov Mathematical Institute of RAS, Conference Hall (8 Gubkina), Moscow
|
|
|
|
|
|
|
March 28, 2016 (Mon) |
|
| 180. |
The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 28, 2016, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 21, 2016 (Mon) |
|
| 181. |
The operator dual to Cantor derivative and weak separability axioms
D. I. Saveliev
March 21, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
March 14, 2016 (Mon) |
|
| 182. |
О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение)
L. D. Beklemishev
March 14, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 29, 2016 (Mon) |
|
| 183. |
О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016
L. D. Beklemishev
February 29, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
February 15, 2016 (Mon) |
|
| 184. |
Биинтерпретируемость для расширений ZF
F. N. Pakhomov
February 15, 2016 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 28, 2015 (Mon) |
|
| 185. |
Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
December 28, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
December 14, 2015 (Mon) |
|
| 186. |
Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Yu. V. Savateev
December 14, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 30, 2015 (Mon) |
|
| 187. |
Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2
A. A. Zapryagaev
November 30, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 23, 2015 (Mon) |
|
| 188. |
Логика интерпретируемости. Часть 2
L. D. Beklemishev
November 23, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 16, 2015 (Mon) |
|
| 189. |
Логика интерпретируемости. Часть 1
L. D. Beklemishev
November 16, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
November 9, 2015 (Mon) |
|
| 190. |
Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1
A. A. Zapryagaev
November 9, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 26, 2015 (Mon) |
|
| 191. |
Итерации медленной непротиворечивости. Часть 2
F. N. Pakhomov
October 26, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 19, 2015 (Mon) |
|
| 192. |
Итерации медленной непротиворечивости. Часть 1
F. N. Pakhomov
October 19, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
October 5, 2015 (Mon) |
|
| 193. |
О независимых принципах в совместной логике задач и высказываний. Часть 2
S. A. Melikhov
October 5, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 28, 2015 (Mon) |
|
| 194. |
О независимых принципах в совместной логике задач и высказываний. Часть 1
S. A. Melikhov
September 28, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
September 7, 2015 (Mon) |
|
| 195. |
Некоторые новые результаты в монадической арифметике второго порядка
S. O. Speranski
September 7, 2015 18:30, Moscow, Steklov Mathematical Institute (8 Gubkina), room 313 + Zoom
|
|
|
|
|
|
|
Contact us: