Pure \(\Sigma_2\)-elementarity beyond the core

DOI10.1016/j.apal.2021.103001OpenAlexW2760859986MaRDI QIDQ2041963

Gunnar Wilken

Publication date: 26 July 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1710.01870

zbMATH Keywords

proof theoryordinal arithmeticordinal notationselementary substructurespatterns of resemblance

Mathematics Subject Classification ID

Consistency and independence results (03E35) Model theory of finite structures (03C13) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10)

Related Items

Pure patterns of order 2 ⋮ A Glimpse of $$ \sum_{3} $$-elementarity

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
• 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
• 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
• Arithmetical algorithms for elementary patterns
• Proof theory and ordinal analysis
• Analysis of a Double Kruskal Theorem
• Ordinal arithmetic with simultaneously defined theta-functions
• Open Questions in Reverse Mathematics
• 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 to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• An application of graphical enumeration to PA *
• A Glimpse of $$ \sum_{3} $$-elementarity
• 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
• Elementary patterns of resemblance
• Generalizing Kruskal's theorem to pairs of cohabitating trees