Bachmann-Howard derivatives
From MaRDI portal
Publication:6103503
DOI10.1007/s00153-022-00851-5arXiv2105.09915OpenAlexW3160890305MaRDI QIDQ6103503
Publication date: 5 June 2023
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.09915
Bachmann-Howard ordinaldilatorswell partial ordersFriedman's gap conditionordinal collapsing functions
Partial orders, general (06A06) Trees (05C05) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Recursive ordinals and ordinal notations (03F15)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An order-theoretic characterization of the Howard-Bachmann-hierarchy
- Harvey Friedman's research on the foundations of mathematics
- Proof-theoretic investigations on Kruskal's theorem
- Lengths of developments in \(K((G))\)
- Minimal bad sequences are necessary for a uniform Kruskal theorem
- Well-partial-orderings and the big Veblen number
- \(\Pi_1^1\)-comprehension as a well-ordering principle
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
- Ordinal arithmetic with simultaneously defined theta-functions
- A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
- Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
- Π12-logic, Part 1: Dilators
- Orderings of monomial ideals
- From Kruskal’s theorem to Friedman’s gap condition
- PREDICATIVE COLLAPSING PRINCIPLES
- Computable aspects of the Bachmann–Howard principle
- A categorical construction of Bachmann–Howard fixed points
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Ordering by Divisibility in Abstract Algebras
