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


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

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


Семинар проходит по понедельникам в 18:30.

Объявления C 04.10.21 семинар проходит в смешанном режиме (ауд.530 МИАН, ул. Губкина, 8 + Zoom). В дальнейшем записи докладов будут выкладываться здесь и на YouTube канале МЦМУ МИАН. Присоединиться к очередной конференции можно будет по ссылке в объявлениях на английской странице этого семинара.

Предстоящие доклады

Happy New Year! We meet again in February, 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-2019-1614).

Website: https://www.youtube.com/playlist?list=PLUbD59ZHv1GQZzqUyqtjoYp5BxbOQw3d2
RSS: Ближайшие семинары

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

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва
Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН)


Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar", г. Москва

20 декабря 2021 г. (пн)
1. Interpreters as consistoids (continuation)
A. Visser
20 декабря 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

6 декабря 2021 г. (пн)
2. Logical foundations of causal inference
T. Icard
6 декабря 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

22 ноября 2021 г. (пн)
3. Interpreters as consistoids
A. Visser
22 ноября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

15 ноября 2021 г. (пн)
4. The Došen Square under construction: A tale of four modalities
M. Mendler
15 ноября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

8 ноября 2021 г. (пн)
5. Модели бескванторной индукции для языка арифметики с экспонентой
К. Ковалев
8 ноября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

25 октября 2021 г. (пн)
6. An incompleteness theorem via ordinal analysis
J. Walsh
25 октября 2021 г. 18:30, г. Москва, online
  

18 октября 2021 г. (пн)
7. Strictly positive fragments of K4 and its extensions
M. V. Svyatlovskiy
18 октября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

11 октября 2021 г. (пн)
8. The two halves of disjunctive correctness for the compositional truth predicate
M. Łełyk
11 октября 2021 г. 18:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

4 октября 2021 г. (пн)
9. Primitive Recursive Ordered Fields and Some Applications
V. L. Selivanov
4 октября 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

24 мая 2021 г. (пн)
10. О финитной аппроксимируемости и сложности логик сумм шкал Крипке
И. Б. Шапировский
24 мая 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

12 апреля 2021 г. (пн)
11. Generalized Fusible Numbers
F. N. Pakhomov
12 апреля 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

22 марта 2021 г. (пн)
12. Quantified reflection calculus with one modality is decidable
Joost J. Joosten
22 марта 2021 г. 18:30, г. Москва, online (Zoom)
  

15 марта 2021 г. (пн)
13. Logics of Imprecise Comparative Probability
W. H. Holliday
15 марта 2021 г. 19:00, г. Москва, online (Zoom)
W. H. Holliday
  

1 марта 2021 г. (пн)
14. Базовые категориальные грамматики с однозначным присвоением типов
М. Е. Вишникин
1 марта 2021 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

15 февраля 2021 г. (пн)
15. Automated Mathematical Theorem Proving
Wei Chen
15 февраля 2021 г. 18:30, г. Москва, online (Zoom)
Wei Chen
  

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

21 декабря 2020 г. (пн)
17. Cyclic Henkin Logic (continuation)
A. Visser
21 декабря 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

14 декабря 2020 г. (пн)
18. Cyclic Henkin Logic
A. Visser
14 декабря 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
A. Visser
  

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

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

23 ноября 2020 г. (пн)
21. Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities
Guram Bezhanishvili
23 ноября 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Guram Bezhanishvili
  

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

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

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

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

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

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

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

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

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

4 мая 2020 г. (пн)
31. Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday)
Johann Makowsky
4 мая 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Johann Makowsky
  

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

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

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

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

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

16 марта 2020 г. (пн)
37. Предикатный вариант совместной логики задач и высказываний
А. А. Оноприенко
16 марта 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
А. А. Оноприенко
  

2 марта 2020 г. (пн)
38. О принципах редукции и отделимости в тихоновских пространствах.
Д. И. Савельев
2 марта 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Д. И. Савельев
  

17 февраля 2020 г. (пн)
39. From forcing to satisfaction in Kripke models of intuitionistic predicate logic
Maryam Abiri
17 февраля 2020 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

16 декабря 2019 г. (пн)
40. Decidable and undecidable problems for modal definability and first-order definability
Philippe Balbiani
16 декабря 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Philippe Balbiani
  

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

