Pages that link to "Item:Q3731598"
From MaRDI portal
The following pages link to Nichtbeweisbarkeit von gewissen kombinatorischen Eigenschaften endlicher Bäume;Unprovability of certain combinatorial properties of finite trees (Q3731598):
Displaying 12 items.
- Proof-theoretic analysis of KPM (Q803124) (← links)
- The constructive Hilbert program and the limits of Martin-Löf type theory (Q813417) (← links)
- Necessary uses of abstract set theory in finite mathematics (Q1088658) (← links)
- Termination of rewriting (Q1098624) (← links)
- A new system of proof-theoretic ordinal functions (Q1109029) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
- Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen (Q3718711) (← links)
- Well-Quasi-Ordering Infinite Graphs with Forbidden Finite Planar Minor (Q3831057) (← links)
- An Unprovable Ramsey-Type Theorem (Q4031465) (← links)
- Recent Advances in Ordinal Analysis: Π<sup>1</sup><sub>2</sub>— CA and Related Systems (Q4873894) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
