Семинары
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  


Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
МИАН (ул. Губкина, 8), ауд. 313 + Zoom, г. Москва

Просьба ко всем участникам, в том числе смотрящим видеозаписи,
зарегистрироваться по ссылке: https://forms.gle/G8eCQuuxVQgmQG4M7.


Семинар проходит по понедельникам в 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

Website: https://www.youtube.com/playlist?list=PLUbD59ZHv1GQZzqUyqtjoYp5BxbOQw3d2

Руководитель семинара
Беклемишев Лев Дмитриевич

Финансовая поддержка
Семинар проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 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)
W. H. Holliday
  

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)
Wei Chen
  

18 января 2021 г. (пн)
85. The role of uniform interpolation in structural proof theory
R. Iemhoff
18 января 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
R. Iemhoff
  

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
A. Visser
  

7 декабря 2020 г. (пн)
88. Describable Nuclea, Negative Translations and Extension Stability (continuation)
Tadeusz Litak
7 декабря 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
Tadeusz Litak
  

30 ноября 2020 г. (пн)
89. Describable Nuclea, Negative Translations and Extension Stability
Tadeusz Litak
30 ноября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
Tadeusz Litak
  

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
Guram Bezhanishvili
  

9 ноября 2020 г. (пн)
91. Language-theoretic models for the Full Lambek calculus
Christian Wurm
9 ноября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
Christian Wurm
  

2 ноября 2020 г. (пн)
92. Axiomatizing Origami planes
Anna Dmitrieva
2 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
Anna Dmitrieva
  

26 октября 2020 г. (пн)
93. Decidable fragments of the Lambek calculus with subexponentials
S. L. Kuznetsov
26 октября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
S. L. Kuznetsov
  

19 октября 2020 г. (пн)
94. Iterated $\omega$-model reflection and $\Pi^1_2$ proof-theoretic analysis
F. N. Pakhomov
19 октября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
F. N. Pakhomov
  

12 октября 2020 г. (пн)
95. Set theory with a proper class of indiscernibles
A. Enayat
12 октября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
A. Enayat
  

13 июля 2020 г. (пн)
96. A more uniform Friedberg-Muchnik theorem
David Belanger
13 июля 2020 г. 18:30, г. Москва, online
David Belanger
  

6 июля 2020 г. (пн)
97. Giant and illusionary giant Goodstein principles
Andreas Weiermann
6 июля 2020 г. 17:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
Andreas Weiermann
  

22 июня 2020 г. (пн)
98. О глобальной окрестностной полноте логики доказуемости GLP
Д. С. Шамканов
22 июня 2020 г. 17:30, г. Москва, online
  

18 мая 2020 г. (пн)
99. Fusible numbers and Peano Arithmetic
Gabriel Nivasch
18 мая 2020 г. 18:30, г. Москва, online
Gabriel Nivasch
  

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
Johann Makowsky
  

27 апреля 2020 г. (пн)
101. Existence of measurable cardinals and modal logic
Guram Bezhanishvili
27 апреля 2020 г. 17:30, г. Москва, online
Guram Bezhanishvili
  

20 апреля 2020 г. (пн)
102. Negation as a modality in a quantified setting
S. O. Speranski
20 апреля 2020 г. 18:30, г. Москва, online
S. O. Speranski
  

13 апреля 2020 г. (пн)
103. On Free $\omega$-Continuous and Regular Ordered Algebras
Dexter Kozen
13 апреля 2020 г. 18:30, г. Москва, online
Dexter Kozen
  

6 апреля 2020 г. (пн)
104. Goodstein principles of intermediate strength
D. Fernández-Duque
6 апреля 2020 г. 18:30, г. Москва, online
D. Fernández-Duque
  

23 марта 2020 г. (пн)
105. On the logical complexity of cyclic arithmetic
Anupam Das
23 марта 2020 г. 18:30, г. Москва, online
Anupam Das
  

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
Philippe Balbiani
  

9 декабря 2019 г. (пн)
110. Об окрестностной семантике логики доказуемости Линдстрёма
D. S. Shamkanov
9 декабря 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
D. S. Shamkanov
  

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
Juan Aguilera
  

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
Ralf Schindler
  

15 октября 2018 г. (пн)
139. "Paradoxical" sets with no well-ordering of the reals
Ralf Schindler
15 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 313 + Zoom
Ralf Schindler
  

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
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024