Семинар отдела математической логики «Теория доказательств» online на платформе Zoom, г. Москва
Семинар проходит по понедельникам в 18:30.
Объявления
C 23.03 в связи с эпидемической обстановкой семинар переходит в удаленный режим. Доклады будут происходить в режиме видеоконференции Zoom. В дальнейшем записи докладов будут выкладываться здесь и на YouTube канале МЦМУ МИАН. Присоединиться к очередной конференции можно будет по ссылке в объявлениях на английской странице этого семинара.
Прошедшие доклады
06.04.2020 David Fernandez-Duque (University of Ghent): Goodstein principles of intermediate strength
13.04.2020 Dexter Kozen (Cornell University): On Free ω-Continuous and Regular Ordered Algebras
20.04.2020 Stanislav O. Speranski (St. Petersburg State University & Steklov Mathematical Institute):
Negation as a modality in a quantified setting
27.04.2020 Guram Bezhanishvili (New Mexico State University):
Existence of measurable cardinals and modal logic
4.05.2020 Johann Makowsky (Technion, Haifa):
Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday)
18.05.2020 Gabriel Nivasch (Ariel University, Israel): Fusible numbers and Peano Arithmetic
26-27.05.2020 Everyone is invited to attend S.I. Adian memorial conference.
22.06.2020 Данияр Шамканов (МИАН):
О глобальной окрестностной полноте логики доказуемости GLP.
6.07.2020 Andreas Weiermann (University of Ghent): Giant and illusionary giant Goodstein principles
13.07.2020 David Bélanger (University of Ghent):
A more uniform Friedberg-Muchnik theorem
12.10.2020 Ali Enayat (University of Gothenburg):
Set theory with a proper class of indiscernibles
19.10.2020 Fedor Pakhomov (Steklov Mathematical Institute and University of Ghent):
Iterated ω-model reflection and Π¹₂ proof-theoretic analysis.
26.10.2020 Stepan Kuznetsov (Steklov Mathematical Institute):
Decidable fragments of the Lambek calculus with subexponentials
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
02.11.2020 Anna Dmitrieva (ILLC, University of Amsterdam): Axiomatizing Origami planes
09.11.2020 Christian Wurm (HHU Düsseldorf): Language-theoretic models for the Full Lambek calculus
17-18.11.2020 Logical Perspectives Open Lectures: Yuri Gurevich, Anil Nerode, Barbara Partee.
23.11.2020 Guram Bezhanishvili (New Mexico State University):
Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities
30.11.2020 Tadeusz Litak (Friedrich-Alexander Universität Erlangen-Nürnberg): Describable Nuclei, Negative Translations and Extension Stability
7.12.2020 Tadeusz Litak: Describable Nuclei, Negative Translations and Extension Stability (continuation)
14.12.2020 Albert Visser (Utrecht University): Cyclic Henkin Logic
21.12.2020 Albert Visser: Cyclic Henkin Logic (continuation)
18.01.2021 Rosalie Iemhoff (University of Utrecht): The role of uniform interpolation in structural proof theory
15.02.2021 Wei Chen (Huawei, Edinburgh): Automated Mathematical Theorem Proving
Abstract:
Mathematical discovery and reasoning is considered as the most creative activity of human wisdom. Mathematicians have been investigating the nature of human reasoning and problem solving. In particular, Polya published several books on this topic in 1960s, which are still very inspiring for current research. From 1970s, logicians and computer scientists have been investigating and developing so-called theorem provers to produce proofs automatically and to check human proofs using machines. Invented by de Bruijn, Automath is the first machine checkable language for expressing mathematics, and most modern interactive theorem provers are variants of Edinburgh LCF developed by Gordon and Milner. But there is still a gap between human and mechanical reasoning: precious human intelligence is spent on proving tedious and trivial theorems which are indispensable for machines to check the correctness and integrity of a proof.
We propose to shrink the gap by developing automated theorem provers for human reasoning. Except the automation of logic inference strategies and skills, the main planned innovations are: proving on abstract domains and generalising from cases. We will investigate and implement the mechanism to discover and exploit morphisms between algebraic systems, e.g., duality, quotient sets, Galois connection and insertion, etc., so as to simplify proofs by making use of collapsed structures. We want to equip the theorem prover with the generalisation capability such that they can explore known facts and develop conjectures from cases then prove or refute them automatically. We will adapt the equational proof style as the interface and the LCF style as the internal representation. By doing this, we are able to produce human readable and machine checkable proofs.
These innovations will potentially benefit the development of other research areas, including: search engines, design automation, neural computation, etc. Due to the mechanism of relying and learning from humans in case that the system is stuck, we are able to answer more complex queries, to avoid unnecessary searching, and to accelerate by exploit specific structures. We expect optimistically these benefits brought by techniques developed in this proposed research.
Предстоящие доклады
1.03.2021 Максим Вишникин (МГУ): Базовые категориальные грамматики с однозначным присвоением типов
Аннотация: Понятие базовой категориальной грамматики (БКГ) восходит к работам
Айдукевича (1934) и Бар-Хиллела (1953). В БКГ каждая буква алфавита
сопоставляется нескольким типам (категориям), а слово принадлежит язы-
ку, если хотя бы для одного выбора этих типов выводима соответствующая
секвенция. Известно, что для любой контекстно-свободной грамматики су-
ществует БКГ, задающая тот же язык (возможно, за вычетом пустого сло-
ва). Верно и обратное.
В основной части доклада планируется рассмотреть результаты связан-
ные с определением автоматности языка заданного БКГ с однозначным
присвоением типов. Будут доказаны необходимые условия автоматности
языка. Также планируется рассмотреть связь между графом (который мож-
но построить по БКГ) и необходимыми условиями автоматности.
The login information to join the Zoom meetings of Logic Online Seminar is available via the mailing lists above.
Финансовая поддержка. Семинар проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).
RSS: Ближайшие семинары
Руководитель семинара
Беклемишев Лев Дмитриевич
Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва Математический центр мирового уровня «Математический институт им. В.А. Стеклова Российской академии наук» (МЦМУ МИАН) |
|
Семинар отдела математической логики «Теория доказательств», г. Москва |
|
|
15 февраля 2021 г. (пн) |
 |
