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