scientific article; zbMATH DE number 4029558

zbMATH Open0633.03059MaRDI QIDQ3770533FDOQ3770533

Authors: Stephen H. Brackin 

Publication date: 1987

Title of this publication is not available (Why is that?)

Recommendations

• A note on propositional proof complexity of some Ramsey-type statements
• Some logically weak Ramseyan theorems
• scientific article; zbMATH DE number 704226
• A short proof of the restricted Ramsey theorem for finite set systems
• Weak AGM postulates and strong Ramsey test: A logical formalization
• scientific article; zbMATH DE number 3724497
• scientific article; zbMATH DE number 517049
• Publication:3204500
• Using Ultrafilters to Prove Ramsey-type Theorems
• A recursion theoretic analysis of the clopen Ramsey theorem

zbMATH Keywords

weak subsystems of second-order arithmetic

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3770533)