1. |
Automated Mathematical Theorem Proving Wei Chen 15 февраля 2021 г. 18:30, г. Москва, online ZOOM
|
|
|
|
|
|
18 января 2021 г. (пн) |
 |
2. |
The role of uniform interpolation in structural proof theory R. Iemhoff 18 января 2021 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
21 декабря 2020 г. (пн) |
 |
3. |
Cyclic Henkin Logic (continuation) A. Visser 21 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
14 декабря 2020 г. (пн) |
 |
4. |
Cyclic Henkin Logic A. Visser 14 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
7 декабря 2020 г. (пн) |
 |
5. |
Describable Nuclea, Negative Translations and Extension Stability (continuation) Tadeusz Litak 7 декабря 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
30 ноября 2020 г. (пн) |
 |
6. |
Describable Nuclea, Negative Translations and Extension Stability Tadeusz Litak 30 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
23 ноября 2020 г. (пн) |
 |
7. |
Modal operators on rings of continuous functions: A generalization of Gelfand and Jonsson-Tarski dualities Guram Bezhanishvili 23 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
9 ноября 2020 г. (пн) |
 |
8. |
Language-theoretic models for the Full Lambek calculus Christian Wurm 9 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
2 ноября 2020 г. (пн) |
 |
9. |
Axiomatizing Origami planes Anna Dmitrieva 2 ноября 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
26 октября 2020 г. (пн) |
 |
10. |
Decidable fragments of the Lambek calculus with subexponentials S. L. Kuznetsov 26 октября 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
19 октября 2020 г. (пн) |
 |
11. |
Iterated $\omega$-model reflection and $\Pi^1_2$ proof-theoretic analysis F. N. Pakhomov 19 октября 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
12 октября 2020 г. (пн) |
 |
12. |
Set theory with a proper class of indiscernibles A. Enayat 12 октября 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
13 июля 2020 г. (пн) |
 |
13. |
A more uniform Friedberg-Muchnik theorem David Belanger 13 июля 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
6 июля 2020 г. (пн) |
 |
14. |
Giant and illusionary giant Goodstein principles Andreas Weiermann 6 июля 2020 г. 17:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
22 июня 2020 г. (пн) |
 |
15. |
О глобальной окрестностной полноте логики доказуемости GLP Д. С. Шамканов 22 июня 2020 г. 17:30, г. Москва, online
|
|
|
|
|
|
18 мая 2020 г. (пн) |
 |
