Семинар отдела математической логики «Теория доказательств»

RUS ENG

ЖУРНАЛЫ ПЕРСОНАЛИИ ОРГАНИЗАЦИИ КОНФЕРЕНЦИИ СЕМИНАРЫ ВИДЕОТЕКА ПАКЕТ AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

Семинар отдела математической логики «Теория доказательств»
МИАН, ауд. 530, г. Москва

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

Финансовая поддержка. Семинар проводится при финансовой поддержке Минобрнауки России (грант на создание и развитие МЦМУ МИАН, соглашение № 075-15-2019-1614).

Website:

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

RSS: Ближайшие семинары

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

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


*Семинар отдела математической логики «Теория доказательств», г. Москва*

	*18 мая 2020 г. (пн)*

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


	*4 мая 2020 г. (пн)*

2.	Specker's work on counting labeled finite graphs (in honour of E. Specker's 100th birthday) Johann Makowsky 4 мая 2020 г. 18:30, г. Москва, МИАН, ауд. 530


	*27 апреля 2020 г. (пн)*

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


	*20 апреля 2020 г. (пн)*

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


	*13 апреля 2020 г. (пн)*

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


	*6 апреля 2020 г. (пн)*

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


	*23 марта 2020 г. (пн)*

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


	*16 марта 2020 г. (пн)*

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


	*2 марта 2020 г. (пн)*

9.	О принципах редукции и отделимости в тихоновских пространствах. Д. И. Савельев 2 марта 2020 г. 18:30, г. Москва, МИАН, ауд. 530


	*17 февраля 2020 г. (пн)*

10.	From forcing to satisfaction in Kripke models of intuitionistic predicate logic Maryam Abiri 17 февраля 2020 г. 18:30, г. Москва, МИАН, ауд. 530


	*16 декабря 2019 г. (пн)*

11.	Decidable and undecidable problems for modal definability and first-order definability Philippe Balbiani 16 декабря 2019 г. 18:30, г. Москва, МИАН, ауд. 530


	*9 декабря 2019 г. (пн)*

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


	*2 декабря 2019 г. (пн)*

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


	*25 ноября 2019 г. (пн)*

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


	*11 ноября 2019 г. (пн)*

15.	Determined admissible sets Juan Aguilera 11 ноября 2019 г. 18:30, г. Москва, МИАН, ауд. 530


	*28 октября 2019 г. (пн)*

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


	*21 октября 2019 г. (пн)*

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


	*14 октября 2019 г. (пн)*

18.	Об открытых вопросах теории доказательств Л. Д. Беклемишев 14 октября 2019 г., г. Москва, МИАН, ауд. 530


	*7 октября 2019 г. (пн)*

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


	*30 сентября 2019 г. (пн)*

20.	Локали, ядра и шкалы Драгалина Д. Д. Рогозин 30 сентября 2019 г. 18:30, г. Москва, МИАН, ауд. 530


	*28 августа 2019 г. (ср)*

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


	*24 июня 2019 г. (пн)*

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


	*20 мая 2019 г. (пн)*

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


	*13 мая 2019 г. (пн)*

24.	How strong are derivatives of normal functions? Антон Фройнд 13 мая 2019 г. 18:30, г. Москва, МИАН, ауд. 530


	*29 апреля 2019 г. (пн)*

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


	*22 апреля 2019 г. (пн)*

26.	Итерированные определения истинности и исчисление рефлексий 22 апреля 2019 г. 18:30, г. Москва, МИАН, ауд. 530


	*15 апреля 2019 г. (пн)*

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


	*8 апреля 2019 г. (пн)*

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


	*1 апреля 2019 г. (пн)*

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


	*25 марта 2019 г. (пн)*

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


	*18 марта 2019 г. (пн)*

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


	*4 марта 2019 г. (пн)*

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


	*25 февраля 2019 г. (пн)*

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


	*18 февраля 2019 г. (пн)*

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


	*11 февраля 2019 г. (пн)*

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


	*17 декабря 2018 г. (пн)*

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


	*26 ноября 2018 г. (пн)*

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


	*12 ноября 2018 г. (пн)*

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


	*29 октября 2018 г. (пн)*

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


	*22 октября 2018 г. (пн)*

40.	"Paradoxical" sets with no well-ordering of the reals Ralf Schindler 22 октября 2018 г. 18:30, г. Москва, МИАН, ауд. 530


	*15 октября 2018 г. (пн)*

