The following pages link to Ordinals and Knuth-Bendix Orders (Q2891472):
Displaying 20 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- Ordinal arithmetic based on Skolem hulling (Q866560) (← links)
- On ordinal diagrams (Q1130780) (← links)
- Ordinals. II: Some applications and a functorial approach (Q1817061) (← links)
- Ordinal notations and well-orderings in bounded arithmetic (Q1861331) (← links)
- Orders of indescribable sets (Q2505504) (← links)
- KBOs, ordinals, subrecursive hierarchies and all that (Q2987062) (← links)
- (Q3028996) (← links)
- A Survey on Ordinal Notations Around the Bachmann-Howard Ordinal (Q3305550) (← links)
- (Q3753997) (← links)
- Uncountable Gandy Ordinals (Q4133622) (← links)
- (Q4219044) (← links)
- On Series of Ordinals and Combinatorics (Q4333477) (← links)
- (Q4488993) (← links)
- AC-KBO revisited (Q4593023) (← links)
- Representing Ordinal Numbers with Arithmetically Interesting Sets of Real Numbers (Q5109419) (← links)
- Degrees of categoricity above limit ordinals (Q5131645) (← links)
- A Survey on Ordinal Notations Around the Bachmann–Howard Ordinal (Q5214782) (← links)
- Intuitionistic sets and ordinals (Q5687312) (← links)
- The theory of ordinal length (Q5962893) (← links)