16. |
Fusible numbers and Peano Arithmetic Gabriel Nivasch 18 мая 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
4 мая 2020 г. (пн) |
 |
17. |
Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday) Johann Makowsky 4 мая 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
27 апреля 2020 г. (пн) |
 |
18. |
Existence of measurable cardinals and modal logic Guram Bezhanishvili 27 апреля 2020 г. 17:30, г. Москва, online
|
|
|
|
|
|
20 апреля 2020 г. (пн) |
 |
19. |
Negation as a modality in a quantified setting S. O. Speranski 20 апреля 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
13 апреля 2020 г. (пн) |
 |
20. |
On Free $\omega$-Continuous and Regular Ordered Algebras Dexter Kozen 13 апреля 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
6 апреля 2020 г. (пн) |
 |
21. |
Goodstein principles of intermediate strength D. Fernández-Duque 6 апреля 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
23 марта 2020 г. (пн) |
 |
22. |
On the logical complexity of cyclic arithmetic Anupam Das 23 марта 2020 г. 18:30, г. Москва, online
|
|
|
|
|
|
16 марта 2020 г. (пн) |
 |
23. |
Предикатный вариант совместной логики задач и высказываний А. А. Оноприенко 16 марта 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
2 марта 2020 г. (пн) |
 |
24. |
О принципах редукции и отделимости в тихоновских пространствах. Д. И. Савельев 2 марта 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
17 февраля 2020 г. (пн) |
 |
25. |
From forcing to satisfaction in Kripke models of intuitionistic predicate logic Maryam Abiri 17 февраля 2020 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
16 декабря 2019 г. (пн) |
 |
26. |
Decidable and undecidable problems for modal definability and first-order definability Philippe Balbiani 16 декабря 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
9 декабря 2019 г. (пн) |
 |
27. |
Об окрестностной семантике логики доказуемости Линдстрёма D. S. Shamkanov 9 декабря 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
2 декабря 2019 г. (пн) |
 |
28. |
Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера А. А. Запрягаев 2 декабря 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
25 ноября 2019 г. (пн) |
 |
29. |
Интерпретация линейных порядков в арифметике Пресбургера и гипотеза Виссера А. А. Запрягаев 25 ноября 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
11 ноября 2019 г. (пн) |
 |
30. |
Determined admissible sets Juan Aguilera 11 ноября 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
28 октября 2019 г. (пн) |
 |
31. |
Бар-индукция для классов в арифметике второго порядка Ф. Н. Пахомов 28 октября 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
21 октября 2019 г. (пн) |
 |
32. |
Бар-индукция для классов в арифметике второго порядка Ф. Н. Пахомов 21 октября 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
14 октября 2019 г. (пн) |
 |
33. |
Об открытых вопросах теории доказательств Л. Д. Беклемишев 14 октября 2019 г., г. Москва, online на платформе Zoom
|
|
|
|
|
|
7 октября 2019 г. (пн) |
 |
34. |
Локали, ядра и шкалы Драгалина. Лекция 2. Д. Д. Рогозин 7 октября 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
30 сентября 2019 г. (пн) |
 |
35. |
Локали, ядра и шкалы Драгалина Д. Д. Рогозин 30 сентября 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
28 августа 2019 г. (ср) |
 |
36. |
Локально конечные модальные алгебры и фильтрации моделей Крипке И. Б. Шапировский 28 августа 2019 г. 17:00, г. Москва, online на платформе Zoom
|
|
|
|
|
|
24 июня 2019 г. (пн) |
 |
37. |
О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано Е. А. Колмаков 24 июня 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
20 мая 2019 г. (пн) |
 |
38. |
О разрешимости ∀∃-теории решётки Σ₁-предложений арифметики Пеано Е. А. Колмаков 20 мая 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
13 мая 2019 г. (пн) |
 |
39. |
How strong are derivatives of normal functions? Антон Фройнд 13 мая 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
29 апреля 2019 г. (пн) |
 |
40. |
Итерированные определения истинности и исчисление рефлексий Л. Д. Беклемишев 29 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
22 апреля 2019 г. (пн) |
 |
41. |
Итерированные определения истинности и исчисление рефлексий 22 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
15 апреля 2019 г. (пн) |
 |
42. |
Итерации $\Pi^1_1$-рефлексии Ф. Н. Пахомов 15 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
8 апреля 2019 г. (пн) |
 |
