- Популярные видео
- Авто
- Видео-блоги
- ДТП, аварии
- Для маленьких
- Еда, напитки
- Животные
- Закон и право
- Знаменитости
- Игры
- Искусство
- Комедии
- Красота, мода
- Кулинария, рецепты
- Люди
- Мото
- Музыка
- Мультфильмы
- Наука, технологии
- Новости
- Образование
- Политика
- Праздники
- Приколы
- Природа
- Происшествия
- Путешествия
- Развлечения
- Ржач
- Семья
- Сериалы
- Спорт
- Стиль жизни
- ТВ передачи
- Танцы
- Технологии
- Товары
- Ужасы
- Фильмы
- Шоу-бизнес
- Юмор
Jeffry Hirst - Some conservation results for higher order reverse mathematics
This lecture was part of the Workshop on "Reverse Mathematics: New Paradigms" held at the ESI August 4 - 8, 2025.
This talk examines conservation results for some weak systems of higher order reverse mathematics over second order arithmetic. Results of this sort can allow the use of expressive higher order axioms to prove results in traditional subsystems. Older results will be surveyed, with the inclusion of some newer and preliminary work, plus open questions.
Видео Jeffry Hirst - Some conservation results for higher order reverse mathematics канала Erwin Schrödinger International Institute for Mathematics and Physics (ESI)
This talk examines conservation results for some weak systems of higher order reverse mathematics over second order arithmetic. Results of this sort can allow the use of expressive higher order axioms to prove results in traditional subsystems. Older results will be surveyed, with the inclusion of some newer and preliminary work, plus open questions.
Видео Jeffry Hirst - Some conservation results for higher order reverse mathematics канала Erwin Schrödinger International Institute for Mathematics and Physics (ESI)
Комментарии отсутствуют
Информация о видео
Другие видео канала
Muthusamy Rajaguru - Fully stabilized Minkowski vacua in the 26 Landau-Ginzburg model
Peter Hintz - Gluing black holes along timelike geodesics
Paddy Royall - Yielding in Colloidal Systems Far-From-Equilibrium: from Gels to Active Matter
Mustansir Barma - Coarsening, condensates and extremes in aggregation-fragmentation models
Francesco Bonechi - Morita Invariance of Quasi Poisson Structures
Francisco Javier Beron-Vera - Nonlinear dynamics insights into ``golden tides'' in the Caribbean Sea
Tobias Diez - Infinite-dimensional Symplectic Geometry, Part 1
Gitta Kutyniok - Reliable AI: Successes, Challenges, and Limitations
Jose Calderon-Infante - Tensionless Strings Limits in 4d Conformal Manifolds
Eva Pavarini - Finding true Kugel-Khomskii materials
Eugene Skvortsov - Strong homotopy algebras for higher spin gravity and 3d bosonization duality
Fedor Pakhomov - Higman's lemma for bqo's is provable in ATR₀
David Fernández-Duque - Return of the Goodstein
Jean-Pierre Croisille - Finite difference schemes for several partial differential equations...
Olav Nygaard Dovland - Diameter 2 properties, a survey
Ulrich Kohlenbach - Logical analysis of proofs in non-smooth optimization using set-valued mono...
Miguel Aguilar - The Reverse Mathematics of the Mountain Pass Theorem
Andreas Weiermann - How to treat Goodstein sequences via well partial orders.
Miguel Aguilar - The Reverse Mathematics of the Mountain Pass Theorem (Part II)
Ulrich Gerland - Rare event statistics and molecular bet-hedging in enzyme systems