2 декабря 2019 г. (пн)
42. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
А. А. Запрягаев
2 декабря 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
А. А. Запрягаев
  

25 ноября 2019 г. (пн)
43. Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера
А. А. Запрягаев
25 ноября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
А. А. Запрягаев
  

11 ноября 2019 г. (пн)
44. Determined admissible sets
Juan Aguilera
11 ноября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Juan Aguilera
  

28 октября 2019 г. (пн)
45. Бар-индукция для классов в арифметике второго порядка
Ф. Н. Пахомов
28 октября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Ф. Н. Пахомов
  

21 октября 2019 г. (пн)
46. Бар-индукция для классов в арифметике второго порядка
Ф. Н. Пахомов
21 октября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Ф. Н. Пахомов
  

14 октября 2019 г. (пн)
47. Об открытых вопросах теории доказательств
Л. Д. Беклемишев
14 октября 2019 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Л. Д. Беклемишев

7 октября 2019 г. (пн)
48. Локали, ядра и шкалы Драгалина. Лекция 2.
Д. Д. Рогозин
7 октября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Д. Д. Рогозин
  

30 сентября 2019 г. (пн)
49. Локали, ядра и шкалы Драгалина
Д. Д. Рогозин
30 сентября 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Д. Д. Рогозин
  

28 августа 2019 г. (ср)
50. Локально конечные модальные алгебры и фильтрации моделей Крипке
И. Б. Шапировский
28 августа 2019 г. 17:00, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

24 июня 2019 г. (пн)
51. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
Е. А. Колмаков
24 июня 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Е. А. Колмаков
  

20 мая 2019 г. (пн)
52. О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано
Е. А. Колмаков
20 мая 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Е. А. Колмаков
  

13 мая 2019 г. (пн)
53. How strong are derivatives of normal functions?
Антон Фройнд
13 мая 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Антон Фройнд
  

29 апреля 2019 г. (пн)
54. Итерированные определения истинности и исчисление рефлексий
Л. Д. Беклемишев
29 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Л. Д. Беклемишев
  

22 апреля 2019 г. (пн)
55. Итерированные определения истинности и исчисление рефлексий
22 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
  

15 апреля 2019 г. (пн)
56. Итерации $\Pi^1_1$-рефлексии
Ф. Н. Пахомов
15 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Ф. Н. Пахомов
  

8 апреля 2019 г. (пн)
57. Итерации $\Pi^1_1$-рефлексии
Ф. Н. Пахомов
8 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Ф. Н. Пахомов
  

1 апреля 2019 г. (пн)
58. О первопорядковой выразимости выполнимости в подмоделях
Д. И. Савельев
1 апреля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

25 марта 2019 г. (пн)
59. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
В. Б. Шехтман
25 марта 2019 г. 20:55, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
В. Б. Шехтман
  

18 марта 2019 г. (пн)
60. Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика
В. Б. Шехтман
18 марта 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
В. Б. Шехтман
  

4 марта 2019 г. (пн)
61. Модели исчисления Ламбека с субэкпоненциалами
Рогозин Даниил Дмитриевич
4 марта 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Рогозин Даниил Дмитриевич
  

25 февраля 2019 г. (пн)
62. Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича
Кожемяченко Даниил Андреевич
25 февраля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Кожемяченко Даниил Андреевич
  

18 февраля 2019 г. (пн)
63. Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких вопросах
Д. И. Савельев
18 февраля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

11 февраля 2019 г. (пн)
64. О работе Й. Маковского "Can one design a geometry engine?"
Анна Дмитриева
11 февраля 2019 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

17 декабря 2018 г. (пн)
65. Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка
А. С. Герасимов
17 декабря 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
А. С. Герасимов
  

26 ноября 2018 г. (пн)
66. О новом методе ординального анализа теории множеств Крипке-Платека
Ф. Н. Пахомов
26 ноября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Ф. Н. Пахомов
  

12 ноября 2018 г. (пн)
67. О новом методе ординального анализа теории множеств Крипке-Платека
Ф. Н. Пахомов
12 ноября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Ф. Н. Пахомов
  