43. |
Итерации $\Pi^1_1$-рефлексии Ф. Н. Пахомов 8 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
1 апреля 2019 г. (пн) |
 |
44. |
О первопорядковой выразимости выполнимости в подмоделях Д. И. Савельев 1 апреля 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
25 марта 2019 г. (пн) |
 |
45. |
Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика В. Б. Шехтман 25 марта 2019 г. 20:55, г. Москва, online на платформе Zoom
|
|
|
|
|
|
18 марта 2019 г. (пн) |
 |
46. |
Модальные логики предикатов с одной переменной, полупроизведения и симплициальная семантика В. Б. Шехтман 18 марта 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
4 марта 2019 г. (пн) |
 |
47. |
Модели исчисления Ламбека с субэкпоненциалами Рогозин Даниил Дмитриевич 4 марта 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
25 февраля 2019 г. (пн) |
 |
48. |
Cимуляции пропозициональных доказательств в конечнозначных логиках Лукасевича Кожемяченко Даниил Андреевич 25 февраля 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
18 февраля 2019 г. (пн) |
 |
49. |
Об изоморфизме $\kappa$-плотных множеств вещественных чисел и близких
вопросах Д. И. Савельев 18 февраля 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
11 февраля 2019 г. (пн) |
 |
50. |
О работе Й. Маковского "Can one design a geometry engine?" Анна Дмитриева 11 февраля 2019 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
17 декабря 2018 г. (пн) |
 |
51. |
Исчисления и поиск вывода для бесконечнозначной логики Лукасевича первого порядка А. С. Герасимов 17 декабря 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
26 ноября 2018 г. (пн) |
 |
52. |
О новом методе ординального анализа теории множеств Крипке-Платека Ф. Н. Пахомов 26 ноября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
12 ноября 2018 г. (пн) |
 |
53. |
О новом методе ординального анализа теории множеств Крипке-Платека Ф. Н. Пахомов 12 ноября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
29 октября 2018 г. (пн) |
 |
54. |
Неразрешимость логики решёток Клини с делениями С. Л. Кузнецов 29 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
22 октября 2018 г. (пн) |
 |
55. |
"Paradoxical" sets with no well-ordering of the reals Ralf Schindler 22 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
15 октября 2018 г. (пн) |
 |
56. |
"Paradoxical" sets with no well-ordering of the reals Ralf Schindler 15 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
8 октября 2018 г. (пн) |
 |
57. |
О модальных напарниках K4 М. В. Святловский 8 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
1 октября 2018 г. (пн) |
 |
58. |
Системы инцидентности на декартовых степенях алгебраических кривых Дмитрий Сустретов 1 октября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
24 сентября 2018 г. (пн) |
 |
59. |
Системы инцидентности на декартовых степенях алгебраических кривых Дмитрий Сустретов 24 сентября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
10 сентября 2018 г. (пн) |
 |
60. |
Glivenko's theorem, finite height, and local finiteness И. Б. Шапировский 10 сентября 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
18 июня 2018 г. (пн) |
 |
61. |
О субквадратичных функциях сложности выводов для односторонних систем Туэ А. Л. Таламбуца 18 июня 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
14 июня 2018 г. (чт) |
 |
62. |
Subexponentials in non-commutative linear logic A. Scedrov 14 июня 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
28 апреля 2018 г. (сб) |
 |
63. |
Об устранении сечения для модальной логики транзитивного замыкания Д. С. Шамканов 28 апреля 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
23 апреля 2018 г. (пн) |
 |
64. |
Нефундированные выводы для логики Go Ю. В. Саватеев 23 апреля 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
9 апреля 2018 г. (пн) |
 |
65. |
Бесконечные ветви в разрешимых деревьях С. Ф. Сопрунов 9 апреля 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
26 марта 2018 г. (пн) |
 |
66. |
Об аксиоме ограниченности в слабых теориях множеств Ф. Н. Пахомов 26 марта 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
5 марта 2018 г. (пн) |
 |
67. |
Определимые элементы определимых множеств В. Г. Кановей 5 марта 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
26 февраля 2018 г. (пн) |
 |
68. |
Определимые элементы определимых множеств В. Г. Кановей 26 февраля 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
12 февраля 2018 г. (пн) |
 |
69. |
О языках геометрии и понимании геометрических фактов Г. Б. Шабат 12 февраля 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
5 февраля 2018 г. (пн) |
 |
