Partial orders and immunity in reverse mathematics
From MaRDI portal
Publication:4628351
DOI10.3233/COM-170071zbMath1435.03031OpenAlexW2610989903MaRDI QIDQ4628351
Publication date: 20 March 2019
Published in: Computability (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/com-170071
Partial orders, general (06A06) Combinatorics of partially ordered sets (06A07) Foundations of classical theories (including reverse mathematics) (03B30) Ramsey theory (05D10) Second- and higher-order arithmetic and fragments (03F35)
Related Items
An inside/outside Ramsey theorem and recursion theory ⋮ (EXTRA)ORDINARY EQUIVALENCES WITH THE ASCENDING/DESCENDING SEQUENCE PRINCIPLE