29 октября 2018 г. (пн)
68. Неразрешимость логики решёток Клини с делениями
С. Л. Кузнецов
29 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
С. Л. Кузнецов
  

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

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

8 октября 2018 г. (пн)
71. О модальных напарниках K4
М. В. Святловский
8 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

1 октября 2018 г. (пн)
72. Системы инцидентности на декартовых степенях алгебраических кривых
Дмитрий Сустретов
1 октября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Дмитрий Сустретов
  

24 сентября 2018 г. (пн)
73. Системы инцидентности на декартовых степенях алгебраических кривых
Дмитрий Сустретов
24 сентября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
Дмитрий Сустретов
  

10 сентября 2018 г. (пн)
74. Glivenko's theorem, finite height, and local finiteness
И. Б. Шапировский
10 сентября 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

18 июня 2018 г. (пн)
75. О субквадратичных функциях сложности выводов для односторонних систем Туэ
А. Л. Таламбуца
18 июня 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

14 июня 2018 г. (чт)
76. Subexponentials in non-commutative linear logic
A. Scedrov
14 июня 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

28 апреля 2018 г. (сб)
77. Об устранении сечения для модальной логики транзитивного замыкания
Д. С. Шамканов
28 апреля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

23 апреля 2018 г. (пн)
78. Нефундированные выводы для логики Go
Ю. В. Саватеев
23 апреля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

9 апреля 2018 г. (пн)
79. Бесконечные ветви в разрешимых деревьях
С. Ф. Сопрунов
9 апреля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

26 марта 2018 г. (пн)
80. Об аксиоме ограниченности в слабых теориях множеств
Ф. Н. Пахомов
26 марта 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

5 марта 2018 г. (пн)
81. Определимые элементы определимых множеств
В. Г. Кановей
5 марта 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

26 февраля 2018 г. (пн)
82. Определимые элементы определимых множеств
В. Г. Кановей
26 февраля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

12 февраля 2018 г. (пн)
83. О языках геометрии и понимании геометрических фактов
Г. Б. Шабат
12 февраля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

5 февраля 2018 г. (пн)
84. О языках геометрии и понимании геометрических фактов
Г. Б. Шабат
5 февраля 2018 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

18 декабря 2017 г. (пн)
85. О некоторых результатах о принципах рефлексии в арифметике
Ф. Н. Пахомов
18 декабря 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

30 октября 2017 г. (пн)
86. Аксиоматизация доказуемой 1-доказуемости
Е. А. Колмаков
30 октября 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

9 октября 2017 г. (пн)
87. Об индукции в теориях итерированных определений истины
Ф. Н. Пахомов
9 октября 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

2 октября 2017 г. (пн)
88. Об индукции в теориях итерированных определений истины
Ф. Н. Пахомов
2 октября 2017 г. 18:35, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

10 июля 2017 г. (пн)
89. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
И. Б. Шапировский
10 июля 2017 г. 16:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

29 мая 2017 г. (пн)
90. Формализм для некоторых свойств из первого курса топологии
М. Р. Гаврилович
29 мая 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

15 мая 2017 г. (пн)
91. О неизоморфизме алгебр Магари для PA и ZF
Колмаков Евгений
15 мая 2017 г. 18:35, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

24 апреля 2017 г. (пн)
92. The reverse mathematics of decidability results for monadic second order logic
Leszek Kolodziejczyk
24 апреля 2017 г. 18:45, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

10 апреля 2017 г. (пн)
93. О вычислительных аспектах теории истины по Крипке
С. О. Сперанский
10 апреля 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

3 апреля 2017 г. (пн)
94. Цепи из утверждений о медленной непротиворечивости
Ф. Н. Пахомов
3 апреля 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

13 марта 2017 г. (пн)
95. Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности
Л. Д. Беклемишев
13 марта 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

6 марта 2017 г. (пн)
96. Семантика металогики. (Часть 2)
С. А. Мелихов
6 марта 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

27 февраля 2017 г. (пн)
97. Семантика металогики. (Часть 1)
С. А. Мелихов
27 февраля 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

20 февраля 2017 г. (пн)
98. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2)
Колмаков Е.А.
20 февраля 2017 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

13 февраля 2017 г. (пн)
99. Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 1)
Колмаков Е.А.
13 февраля 2017 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