70. |
О языках геометрии и понимании геометрических фактов Г. Б. Шабат 5 февраля 2018 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
18 декабря 2017 г. (пн) |
 |
71. |
О некоторых результатах о принципах рефлексии в арифметике Ф. Н. Пахомов 18 декабря 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
30 октября 2017 г. (пн) |
 |
72. |
Аксиоматизация доказуемой 1-доказуемости Е. А. Колмаков 30 октября 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
9 октября 2017 г. (пн) |
 |
73. |
Об индукции в теориях итерированных определений истины Ф. Н. Пахомов 9 октября 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
2 октября 2017 г. (пн) |
 |
74. |
Об индукции в теориях итерированных определений истины Ф. Н. Пахомов 2 октября 2017 г. 18:35, г. Москва, online на платформе Zoom
|
|
|
|
|
|
10 июля 2017 г. (пн) |
 |
75. |
О финитной аппроксимируемости модальных логик конечных степеней натурального ряда И. Б. Шапировский 10 июля 2017 г. 16:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
29 мая 2017 г. (пн) |
 |
76. |
Формализм для некоторых свойств из первого курса топологии М. Р. Гаврилович 29 мая 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
15 мая 2017 г. (пн) |
 |
77. |
О неизоморфизме алгебр Магари для PA и ZF Колмаков Евгений 15 мая 2017 г. 18:35, г. Москва, online на платформе Zoom
|
|
|
|
|
|
24 апреля 2017 г. (пн) |
 |
78. |
The reverse mathematics of decidability results for monadic second order logic Leszek Kolodziejczyk 24 апреля 2017 г. 18:45, г. Москва, online на платформе Zoom
|
|
|
|
|
|
10 апреля 2017 г. (пн) |
 |
79. |
О вычислительных аспектах теории истины по Крипке С. О. Сперанский 10 апреля 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
3 апреля 2017 г. (пн) |
 |
80. |
Цепи из утверждений о медленной непротиворечивости Ф. Н. Пахомов 3 апреля 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
13 марта 2017 г. (пн) |
 |
81. |
Модель Игнатьева как универсальная алгебра для замкнутого фрагмента позитивной логики доказуемости с операторами консервативности Л. Д. Беклемишев 13 марта 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
6 марта 2017 г. (пн) |
 |
82. |
Семантика металогики. (Часть 2) С. А. Мелихов 6 марта 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
27 февраля 2017 г. (пн) |
 |
83. |
Семантика металогики. (Часть 1) С. А. Мелихов 27 февраля 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
20 февраля 2017 г. (пн) |
 |
84. |
Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 2) Колмаков Е.А. 20 февраля 2017 г., г. Москва, online на платформе Zoom
|
|
|
|
|
|
13 февраля 2017 г. (пн) |
 |
85. |
Доказуемо тотальные вычислимые функции и связанные с ними структуры степеней. (Часть 1) Колмаков Е.А. 13 февраля 2017 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
26 декабря 2016 г. (пн) |
 |
86. |
Об аксиоматизации строго позитивных фрагментов модальных логик М. В. Захарьящев, С. П. Кикоть 26 декабря 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
19 декабря 2016 г. (пн) |
 |
87. |
О новом классе теорий, удовлетворяющих второй теореме Гёделя о неполноте Ф. Н. Пахомов 19 декабря 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
5 декабря 2016 г. (пн) |
 |
88. |
Классификация линейных порядков, интерпретируемых многомерно в арифметике Пресбургера, и многомерная гипотеза Виссера Запрягаев А. А. 5 декабря 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
28 ноября 2016 г. (пн) |
 |
89. |
О позитивной логике доказуемости с операторами консервативности Л. Д. Беклемишев 28 ноября 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
21 ноября 2016 г. (пн) |
 |
90. |
О позитивной логике доказуемости с операторами консервативности Л. Д. Беклемишев 21 ноября 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
7 ноября 2016 г. (пн) |
 |
91. |
Логики теоретико-модельных конструкций: логика подмоделей, часть 1 Д. И. Савельев 7 ноября 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
31 октября 2016 г. (пн) |
 |
92. |
Логики теоретико-модельных конструкций: логика подмоделей, часть 1 Д. И. Савельев 31 октября 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
17 октября 2016 г. (пн) |
 |
