On Harrington's partition relation

DOI10.1016/0097-3165(80)90075-8MaRDI QIDQ1152363zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

consistency of arithmeticPeano axiomsRamsey-like relationtheorem of Gödel

Mathematics Subject Classification ID

Consistency and independence results (03E35) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Cites work

• Graph theory
• scientific article; zbMATH DE number 3169205 (Why is no real title available?)
• scientific article; zbMATH DE number 3668587 (Why is no real title available?)
• scientific article; zbMATH DE number 3448610 (Why is no real title available?)
• scientific article; zbMATH DE number 3019031 (Why is no real title available?)
• Lower bounds for some Ramsey numbers
• Rapidly growing Ramsey functions
• Some remarks on the theory of graphs

Cited in

(1)

• Some bounds for the Ramsey-Paris-Harrington numbers

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)