26 декабря 2016 г. (пн)
100. Об аксиоматизации строго позитивных фрагментов модальных логик
М. В. Захарьящев, С. П. Кикоть
26 декабря 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

19 декабря 2016 г. (пн)
101. О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте
Ф. Н. Пахомов
19 декабря 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

5 декабря 2016 г. (пн)
102. Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера
Запрягаев А. А.
5 декабря 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

28 ноября 2016 г. (пн)
103. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
28 ноября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

21 ноября 2016 г. (пн)
104. О позитивной логике доказуемости с операторами консервативности
Л. Д. Беклемишев
21 ноября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

7 ноября 2016 г. (пн)
105. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
Д. И. Савельев
7 ноября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

31 октября 2016 г. (пн)
106. Логики теоретико-моде­льных конструкций: ло­гика подмоделей, част­ь 1
Д. И. Савельев
31 октября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

17 октября 2016 г. (пн)
107. Полиномиальный алгоритм распознавания выводимости в строго позитивной логике линейных порядков
Святловский М.
17 октября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

10 октября 2016 г. (пн)
108. Строго позитивная логика конечных линейных порядков, продолжение
Святловский М.
10 октября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

3 октября 2016 г. (пн)
109. Строго позитивная логика конечных линейных порядков
Святловский М.
3 октября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

26 сентября 2016 г. (пн)
110. О новом доказательстве теоремы Соловея
Ф. Н. Пахомов
26 сентября 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

23 мая 2016 г. (пн)
111. Конструктивная модальная логика, похожая на логику доказуемости GL
Д. С. Шамканов
23 мая 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

16 мая 2016 г. (пн)
112. Формальная металогика логик первого порядка и её формальная семантика
С. А. Мелихов
16 мая 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

18 апреля 2016 г. (пн)
113. Об автоматных группах и их обобщениях
А. Л. Таламбуца
18 апреля 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

4 апреля 2016 г. (пн)
114. On Feferman's second conjecture
Michael Rathjen
4 апреля 2016 г., г. Москва, конференц-зал МИАН (ул. Губкина, 8), г. Москва

28 марта 2016 г. (пн)
115. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
28 марта 2016 г., г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

21 марта 2016 г. (пн)
116. Оператор, двойственный производной Кантора, и слабые аксиомы отделимости
Д. И. Савельев
21 марта 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

14 марта 2016 г. (пн)
117. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение)
Л. Д. Беклемишев
14 марта 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

29 февраля 2016 г. (пн)
118. О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016
Л. Д. Беклемишев
29 февраля 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

15 февраля 2016 г. (пн)
119. Биинтерпретируемость для расширений ZF
Ф. Н. Пахомов
15 февраля 2016 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

28 декабря 2015 г. (пн)
120. Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols
A. Scedrov
28 декабря 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

14 декабря 2015 г. (пн)
121. Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств
Ю. В. Саватеев
14 декабря 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

30 ноября 2015 г. (пн)
122. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2
А. А. Запрягаев
30 ноября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

23 ноября 2015 г. (пн)
123. Логика интерпретируемости. Часть 2
Л. Д. Беклемишев
23 ноября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

16 ноября 2015 г. (пн)
124. Логика интерпретируемости. Часть 1
Л. Д. Беклемишев
16 ноября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

9 ноября 2015 г. (пн)
125. Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1
А. А. Запрягаев
9 ноября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

26 октября 2015 г. (пн)
126. Итерации медленной непротиворечивости. Часть 2
Ф. Н. Пахомов
26 октября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

19 октября 2015 г. (пн)
127. Итерации медленной непротиворечивости. Часть 1
Ф. Н. Пахомов
19 октября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

5 октября 2015 г. (пн)
128. О независимых принципах в совместной логике задач и высказываний. Часть 2
С. А. Мелихов
5 октября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

28 сентября 2015 г. (пн)
129. О независимых принципах в совместной логике задач и высказываний. Часть 1
С. А. Мелихов
28 сентября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom

7 сентября 2015 г. (пн)
130. Некоторые новые результаты в монадической арифметике второго порядка
С. О. Сперанский
7 сентября 2015 г. 18:30, г. Москва, МИАН (ул. Губкина, 8), ауд. 530 + Zoom
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022