Pages that link to "Item:Q3809796"
From MaRDI portal
The following pages link to Ordinal numbers and the Hilbert basis theorem (Q3809796):
Displaying 24 items.
- Proof pearl: a formal proof of Higman's lemma in ACL2 (Q438550) (← links)
- The maximal linear extension theorem in second order arithmetic (Q634769) (← links)
- On Fraïssé's conjecture for linear orders of finite Hausdorff rank (Q1032636) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- The ignorance of Bourbaki (Q1200112) (← links)
- Reverse mathematics and its meaning (Q1312709) (← links)
- A note on ordinal numbers and rings of formal power series (Q1337497) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Dickson's lemma and weak Ramsey theory (Q1734268) (← links)
- An infinite natural product (Q1790445) (← links)
- A linear time algorithm for monadic querying of indefinite data over linearly ordered domains (Q1887153) (← links)
- Minimal bad sequences are necessary for a uniform Kruskal theorem (Q2125990) (← links)
- Mind change complexity of inferring unbounded unions of restricted pattern languages from positive data (Q2268856) (← links)
- Connected components of graphs and reverse mathematics (Q2277258) (← links)
- Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)
- Noetherian orders (Q3081324) (← links)
- The Reverse Mathematics of wqos and bqos (Q3295152) (← links)
- 2000 Annual Meeting of the Association for Symbolic Logic (Q4527937) (← links)
- THE BOREL COMPLEXITY OF ISOMORPHISM FOR O-MINIMAL THEORIES (Q4977215) (← links)
- REVERSE MATHEMATICS, YOUNG DIAGRAMS, AND THE ASCENDING CHAIN CONDITION (Q4977220) (← links)
- A MATHEMATICAL COMMITMENT WITHOUT COMPUTATIONAL STRENGTH (Q5046601) (← links)
- Reverse mathematics of the finite downwards closed subsets of ordered by inclusion and adjacent Ramsey for fixed dimension (Q5109219) (← links)
- Long finite sequences (Q5940305) (← links)
- Two applications of analytic functors (Q5958294) (← links)