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

Объявления

C 16.09.24 семинар будет проходить по понедельникам, начало в 16:00, ауд. 313 МИАН.

28.01.2025 Мы присоединяемся к международному семинару Общества Доказательств (the Proof Society). Объявления будут публиковаться в том числе на этой станице и рассылаться по спискам рассылки Logic Online Seminar.

04.02.2025 По техническим причинам мы переходим на использование платформы Контур Толк. Она работает из браузера примерно как Zoom, регистрации не требуется. Ссылки для подключения будут распространяться по спискам рассылки как обычно.

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

21.04.2025 Anna Dmitrieva (U. of East Anglia): Complex field with quasiminimal structure (online)

Zilber's Quasiminimality Conjecture states that the complex field equipped with the exponential function is quasiminimal, i.e. every definable subset is countable or co-countable. Despite remaining open, this conjecture led to multiple new concepts and results. One of the directions inspired by the conjecture is the investigation of analogous conjectures where the exponential map is replaced with another function or a function-like object. In most cases the obtained conjecture seems to stay as difficult as the exponential one; as pointed out by Koiran and Wilkie, it even remains open whether adding all entire functions to the complex field would make it quasiminimal or non-quasiminimal. In this talk we provide two quasiminimal examples of this sort: first one involves a correspondence between two elliptic curves, while the second one considers the theory of a generic function, as introduced by Zilber in 2002.

14.04.2025 Л.Д. Бекелмишев: Фрагменты арифметики и циклические доказательства (очный доклад)

(по совместной работе с Данияром Шамкановым и Иваном Смирновым)

Мы формулируем альтернативную циклическую систему доказательств для арифметики Пеано, которая, возможно, проще существующих и адаптирована как для анализа формальных доказательств, так и для автоматизации поиска индуктивных доказательств. Мы показываем, как различные традиционные подсистемы арифметики Пеано, определяемые ограниченными формами индукции, могут быть представлены в качестве фрагментов предлагаемой системы.

Прошедшие доклады

Записи докладов можно найти в конце этой страницы

07.04.2025 Yanjing Wang (Peking University): Knowing how to understand intuitionistic logic (and its relatives) (online)

24.03.2025 В.Л. Селиванов, И.В. Смирнов (СПбГУ): Ординальные инварианты гомоморфных предпорядков к-размеченных лесов (online)

10.03.2025 Тихон Пшеницын (МИАН, аспирант): Интуиционистская линейная логика первого порядка и гиперграфовые языки (очный доклад)

03.03.2025, the Proof Society Seminar, 13:00 UTC (16:00 MSK), Henry Towsner (University of Pennsylvania): Proofs that Modify Proofs (online)

24.02.2025 Д. И. Савельев (МФТИ): Об отношениях между предпорядками Рудин – Кейслера и Комфорта, часть I (очный)

17.02.2025, совместно с семинаром С.И. Адяна, Алексей Мясников (Институт Стивенса): First-order classification, non-standard models, and interpretations

10.02.2025 Alexandar Perović (Beograd, Srbija): Beyond the class of locally finite height Kripke models for provability logic (online)

03.02.2025, the Proof Society Seminar, 13:00 UTC (16:00 MSK) Jeremy Avigad (Carnegie Mellon University): Verifying Proofs on Blockchain

23.12.2024 М.В. Валинкин (МГУ), С.Л. Кузнецов (МИАН): Реляционные модели для исчисления Ламбека с субэкспоненциалом нелокального сокращения (очный)

16.12.2024 А.Я. Канель-Белов (Бар-Илан, МФТИ, МГУ): Алгоритмическая неразрешимость проблемы вложения алгебраических многообразий (очный)

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

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

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

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