Q3770533
type: Item
instance of: scholarly article
zbMATH Open document ID: 0633.03059
author: Stephen H. Brackin
publication date: 1987-01-01T00:00:00Z
Mathematics Subject Classification ID: 03F35
zbMATH DE Number: 4029558
zbMATH Keywords: weak subsystems of second-order arithmetic
MaRDI profile type: Publication
Recommended article: A note on propositional proof complexity of some Ramsey-type statements
Recommended article: Some logically weak Ramseyan theorems
Recommended article: Q4317536
Recommended article: A short proof of the restricted Ramsey theorem for finite set systems
Recommended article: Weak AGM postulates and strong Ramsey test: A logical formalization
Recommended article: Q3912619
Recommended article: Q4282577
Recommended article: Q3204500
Recommended article: Using Ultrafilters to Prove Ramsey-type Theorems
Recommended article: A recursion theoretic analysis of the clopen Ramsey theorem
description: scientific article