On Harrington's partition relation
DOI10.1016/0097-3165(80)90075-8zbMATH Open0461.03011OpenAlexW2044489715MaRDI QIDQ1152363FDOQ1152363
Authors: Miroslav Benda
Publication date: 1980
Published in: Journal of Combinatorial Theory. Series A (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0097-3165(80)90075-8
consistency of arithmeticPeano axiomsRamsey-like relation[https://portal.mardi4nfdi.de/w/index.php?title=+Special%3ASearch&search=theorem+of+G%EF%BF%BD%EF%BF%BDdel&go=Go theorem of G��del]
Consistency and independence results (03E35) First-order arithmetic and fragments (03F30) Relative consistency and interpretations (03F25)
Cites Work
Cited In (1)
This page was built for publication: On Harrington's partition relation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1152363)