|
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
МИАН (ул. Губкина, 8), ауд. 313 + Zoom, г. Москва
|
Семинар проходит по понедельникам в 16:00, ауд. 313 (МИАН, ул. Губкина, 8) + Zoom. Мы стремимся чередовать очных и онлайн докладчиков. В дальнейшем записи докладов будут выкладываться здесь и на YouTube канале МЦМУ МИАН. Присоединиться к очередной конференции можно по спискам рассылки в объявлениях на английской странице этого семинара.
 Объявления
C 16.09.24 семинар будет проходить по понедельникам, начало в 16:00, ауд. 313 МИАН.
Предстоящие доклады
21.10.2024 Carlos Zapata-Carratalá (Society for Multidisciplinary and Fundamental Research; Wolfram Foundation):
Higher-arity algebras and hypergraphs (online)
Нестандартное время: этот доклад будет в 18:00 по московскому времени, только через Zoom (чисто онлайн).
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: в эту дату семинара не будет.
Прошедшие доклады
Записи докладов можно найти в конце этой страницы
07.10.2024 Лев Дворкин (МГУ, 6 курс):
Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL. (очный)
30.09.2024 В.И. Данилов (ЦЭМИ РАН): Алгебры Магари и функции выбора Плотта (очный)
23.09.2024 В.Б. Шехтман (НИУ ВШЭ, МФТИ): Полнота для модальных предикатных логик (очный)
16.09.2024 М.В. Зубков (КФУ, Казань): Вычислимые линейно упорядоченные структуры (очный)
27.05.2024 А.В. Кудинов (ИППИ РАН, НИУ ВШЭ): Сложность ненормальных логик и логики с подсчетом применения аксиом (очный доклад)
21.05.2024 совместно с семинаром С.И. Адяна (вторник, 18:30 MSK).
David Fernández-Duque (Univeristy of Barcelona):
Provable well-orders and hyperarithmetical soundness (онлайн)
13.05.2024 Ali Enayat (Гётеборгский университет): Categoricity-like properties in the first order realm (online)
22.04.2024 И.Б. Шапировский (ИППИ, Университет Нью-Мексико):
Фильтрации некоторых предтранзитивных логик (онлайн)
15.04.2024 Saeed Salehi (Tabriz University): How (not) to compute the halting probability or validate the heuristic principle (онлайн)
01 и 08.04.2024 Н. Баженов (НГУ), И. Калимуллин (КФУ):
Punctual structures, automatic structures and index sets (очный доклад)
25.03.2024 С.О. Сперанский (МИАН): Об элементарной теории безатомных вероятностных пространств (очный доклад)
18.03.2024 Д. Шамканов (МИАН) и П. Разумный (МФТИ, магистрант): О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств (очный доклад)
11.03.2024 С.Л. Кузнецов (МИАН): Неразрешимость теории алгебр Клини с условиями коммутативности
04.03.2024 T. Kurahashi (Университет Кобе, Япония): Modal logics of provability predicates
26.02.2024 В.С. Секорин (ТвГУ): Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем.
12.02 и 19.02.2024 Лев Дворкин (МГУ, 5 курс): О финитной аппроксимируемости одного класса предтранзитивных логик.
18.12.2023 Zoran Ognjanović (Matematički institut SANU, Beograd, Srbija): Logics with Probability Operators. Completeness and Decidability
04.12 и 11.12.2023 Juan Aguilera (Vienna University of Technology): Dilators and $\Pi_2^1$-ordinal analysis (продолжение)
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 Сергей Славнов (НИУ ВШЭ): Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики.
6.11.2023 Juan Aguilera (Vienna University of Technology): Dilators and $\Pi_2^1$-ordinal analysis
23.10.2023 С.П. Одинцов (Институт математики им. С.Л. Соболева СО РАН, г. Новосибирск): Конструктивная логика N4 и коннексивная C: сходства и различия
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 Н. Лукашов (НИУ ВШЭ, магистрант): О проблеме унификации для полимодальной логики доказуемости
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 А.Л. Семёнов (МГУ): Примеры и вопросы для решеток определимости
18.04.2023 С.Л. Кузнецов (МИАН): Алгоритмические вопросы для субструктурных логик с итерацией Клини
11.04.2023 И.Ш. Калимуллин (КФУ, Казань): The degrees of relative computable categoricity
4.04.2023 Н.А. Баженов (ИМ СО РАН, Новосибирск): Learning for families of algebraic structures
20 и 27.03.2022 Fedor Pakhomov (Steklov Mathematical Institute and Ghent University): Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of Π¹₁-CA₀.
06.03.2023 М.Н. Рыбаков (Тверской Государственный Университет и ИППИ РАН): Алгоритмическая сложность неклассических логик унарного предиката.
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 (Универзитет у Новом Саду, Сербия): Kripke-style semantics in typed lambda calculus, combinatory logic and more.
05.12.2022 Carl-Fredrik Nyberg-Brodda (Université Gustave Eiffel, Париж): The Dehn functions of a class of one-relation monoids
28.11.2022 В.Б. Шехтман (ИППИ РАН, НИУ ВШЭ, МГУ): Симплициальные модели модальных логик предикатов
21.11.2022 Ф.Н. Пахомов (МИАН и Гентский университет): How to escape Tennenbaum's Theorem?
14.11.2022 Андрей Кудинов (ИППИ РАН): Строго позитивные фрагменты модальных логик с направленностью.
07-11.11.2022 Вторая конференция Математических центров России. Секция «Математическая логика и теоретическая информатика».
31.10.2022 Л.Д. Беклемишев (МИАН): О крайзелевском уточнении концепции финитизма. Лекция на конференции Formal Philosophy 2022 в традиционное время семинара.
17.10.2022 и 24.10.2022 Данияр Шамканов (МИАН): О циклических доказательствах в классической логике первого порядка с индуктивными определениями.
10.10.2022 Arnon Avron (Tel Aviv): The Active Role of Language Extensions in Mathematical Reasoning.
03.10.2022 Константин Ковалёв (МФТИ): О фрагментах арифметики Пеано с бескванторной схемой индукции.
26.09.2022 Лев Дворкин (МГУ): О логике доказуемости арифметики Нибергалля.
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 Александр Запрягаев (НИУ ВШЭ и МИАН): Интерпретации арифметик Бюхи в себе.
16.05.2022 Д.И. Савельев (ИППИ РАН): О модальных логиках теоретико-модельных отношений.
25.04.2022 Anupam Das (University of Birmingham): A circular version of Gödel's T and its abstraction complexity.
18.04.2022 Сергей Дудаков (ТвГУ): Алгоритмические свойства алгебр подмножеств.
11.04.2022 Александр Козачинский (МИАН): Популяционные протоколы и арифметика Пресбургера.
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 Анастасия Оноприенко (МГУ): О топологических моделях логик HC и H4.
14.02.2022 Igor Sedlár (Czech Academy of Sciences, Institute of Computer Science): Substructural Logics of Programs
07.02.2022 Тихон Пшеницын (МГУ): Гиперграфовое обобщение исчисления Ламбека и операции, выразимые в нем (на русском языке)
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 Константин Ковалев (МФТИ): Модели бескванторной индукции для языка арифметики с экспонентой
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 В.Л. Селиванов (ИСИ им. А.П. Ершова СО РАН и НГУ): Primitive Recursive Ordered Fields and Some Applications
7-11.06.2021: Logical Perspectives 2021 Conference, для участия регистрируйтесь на сайте конференции.
24.05.2021 И.Б. Шапировский (ИППИ РАН и New Mexico State University): О финитной аппроксимируемости и сложности логик сумм шкал Крипке
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 Максим Вишникин (МГУ): Базовые категориальные грамматики с однозначным присвоением типов
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
 Руководитель семинара
