scientific article; zbMATH DE number 7577570
From MaRDI portal
Publication:5101339
Junyan Xu, Jeff Erickson, Gabriel Nivasch
Publication date: 30 August 2022
Full work available at URL: https://arxiv.org/abs/2003.14342
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Cites Work
- On Gödel incompleteness and finite combinatorics
- The varieties of arboreal experience
- A dual form of Ramsey's theorem
- Harvey Friedman's research on the foundations of mathematics
- An independence result for \((\Pi^ 1_ 1-CA)+BI\)
- Some rapidly growing functions
- Proof-theoretic investigations on Kruskal's theorem
- Polynomial functions with exponentiation are well ordered
- Well-Partial Orderings and their Maximal Order Types
- Accessible Independence Results for Peano Arithmetic
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- A classification of the ordinal recursive functions
- Eine Klassifikation der ε0‐Rekursiven Funktionen
- Ordinal recursion, and a refinement of the extended Grzegorczyk hierarchy
- On the interpretation of non-finitist proofs–Part II
- A concise introduction to mathematical logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
