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

RUS ENG

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

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

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

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

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

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

Организации
Математический институт им. В.А. Стеклова Российской академии наук, г. Москва


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

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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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


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

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

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

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

Регистрация

Логотипы