41.	"Paradoxical" sets with no well-ordering of the reals Ralf Schindler 15 октября 2018 г. 18:30, г. Москва, МИАН, ауд. 530


	*8 октября 2018 г. (пн)*

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


	*1 октября 2018 г. (пн)*

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


	*24 сентября 2018 г. (пн)*

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


	*10 сентября 2018 г. (пн)*

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


	*18 июня 2018 г. (пн)*

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


	*14 июня 2018 г. (чт)*

47.	Subexponentials in non-commutative linear logic A. Scedrov 14 июня 2018 г. 18:30, г. Москва, МИАН, ауд. 530


	*28 апреля 2018 г. (сб)*

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


	*23 апреля 2018 г. (пн)*

49.	Нефундированные выводы для логики Go Ю. В. Саватеев 23 апреля 2018 г. 18:30, г. Москва, МИАН, ауд. 530


	*9 апреля 2018 г. (пн)*

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


	*26 марта 2018 г. (пн)*

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


	*5 марта 2018 г. (пн)*

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


	*26 февраля 2018 г. (пн)*

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


	*12 февраля 2018 г. (пн)*

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


	*5 февраля 2018 г. (пн)*

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


	*18 декабря 2017 г. (пн)*

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


	*30 октября 2017 г. (пн)*

57.	Аксиоматизация доказуемой 1-доказуемости Е. А. Колмаков 30 октября 2017 г. 18:30, г. Москва, МИАН, ауд. 530


	*9 октября 2017 г. (пн)*

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


	*2 октября 2017 г. (пн)*

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


	*10 июля 2017 г. (пн)*

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


	*29 мая 2017 г. (пн)*

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


	*15 мая 2017 г. (пн)*

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


	*24 апреля 2017 г. (пн)*

63.	The reverse mathematics of decidability results for monadic second order logic Leszek Kolodziejczyk 24 апреля 2017 г. 18:45, г. Москва, МИАН, ауд. 530


	*10 апреля 2017 г. (пн)*

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


	*3 апреля 2017 г. (пн)*

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


	*13 марта 2017 г. (пн)*

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


	*6 марта 2017 г. (пн)*

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


	*27 февраля 2017 г. (пн)*

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


	*20 февраля 2017 г. (пн)*

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


	*13 февраля 2017 г. (пн)*

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


	*26 декабря 2016 г. (пн)*

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


	*19 декабря 2016 г. (пн)*

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


	*5 декабря 2016 г. (пн)*

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


	*28 ноября 2016 г. (пн)*

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


	*21 ноября 2016 г. (пн)*

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


	*7 ноября 2016 г. (пн)*

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


	*31 октября 2016 г. (пн)*

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


	*17 октября 2016 г. (пн)*

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


	*10 октября 2016 г. (пн)*

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


	*3 октября 2016 г. (пн)*

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


	*26 сентября 2016 г. (пн)*

81.	О новом доказательстве теоремы Соловея Ф. Н. Пахомов 26 сентября 2016 г. 18:30, г. Москва, МИАН, ауд. 530


	*23 мая 2016 г. (пн)*

82.	Конструктивная модальная логика, похожая на логику доказуемости GL Д. С. Шамканов 23 мая 2016 г., г. Москва, МИАН, ауд. 530


	*16 мая 2016 г. (пн)*

83.	Формальная металогика логик первого порядка и её формальная семантика С. А. Мелихов 16 мая 2016 г., г. Москва, МИАН, ауд. 530


	*18 апреля 2016 г. (пн)*

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


	*4 апреля 2016 г. (пн)*

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


	*28 марта 2016 г. (пн)*

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


	*21 марта 2016 г. (пн)*

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


	*14 марта 2016 г. (пн)*

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


	*29 февраля 2016 г. (пн)*

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


	*15 февраля 2016 г. (пн)*

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


	*28 декабря 2015 г. (пн)*

91.	Multiset Rewriting with Dense Time and the Analysis of Cyber-Physical Security Protocols A. Scedrov 28 декабря 2015 г. 18:30, г. Москва, МИАН, ауд. 530


	*14 декабря 2015 г. (пн)*

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


	*30 ноября 2015 г. (пн)*

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


	*23 ноября 2015 г. (пн)*

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


	*16 ноября 2015 г. (пн)*

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


	*9 ноября 2015 г. (пн)*

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


	*26 октября 2015 г. (пн)*

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


	*19 октября 2015 г. (пн)*

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


	*5 октября 2015 г. (пн)*

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


	*28 сентября 2015 г. (пн)*

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


	*7 сентября 2015 г. (пн)*

101.	Некоторые новые результаты в монадической арифметике второго порядка С. О. Сперанский 7 сентября 2015 г. 18:30, г. Москва, МИАН, ауд. 530

Обратная связь:

Пользовательское соглашение

Регистрация

Логотипы