A Glimpse of $$ \sum_{3} $$-elementarity
From MaRDI portal
Publication:5013913
DOI10.1007/978-3-030-49424-7_21OpenAlexW3048722981MaRDI QIDQ5013913
Publication date: 3 December 2021
Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-49424-7_21
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\)
- Tracking chains of \(\varSigma_2\)-elementarity
- The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
- Ordinal arithmetic based on Skolem hulling
- \(\Sigma _{1}\)-elementarity and Skolem hull operators
- Ordinal notations based on a weakly Mahlo cardinal
- Proof theory. The first step into impredicativity
- Phase transitions for Gödel incompleteness
- Patterns of resemblance of order 2
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- Proof-theoretic investigations on Kruskal's theorem
- Proof theory of reflection
- A proof of strongly uniform termination for Gödel's \(T\) by methods from local predicativity
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
- Pure patterns of order 2
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
- Ordinal arithmetic and \(\Sigma_1\)-elementarity
- Pure \(\Sigma_2\)-elementarity beyond the core
- Arithmetical algorithms for elementary patterns
- Proof theory and ordinal analysis
- Functional Interpretations
- Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment
- Analysis of a Double Kruskal Theorem
- Ordinal arithmetic with simultaneously defined theta-functions
- Open Questions in Reverse Mathematics
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
- Π12-logic, Part 1: Dilators
- Accessible Independence Results for Peano Arithmetic
- A simplification of the Bachmann method for generating large countable ordinals
- Die Beziehungen Zwischen den OrdinalzahlsystemenΣ Und $$\bar \Theta \left( \omega \right)$$
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's T: a case study
- How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
- An application of graphical enumeration to PA *
- How to characterize provably total functions by local predicativity
- TRACKING CHAINS REVISITED
- Assignment of ordinals to patterns of resemblance
- Normal forms for elementary patterns
- FRIEDMAN-WEIERMANN STYLE INDEPENDENCE RESULTS BEYOND PEANO ARITHMETIC
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- On the restricted ordinal theorem
- The consistency of arithmetics
- Elementary patterns of resemblance
- Generalizing Kruskal's theorem to pairs of cohabitating trees
This page was built for publication: A Glimpse of $$ \sum_{3} $$-elementarity
