Rozdział w monografii
Brak miniatury
Licencja
ClosedAccessDostęp zamknięty

In Search of the First-Order Part of Ramsey’s Theorem for Pairs

Pokaż widok metadanych
DOI
10.1007/978-3-030-80049-9_27
Autor
Yokoyama, Keita
Kołodziejczyk, Leszek
Data publikacji
2021
Abstrakt (EN)

In reverse mathematics, determining the first-order consequences of Ramsey’s theorem for pairs and two colors is a long-standing open problem. In this paper, we give an overview of some recent developments related to this problem.

Dyscyplina PBN
matematyka
Tytuł monografii
Connecting with Computability: 17th Conference on Computability in Europe, CiE 2021, Virtual Event, Ghent, July 5–9, 2021, Proceedings
Strony od-do
297-307
Wydawca ministerialny
Springer International Publishing
Link do źródła
https://link.springer.com/content/pdf/10.1007/978-3-030-80049-9_27
Licencja otwartego dostępu
Dostęp zamknięty