93. |
Полиномиальный алгоритм распознавания выводимости в строго позитивной логике линейных порядков Святловский М. 17 октября 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
10 октября 2016 г. (пн) |
 |
94. |
Строго позитивная логика конечных линейных порядков, продолжение Святловский М. 10 октября 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
3 октября 2016 г. (пн) |
 |
95. |
Строго позитивная логика конечных линейных порядков Святловский М. 3 октября 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
26 сентября 2016 г. (пн) |
 |
96. |
О новом доказательстве теоремы Соловея Ф. Н. Пахомов 26 сентября 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
23 мая 2016 г. (пн) |
 |
97. |
Конструктивная модальная логика, похожая на логику доказуемости GL Д. С. Шамканов 23 мая 2016 г., г. Москва, online на платформе Zoom
|
|
|
|
|
|
16 мая 2016 г. (пн) |
 |
98. |
Формальная металогика логик первого порядка и её формальная семантика С. А. Мелихов 16 мая 2016 г., г. Москва, online на платформе Zoom
|
|
|
|
|
|
18 апреля 2016 г. (пн) |
 |
99. |
Об автоматных группах и их обобщениях А. Л. Таламбуца 18 апреля 2016 г., г. Москва, online на платформе Zoom
|
|
|
|
|
|
4 апреля 2016 г. (пн) |
 |
100. |
On Feferman's second conjecture Michael Rathjen 4 апреля 2016 г., г. Москва, конференц-зал МИАН (ул. Губкина, 8), г. Москва
|
|
|
|
|
|
28 марта 2016 г. (пн) |
 |
101. |
Оператор, двойственный производной Кантора, и слабые аксиомы отделимости Д. И. Савельев 28 марта 2016 г., г. Москва, online на платформе Zoom
|
|
|
|
|
|
21 марта 2016 г. (пн) |
 |
102. |
Оператор, двойственный производной Кантора, и слабые аксиомы отделимости Д. И. Савельев 21 марта 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
14 марта 2016 г. (пн) |
 |
103. |
О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 (продолжение) Л. Д. Беклемишев 14 марта 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
29 февраля 2016 г. (пн) |
 |
104. |
О недавних результатах по теории WQO, представленных на конференции Well-quasiorders in Computer Science, Dagstuhl, Jan 2016 Л. Д. Беклемишев 29 февраля 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
15 февраля 2016 г. (пн) |
 |
105. |
Биинтерпретируемость для расширений ZF Ф. Н. Пахомов 15 февраля 2016 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
28 декабря 2015 г. (пн) |
 |
106. |
Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols A. Scedrov 28 декабря 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
14 декабря 2015 г. (пн) |
 |
107. |
Свойства доказательств в модальных логиках и процесса реализации для логик свидетельств Ю. В. Саватеев 14 декабря 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
30 ноября 2015 г. (пн) |
 |
108. |
Интерпретируемость для фрагментов арифметики Пресбургера. Часть 2 А. А. Запрягаев 30 ноября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
23 ноября 2015 г. (пн) |
 |
109. |
Логика интерпретируемости. Часть 2 Л. Д. Беклемишев 23 ноября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
16 ноября 2015 г. (пн) |
 |
110. |
Логика интерпретируемости. Часть 1 Л. Д. Беклемишев 16 ноября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
9 ноября 2015 г. (пн) |
 |
111. |
Интерпретируемость для фрагментов арифметики Пресбургера. Часть 1 А. А. Запрягаев 9 ноября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
26 октября 2015 г. (пн) |
 |
112. |
Итерации медленной непротиворечивости. Часть 2 Ф. Н. Пахомов 26 октября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
19 октября 2015 г. (пн) |
 |
113. |
Итерации медленной непротиворечивости. Часть 1 Ф. Н. Пахомов 19 октября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
5 октября 2015 г. (пн) |
 |
114. |
О независимых принципах в совместной логике задач и высказываний. Часть 2 С. А. Мелихов 5 октября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
28 сентября 2015 г. (пн) |
 |
115. |
О независимых принципах в совместной логике задач и высказываний. Часть 1 С. А. Мелихов 28 сентября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
|
|
7 сентября 2015 г. (пн) |
 |
116. |
Некоторые новые результаты в монадической арифметике второго порядка С. О. Сперанский 7 сентября 2015 г. 18:30, г. Москва, online на платформе Zoom
|
|
|
|
 |
|