Ordinal arithmetic with simultaneously defined theta-functions
From MaRDI portal
Recommendations
- How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
- scientific article; zbMATH DE number 4150146
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
- A comparison of two systems of ordinal notations
- scientific article; zbMATH DE number 1390277
Cites work
- \(\Sigma _{1}\)-elementarity and Skolem hull operators
- A new system of proof-theoretic ordinal functions
- A simplification of the Bachmann method for generating large countable ordinals
- Assignment of ordinals to patterns of resemblance
- Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und \bar \Theta \left( \omega \right)
- Ein Bezeichnungssystem für Ordinalzahlen
- Elementary patterns of resemblance
- scientific article; zbMATH DE number 1226875 (Why is no real title available?)
- Normal forms for elementary patterns
- Ordinal arithmetic based on Skolem hulling
- Patterns of resemblance of order 2
- Proof-theoretic investigations on Kruskal's theorem
- Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
- The Bachmann-Howard structure in terms of _1-elementarity
- Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture
Cited in
(6)- Pure \(\Sigma_2\)-elementarity beyond the core
- Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
- A Glimpse of $$ \sum_{3} $$-elementarity
- Bachmann-Howard derivatives
- Tracking chains of \(\varSigma_2\)-elementarity
- Fundamental sequences based on localization
This page was built for publication: Ordinal arithmetic with simultaneously defined theta-functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996224)