Беклемишев Лев Дмитриевич
Финансовая поддержка
Семинар проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2022-265).
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН) |
|
| Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", г. Москва |
|
|
21 октября 2024 г. (пн) |
 |
| 1. |
Higher-arity algebras and hypergraphs
Carlos Zapata-Carratalá
21 октября 2024 г. 18:00, г. Москва, Online
|
|
|
|
|
|
|
7 октября 2024 г. (пн) |
|
| 2. |
Об интерпретации нормальных модальных логик и аддитивных формулах в S4, S5, Grz, K и GL
Л. В. Дворкин
7 октября 2024 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
30 сентября 2024 г. (пн) |
|
| 3. |
Алгебры Магари и функции выбора Плотта
В. И. Данилов
30 сентября 2024 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
23 сентября 2024 г. (пн) |
|
| 4. |
Полнота для модальных предикатных логик
V. B. Shehtman
23 сентября 2024 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
16 сентября 2024 г. (пн) |
|
| 5. |
Вычислимые линейно упорядоченные структуры
М. В. Зубков
16 сентября 2024 г. 16:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
27 мая 2024 г. (пн) |
|
| 6. |
Сложность ненормальных логик и логики с подсчетом применения аксиом
А. В. Кудинов
27 мая 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
21 мая 2024 г. (вт) |
|
| 7. |
Provable well-orders and hyperarithmetical soundness
D. Fernández-Duque
21 мая 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
13 мая 2024 г. (пн) |
|
| 8. |
Categoricity-like properties in the first order realm
A. Enayat
13 мая 2024 г. 19:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
22 апреля 2024 г. (пн) |
|
| 9. |
Фильтрации некоторых предтранзитивных логик
И. Б. Шапировский
22 апреля 2024 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
15 апреля 2024 г. (пн) |
|
| 10. |
How (not) to Compute the Halting Probability or Validate the Heuristic Principle
S. Salehi
15 апреля 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
8 апреля 2024 г. (пн) |
|
| 11. |
Punctual structures, automatic structures and index sets. Part 2
N. A. Bazhenov, I. Sh. Kalimullin
8 апреля 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
1 апреля 2024 г. (пн) |
|
| 12. |
Punctual structures, automatic structures and index sets. Part 1
N. A. Bazhenov, I. Sh. Kalimullin
1 апреля 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
25 марта 2024 г. (пн) |
|
| 13. |
Об элементарной теории безатомных вероятностных пространств
С. О. Сперанский
25 марта 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 марта 2024 г. (пн) |
|
| 14. |
О расширении модального исчисления предикатов QGL с помощью нефундированных доказательств
Д. С. Шамканов, П. Разумный
18 марта 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
11 марта 2024 г. (пн) |
|
| 15. |
Неразрешимость теории алгебр Клини с условиями коммутативности
С. Л. Кузнецов
11 марта 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
4 марта 2024 г. (пн) |
|
| 16. |
Modal logics of provability predicates
Taishi Kurahashi
4 марта 2024 г. 14:30, г. Москва, online
|
|
|
|
|
|
|
26 февраля 2024 г. (пн) |
|
| 17. |
Выразительные возможности оператора частичной неподвижной точки для конечных и бесконечных систем
В. С. Секорин
26 февраля 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
19 февраля 2024 г. (пн) |
|
| 18. |
О финитной аппроксимируемости одного класса предтранзитивных логик (продолжение)
Л. В. Дворкин
19 февраля 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
12 февраля 2024 г. (пн) |
|
| 19. |
О финитной аппроксимируемости одного класса предтранзитивных логик
Л. В. Дворкин
12 февраля 2024 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 декабря 2023 г. (пн) |
|
| 20. |
Logics with Probability Operators. Completeness and Decidability
Z. Ognjanović
18 декабря 2023 г. 18:30, г. Москва, Zoom
|
|
|
|
|
|
|
11 декабря 2023 г. (пн) |
|
| 21. |
Dilators and $\Pi_2^1$-ordinal analysis, Part III
J. P. Aguilera
11 декабря 2023 г. 18:30, г. Москва, Zoom
|
|
|
|
|
|
|
4 декабря 2023 г. (пн) |
|
| 22. |
Dilators and $\Pi_2^1$-ordinal analysis (continuation)
J. P. Aguilera
4 декабря 2023 г. 18:30, г. Москва, Zoom
|
|
|
|
|
|
|
27 ноября 2023 г. (пн) |
|
| 23. |
On finitely presented expansions of semigroups, groups, and algebras
B. Khoussainov
27 ноября 2023 г. 14:00, г. Москва, Zoom
|
|
|
|
|
|
|
20 ноября 2023 г. (пн) |
|
| 24. |
Логика тензорных термов для категориальных грамматик: простое объединение коммутативных и некоммутативных операций линейной логики
С. А. Славнов
20 ноября 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
6 ноября 2023 г. (пн) |
|
| 25. |
Dilators and $\Pi_2^1$-ordinal analysis
J. P. Aguilera
6 ноября 2023 г. 18:30, г. Москва, Zoom
|
|
|
|
|
|
|
23 октября 2023 г. (пн) |
|
| 26. |
Конструктивная логика N4 и коннексивная C: сходства и различия
С. П. Одинцов
23 октября 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
16 октября 2023 г. (пн) |
|
| 27. |
Andrews skolemization may shorten proofs non-elementarily
M. Baaz
16 октября 2023 г. 18:30, г. Москва, Zoom
|
|
|
|
|
|
|
2 октября 2023 г. (пн) |
|
| 28. |
General topological frames for polymodal provability logic based on periodic sets of ordinals
L. D. Beklemishev, Yunsong Wang
2 октября 2023 г. 18:30, г. Москва, Zoom
|
|
|
|
|
|
|
25 сентября 2023 г. (пн) |
|
| 29. |
О проблеме унификации для полимодальной логики доказуемости
Н. Лукашов
25 сентября 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 сентября 2023 г. (пн) |
|
| 30. |
Computational expressivity of (circular) proofs with fixed points
A. Das
18 сентября 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
23 мая 2023 г. (вт) |
|
| 31. |
Non-linearities in the analytical hierarchy
J. P. Aguilera
23 мая 2023 г. 18:30, г. Москва, Zoom
|
|
|
|
|
|
|
16 мая 2023 г. (вт) |
|
| 32. |
Примеры и вопросы для решеток определимости
А. Л. Семёнов
16 мая 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 апреля 2023 г. (вт) |
|
| 33. |
Алгоритмические вопросы для субструктурных логик с итерацией Клини
С. Л. Кузнецов
18 апреля 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
11 апреля 2023 г. (вт) |
|
| 34. |
The degrees of relative computable categoricity
I. Sh. Kalimullin
11 апреля 2023 г. 18:30, г. Москва, Zoom
|
|
|
|
|
|
|
4 апреля 2023 г. (вт) |
|
| 35. |
Learning for families of algebraic structures
N. A. Bazhenov
4 апреля 2023 г. 18:30, г. Москва, МИАН, комн. 110 (ул. Губкина, 8) + Zoom
|
|
|
|
|
|
|
27 марта 2023 г. (пн) |
|
| 36. |
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$ (continuation)
F. N. Pakhomov
27 марта 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
20 марта 2023 г. (пн) |
|
| 37. |
Dilators, Reflection, and Forcing: A Proof-Theoretic Analysis of $\Pi^1_1-\mathsf{CA}_0$
F. N. Pakhomov
20 марта 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
6 марта 2023 г. (пн) |
|
| 38. |
Алгоритмическая сложность неклассических логик унарного предиката
М. Н. Рыбаков
6 марта 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
20 февраля 2023 г. (пн) |
|
| 39. |
Bit-Complexity of Classical Solutions of Linear Evolutionary Systems of Partial Differential Equations (continuation)
Martin Ziegler
20 февраля 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
13 февраля 2023 г. (пн) |
|
| 40. |
Bit-Complexity of Classical Solutions of Linear Evolutionary Systems of Partial Differential Equations
Martin Ziegler
13 февраля 2023 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
12 декабря 2022 г. (пн) |
|
| 41. |
Kripke-style semantics in typed lambda calculus, combinatory logic and more
Silvia Ghilezan
12 декабря 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
5 декабря 2022 г. (пн) |
|
| 42. |
The Dehn functions of a class of one-relation monoids
Carl-Fredrik Nyberg-Brodda
5 декабря 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
28 ноября 2022 г. (пн) |
|
| 43. |
Симплициальные модели модальных логик предикатов
В. Б. Шехтман
28 ноября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
21 ноября 2022 г. (пн) |
|
| 44. |
How to escape Tennenbaum's Theorem?
F. N. Pakhomov
21 ноября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
14 ноября 2022 г. (пн) |
|
| 45. |
Строго позитивные фрагменты модальных логик с направленностью
А. В. Кудинов
14 ноября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
24 октября 2022 г. (пн) |
|
| 46. |
О циклических доказательствах в классической логике первого порядка с индуктивными определениями (продолжение)
Д. С. Шамканов
24 октября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
17 октября 2022 г. (пн) |
|
| 47. |
О циклических доказательствах в классической логике первого порядка с индуктивными определениями
Д. С. Шамканов
17 октября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
10 октября 2022 г. (пн) |
|
| 48. |
The Active Role of Language Extensions in Mathematical Reasoning
Arnon Avron
10 октября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
3 октября 2022 г. (пн) |
|
| 49. |
О фрагментах арифметики Пеано с бескванторной схемой индукции
Константин Ковалёв
3 октября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
26 сентября 2022 г. (пн) |
|
| 50. |
О логике доказуемости арифметики Нибергалля
Лев Дворкин
26 сентября 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
20 июня 2022 г. (пн) |
|
| 51. |
On provability logic of HA (continuation)
Mojtaba Mojtahedi
20 июня 2022 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
6 июня 2022 г. (пн) |
|
| 52. |
The strength of some consequences of RT22 over RCA∗0
Marta Fiori Carones
6 июня 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
2 июня 2022 г. (чт) |
|
| 53. |
On provability logic of HA (continuation)
Mojtaba Mojtahedi
2 июня 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
30 мая 2022 г. (пн) |
|
| 54. |
On provability logic of HA
Mojtaba Mojtahedi
30 мая 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
23 мая 2022 г. (пн) |
|
| 55. |
Интерпретации арифметик Бюхи в себе
А. А. Запрягаев
23 мая 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
16 мая 2022 г. (пн) |
|
| 56. |
О модальных логиках теоретико-модельных отношений
Д. И. Савельев
16 мая 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
25 апреля 2022 г. (пн) |
|
| 57. |
A circular version of Gödel's T and its abstraction complexity
Anupam Das
25 апреля 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 апреля 2022 г. (пн) |
|
| 58. |
Алгоритмические свойства алгебр подмножеств
С. М. Дудаков
18 апреля 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
11 апреля 2022 г. (пн) |
|
| 59. |
Популяционные протоколы и арифметика Пресбургера
А. Н. Козачинский
11 апреля 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
4 апреля 2022 г. (пн) |
|
| 60. |
Some definable counterexamples in models of set theory
V. G. Kanovei
4 апреля 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
28 марта 2022 г. (пн) |
|
| 61. |
Reading Kreisel: what we do (not) understand
Л. Д. Беклемишев
28 марта 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
14 марта 2022 г. (пн) |
|
| 62. |
Conservativity spectra and generalized Ignatiev model
L. D. Beklemishev
14 марта 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
21 февраля 2022 г. (пн) |
|
| 63. |
О топологических моделях логик HC и H4
А. А. Оноприенко
21 февраля 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
14 февраля 2022 г. (пн) |
|
| 64. |
Substructural Logics of Programs
Igor Sedlár
14 февраля 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
7 февраля 2022 г. (пн) |
|
| 65. |
Гиперграфовое обобщение исчисления Ламбека и операции, выразимые в нем
Тихон Пшеницын
7 февраля 2022 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
20 декабря 2021 г. (пн) |
|
| 66. |
Interpreters as consistoids (continuation)
A. Visser
20 декабря 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
6 декабря 2021 г. (пн) |
|
| 67. |
Logical foundations of causal inference
T. Icard
6 декабря 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
22 ноября 2021 г. (пн) |
|
| 68. |
Interpreters as consistoids
A. Visser
22 ноября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
15 ноября 2021 г. (пн) |
|
| 69. |
The Došen Square under construction: A tale of four modalities
M. Mendler
15 ноября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
8 ноября 2021 г. (пн) |
|
| 70. |
Модели бескванторной индукции для языка арифметики с экспонентой
К. Ковалев
8 ноября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
25 октября 2021 г. (пн) |
|
| 71. |
An incompleteness theorem via ordinal analysis
J. Walsh
25 октября 2021 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
18 октября 2021 г. (пн) |
|
| 72. |
Strictly positive fragments of K4 and its extensions
M. V. Svyatlovskiy
18 октября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
11 октября 2021 г. (пн) |
|
| 73. |
The two halves of disjunctive correctness for the compositional truth predicate
M. Łełyk
11 октября 2021 г. 18:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
4 октября 2021 г. (пн) |
|
| 74. |
Primitive Recursive Ordered Fields and Some Applications
V. L. Selivanov
4 октября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
24 мая 2021 г. (пн) |
|
| 75. |
О финитной аппроксимируемости и сложности логик сумм шкал Крипке
И. Б. Шапировский
24 мая 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
12 апреля 2021 г. (пн) |
|
| 76. |
Generalized Fusible Numbers
F. N. Pakhomov
12 апреля 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
22 марта 2021 г. (пн) |
|
| 77. |
Quantified reflection calculus with one modality is decidable
Joost J. Joosten
22 марта 2021 г. 18:30, г. Москва, online (Zoom)
|
|
|
|
|
|
|
15 марта 2021 г. (пн) |
|
| 78. |
Logics of Imprecise Comparative Probability
W. H. Holliday
15 марта 2021 г. 19:00, г. Москва, online (Zoom)
|
|
|
|
|
|
|
1 марта 2021 г. (пн) |
|
| 79. |
Базовые категориальные грамматики с однозначным присвоением типов
М. Е. Вишникин
1 марта 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
15 февраля 2021 г. (пн) |
|
| 80. |
Automated Mathematical Theorem Proving
Wei Chen
15 февраля 2021 г. 18:30, г. Москва, online (Zoom)
|
|
|
|
|
|
|
18 января 2021 г. (пн) |
|
| 81. |
The role of uniform interpolation in structural proof theory
R. Iemhoff
18 января 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
21 декабря 2020 г. (пн) |
|
| 82. |
Cyclic Henkin Logic (continuation)
A. Visser
21 декабря 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
14 декабря 2020 г. (пн) |
|
| 83. |
Cyclic Henkin Logic
A. Visser
14 декабря 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
7 декабря 2020 г. (пн) |
|
| 84. |
Describable Nuclea, Negative Translations and Extension Stability (continuation)
Tadeusz Litak
7 декабря 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
30 ноября 2020 г. (пн) |
|
| 85. |
Describable Nuclea, Negative Translations and Extension Stability
Tadeusz Litak
30 ноября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
23 ноября 2020 г. (пн) |
|
| 86. |
Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities
Guram Bezhanishvili
23 ноября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
9 ноября 2020 г. (пн) |
|
| 87. |
Language-theoretic models for the Full Lambek calculus
Christian Wurm
9 ноября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
2 ноября 2020 г. (пн) |
|
| 88. |
Axiomatizing Origami planes
Anna Dmitrieva
2 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
|
26 октября 2020 г. (пн) |
|
| 89. |
Decidable fragments of the Lambek calculus with subexponentials
S. L. Kuznetsov
26 октября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
19 октября 2020 г. (пн) |
|
| 90. |
Iterated $\omega$-model reflection and $\Pi^1_2$ proof-theoretic analysis
F. N. Pakhomov
19 октября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
12 октября 2020 г. (пн) |
|
| 91. |
Set theory with a proper class of indiscernibles
A. Enayat
12 октября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
13 июля 2020 г. (пн) |
|
| 92. |
A more uniform Friedberg-Muchnik theorem
David Belanger
13 июля 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
6 июля 2020 г. (пн) |
|
| 93. |
Giant and illusionary giant Goodstein principles
Andreas Weiermann
6 июля 2020 г. 17:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
22 июня 2020 г. (пн) |
|
| 94. |
О глобальной окрестностной полноте логики доказуемости GLP
Д. С. Шамканов
22 июня 2020 г. 17:30, г. Москва, online
|
|
|
|
|
|
|
18 мая 2020 г. (пн) |
|
| 95. |
Fusible numbers and Peano Arithmetic
Gabriel Nivasch
18 мая 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
4 мая 2020 г. (пн) |
|
| 96. |
Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday)
Johann Makowsky
4 мая 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
27 апреля 2020 г. (пн) |
|
| 97. |
Existence of measurable cardinals and modal logic
Guram Bezhanishvili
27 апреля 2020 г. 17:30, г. Москва, online
|
|
|
|
|
|
|
20 апреля 2020 г. (пн) |
|
| 98. |
Negation as a modality in a quantified setting
S. O. Speranski
20 апреля 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
13 апреля 2020 г. (пн) |
|
| 99. |
On Free $\omega$-Continuous and Regular Ordered Algebras
Dexter Kozen
13 апреля 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
6 апреля 2020 г. (пн) |
|
| 100. |
Goodstein principles of intermediate strength
D. Fernández-Duque
6 апреля 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
23 марта 2020 г. (пн) |
|
| 101. |
On the logical complexity of cyclic arithmetic
Anupam Das
23 марта 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
|
16 марта 2020 г. (пн) |
|
| 102. |
Предикатный вариант совместной логики задач и высказываний
А. А. Оноприенко
16 марта 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
2 марта 2020 г. (пн) |
|
| 103. |
О принципах редукции и отделимости в тихоновских пространствах.
Д. И. Савельев
2 марта 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
17 февраля 2020 г. (пн) |
|
| 104. |
From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri
17 февраля 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
16 декабря 2019 г. (пн) |
|
| 105. |
Decidable and undecidable problems for modal definability and first-order definability
Philippe Balbiani
16 декабря 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
9 декабря 2019 г. (пн) |
|
| 106. |
Об окрестностной семантике логики доказуемости Линдстрёма
D. S. Shamkanov
9 декабря 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
2 декабря 2019 г. (пн) |
|
| 107. |
Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
А. А. Запрягаев
2 декабря 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
25 ноября 2019 г. (пн) |
|
| 108. |
Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
А. А. Запрягаев
25 ноября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
11 ноября 2019 г. (пн) |
|
| 109. |
Determined admissible sets
Juan Aguilera
11 ноября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
28 октября 2019 г. (пн) |
|
| 110. |
Бар-индукция для классов в арифметике второго порядка
Ф. Н. Пахомов
28 октября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
21 октября 2019 г. (пн) |
|
| 111. |
Бар-индукция для классов в арифметике второго порядка
Ф. Н. Пахомов
21 октября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
14 октября 2019 г. (пн) |
|
| 112. |
Об открытых вопросах теории доказательств
Л. Д. Беклемишев
14 октября 2019 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
7 октября 2019 г. (пн) |
|
| 113. |
Локали, ядра и шкалы Драгалина. Лекция 2.
Д. Д. Рогозин
7 октября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
30 сентября 2019 г. (пн) |
|
| 114. |
Локали, ядра и шкалы Драгалина
Д. Д. Рогозин
30 сентября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
28 августа 2019 г. (ср) |
|
| 115. |
Локально конечные модальные алгебры и фильтрации моделей Крипке
И. Б. Шапировский
28 августа 2019 г. 17:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
24 июня 2019 г. (пн) |
|
| 116. |
О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
Е. А. Колмаков
24 июня 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
20 мая 2019 г. (пн) |
|
| 117. |
О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
Е. А. Колмаков
20 мая 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
13 мая 2019 г. (пн) |
|
| 118. |
How strong are derivatives of normal functions?
Антон Фройнд
13 мая 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
29 апреля 2019 г. (пн) |
|
| 119. |
Итерированные определения истинности и исчисление рефлексий
Л. Д. Беклемишев
29 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
22 апреля 2019 г. (пн) |
|
| 120. |
Итерированные определения истинности и исчисление рефлексий
22 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
15 апреля 2019 г. (пн) |
|
| 121. |
Итерации $\Pi^1_1$-рефлексии
Ф. Н. Пахомов
15 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
8 апреля 2019 г. (пн) |
|
| 122. |
Итерации $\Pi^1_1$-рефлексии
Ф. Н. Пахомов
8 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
1 апреля 2019 г. (пн) |
|
| 123. |
О первопорядковой выразимости выполнимости в подмоделях
Д. И. Савельев
1 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
25 марта 2019 г. (пн) |
|
| 124. |
Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
В. Б. Шехтман
25 марта 2019 г. 20:55, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 марта 2019 г. (пн) |
|
| 125. |
Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
В. Б. Шехтман
18 марта 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
4 марта 2019 г. (пн) |
|
| 126. |
Модели исчисления Ламбека с субэкпоненциалами
Рогозин Даниил Дмитриевич
4 марта 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
25 февраля 2019 г. (пн) |
|
| 127. |
Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича
Кожемяченко Даниил Андреевич
25 февраля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 февраля 2019 г. (пн) |
|
| 128. |
Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких
вопросах
Д. И. Савельев
18 февраля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
11 февраля 2019 г. (пн) |
|
| 129. |
О работе Й. Маковского "Can one design a geometry engine?"
Анна Дмитриева
11 февраля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
17 декабря 2018 г. (пн) |
|
| 130. |
Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка
А. С. Герасимов
17 декабря 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
26 ноября 2018 г. (пн) |
|
| 131. |
О новом методе ординального анализа теории множеств Крипке-Платека
Ф. Н. Пахомов
26 ноября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
12 ноября 2018 г. (пн) |
|
| 132. |
О новом методе ординального анализа теории множеств Крипке-Платека
Ф. Н. Пахомов
12 ноября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
29 октября 2018 г. (пн) |
|
| 133. |
Неразрешимость логики решёток Клини с делениями
С. Л. Кузнецов
29 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
22 октября 2018 г. (пн) |
|
| 134. |
"Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
22 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
15 октября 2018 г. (пн) |
|
| 135. |
"Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
15 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
8 октября 2018 г. (пн) |
|
| 136. |
О модальных напарниках K4
М. В. Святловский
8 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
1 октября 2018 г. (пн) |
|
| 137. |
Системы инцидентности на декартовых степенях алгебраических кривых
Дмитрий Сустретов
1 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
24 сентября 2018 г. (пн) |
|
| 138. |
Системы инцидентности на декартовых степенях алгебраических кривых
Дмитрий Сустретов
24 сентября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
10 сентября 2018 г. (пн) |
|
| 139. |
Glivenko's theorem, finite height, and local finiteness
И. Б. Шапировский
10 сентября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 июня 2018 г. (пн) |
|
| 140. |
О субквадратичных функциях сложности выводов для односторонних систем Туэ
А. Л. Таламбуца
18 июня 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
14 июня 2018 г. (чт) |
|
| 141. |
Subexponentials in non-commutative linear logic
A. Scedrov
14 июня 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
28 апреля 2018 г. (сб) |
|
| 142. |
Об устранении сечения для модальной логики транзитивного замыкания
Д. С. Шамканов
28 апреля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
23 апреля 2018 г. (пн) |
|
| 143. |
Нефундированные выводы для логики Go
Ю. В. Саватеев
23 апреля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
9 апреля 2018 г. (пн) |
|
| 144. |
Бесконечные ветви в разрешимых деревьях
С. Ф. Сопрунов
9 апреля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
26 марта 2018 г. (пн) |
|
| 145. |
Об аксиоме ограниченности в слабых теориях множеств
Ф. Н. Пахомов
26 марта 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
5 марта 2018 г. (пн) |
|
| 146. |
Определимые элементы определимых множеств
В. Г. Кановей
5 марта 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
26 февраля 2018 г. (пн) |
|
| 147. |
Определимые элементы определимых множеств
В. Г. Кановей
26 февраля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
12 февраля 2018 г. (пн) |
|
| 148. |
О языках геометрии и понимании геометрических фактов
Г. Б. Шабат
12 февраля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
5 февраля 2018 г. (пн) |
|
| 149. |
О языках геометрии и понимании геометрических фактов
Г. Б. Шабат
5 февраля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 декабря 2017 г. (пн) |
|
| 150. |
О некоторых результатах о принципах рефлексии в арифметике
Ф. Н. Пахомов
18 декабря 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
30 октября 2017 г. (пн) |
|
| 151. |
Аксиоматизация доказуемой 1-доказуемости
Е. А. Колмаков
30 октября 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
9 октября 2017 г. (пн) |
|
| 152. |
Об индукции в теориях итерированных определений истины
Ф. Н. Пахомов
9 октября 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
2 октября 2017 г. (пн) |
|
| 153. |
Об индукции в теориях итерированных определений истины
Ф. Н. Пахомов
2 октября 2017 г. 18:35, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
10 июля 2017 г. (пн) |
|
| 154. |
О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
И. Б. Шапировский
10 июля 2017 г. 16:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
29 мая 2017 г. (пн) |
|
| 155. |
Формализм для некоторых свойств из первого курса топологии
М. Р. Гаврилович
29 мая 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
15 мая 2017 г. (пн) |
|
| 156. |
О неизоморфизме алгебр Магари для PA и ZF
Колмаков Евгений
15 мая 2017 г. 18:35, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
24 апреля 2017 г. (пн) |
|
| 157. |
The reverse mathematics of decidability results for monadic second order logic
Leszek Kolodziejczyk
24 апреля 2017 г. 18:45, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
10 апреля 2017 г. (пн) |
|
| 158. |
О вычислительных аспектах теории истины по Крипке
С. О. Сперанский
10 апреля 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
3 апреля 2017 г. (пн) |
|
| 159. |
Цепи из утверждений о медленной непротиворечивости
Ф. Н. Пахомов
3 апреля 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
13 марта 2017 г. (пн) |
|
| 160. |
Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
Л. Д. Беклемишев
13 марта 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
6 марта 2017 г. (пн) |
|
| 161. |
Семантика металогики. (Часть 2)
С. А. Мелихов
6 марта 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
27 февраля 2017 г. (пн) |
|
| 162. |
Семантика металогики. (Часть 1)
С. А. Мелихов
27 февраля 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
20 февраля 2017 г. (пн) |
|
| 163. |
Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)
Колмаков Е.А.
20 февраля 2017 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
13 февраля 2017 г. (пн) |
|
| 164. |
Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 1)
Колмаков Е.А.
13 февраля 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
26 декабря 2016 г. (пн) |
|
| 165. |
Об аксиоматизации строго позитивных фрагментов модальных логик
М. В. Захарьящев, С. П. Кикоть
26 декабря 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
19 декабря 2016 г. (пн) |
|
| 166. |
О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
Ф. Н. Пахомов
19 декабря 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
5 декабря 2016 г. (пн) |
|
| 167. |
Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера
Запрягаев А. А.
5 декабря 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
28 ноября 2016 г. (пн) |
|
| 168. |
О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
28 ноября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
21 ноября 2016 г. (пн) |
|
| 169. |
О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
21 ноября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
7 ноября 2016 г. (пн) |
|
| 170. |
Логики теоретико-модельных конструкций: логика подмоделей, часть 1
Д. И. Савельев
7 ноября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
31 октября 2016 г. (пн) |
|
| 171. |
Логики теоретико-модельных конструкций: логика подмоделей, часть 1
Д. И. Савельев
31 октября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
17 октября 2016 г. (пн) |
|
| 172. |
Полиномиальный алгоритм распознавания выводимости в строго позитивной логике линейных порядков
Святловский М.
17 октября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
10 октября 2016 г. (пн) |
|
| 173. |
Строго позитивная логика конечных линейных порядков, продолжение
Святловский М.
10 октября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
3 октября 2016 г. (пн) |
|
| 174. |
Строго позитивная логика конечных линейных порядков
Святловский М.
3 октября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
26 сентября 2016 г. (пн) |
|
| 175. |
О новом доказательстве теоремы Соловея
Ф. Н. Пахомов
26 сентября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
23 мая 2016 г. (пн) |
|
| 176. |
Конструктивная модальная логика, похожая на логику доказуемости GL
Д. С. Шамканов
23 мая 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
16 мая 2016 г. (пн) |
|
| 177. |
Формальная металогика логик первого порядка и её формальная семантика
С. А. Мелихов
16 мая 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
18 апреля 2016 г. (пн) |
|
| 178. |
Об автоматных группах и их обобщениях
А. Л. Таламбуца
18 апреля 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
4 апреля 2016 г. (пн) |
|
| 179. |
On Feferman's second conjecture
Michael Rathjen
4 апреля 2016 г., г. Москва, конференц-зал МИАН (ул. Губкина, 8), г. Москва
|
|
|
|
|
|
|
28 марта 2016 г. (пн) |
|
| 180. |
Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
28 марта 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
21 марта 2016 г. (пн) |
|
| 181. |
Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
21 марта 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
14 марта 2016 г. (пн) |
|
| 182. |
О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение)
Л. Д. Беклемишев
14 марта 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
29 февраля 2016 г. (пн) |
|
| 183. |
О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016
Л. Д. Беклемишев
29 февраля 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
15 февраля 2016 г. (пн) |
|
| 184. |
Биинтерпретируемость для расширений ZF
Ф. Н. Пахомов
15 февраля 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
28 декабря 2015 г. (пн) |
|
| 185. |
Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
28 декабря 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
14 декабря 2015 г. (пн) |
|
| 186. |
Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Ю. В. Саватеев
14 декабря 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
30 ноября 2015 г. (пн) |
|
| 187. |
Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2
А. А. Запрягаев
30 ноября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
23 ноября 2015 г. (пн) |
|
| 188. |
Логика интерпретируемости. Часть 2
Л. Д. Беклемишев
23 ноября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
16 ноября 2015 г. (пн) |
|
| 189. |
Логика интерпретируемости. Часть 1
Л. Д. Беклемишев
16 ноября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
9 ноября 2015 г. (пн) |
|
| 190. |
Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1
А. А. Запрягаев
9 ноября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
26 октября 2015 г. (пн) |
|
| 191. |
Итерации медленной непротиворечивости. Часть 2
Ф. Н. Пахомов
26 октября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
19 октября 2015 г. (пн) |
|
| 192. |
Итерации медленной непротиворечивости. Часть 1
Ф. Н. Пахомов
19 октября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
5 октября 2015 г. (пн) |
|
| 193. |
О независимых принципах в совместной логике задач и высказываний. Часть 2
С. А. Мелихов
5 октября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
28 сентября 2015 г. (пн) |
|
| 194. |
О независимых принципах в совместной логике задач и высказываний. Часть 1
С. А. Мелихов
28 сентября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
7 сентября 2015 г. (пн) |
|
| 195. |
Некоторые новые результаты в монадической арифметике второго порядка
С. О. Сперанский
7 сентября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
|
|
|
|
|
|
|
Обратная связь: