Pure patterns of order 2

DOI10.1016/J.APAL.2017.09.001MaRDI QIDQ1676328zbMATH OpenOpenAlexFDO

Authors Gunnar Wilken

Publication date 6 November 2017

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

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

zbMATH Keywords

elementary substructuresindependenceordinal notationspatterns of resemblanceproof theory

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Consistency and independence results (03E35) Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)

Abstract: We provide mutual elementary recursive order isomorphisms between classical ordinal notations, based on Skolem hulling, and notations from pure elementary patterns of resemblance of order $2$, showing that the latter characterize the proof-theoretic ordinal of the fragment $P{i}_1^1$-$mathrm{CA}_0$ of second order number theory, or equivalently the set theory $mathrm{KPl}_0$. As a corollary, we prove that Carlson's result on the well-quasi orderedness of respecting forests of order $2$ implies transfinite induction up to the ordinal of $mathrm{KPl}_0$. We expect that our approach will facilitate analysis of more powerful systems of patterns.

Recommendations

• Normal forms for elementary patterns
• Assignment of ordinals to patterns of resemblance
• Elementary patterns of resemblance
• Patterns of resemblance of order 2
• Tracking chains of \(\varSigma_2\)-elementarity

Cites work

• \(\Sigma _{1}\)-elementarity and Skolem hull operators
• Assignment of ordinals to patterns of resemblance
• Elementary patterns of resemblance
• Generalizing Kruskal's theorem to pairs of cohabitating trees
• scientific article; zbMATH DE number 922612 (Why is no real title available?)
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• Normal forms for elementary patterns
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Ordinal arithmetic based on Skolem hulling
• Patterns of resemblance of order 2
• Proof theory. The first step into impredicativity
• Pure \(\Sigma_2\)-elementarity beyond the core
• The higher infinite. Large cardinals in set theory from their beginnings.
• Tracking chains of \(\varSigma_2\)-elementarity
• Tracking chains revisited

Cited in

(11)

• Patterns of resemblance of order 2
• Pure \(\Sigma_2\)-elementarity beyond the core
• Patterns of resemblance and Bachmann-Howard fixed points
• A Glimpse of $$ \sum_{3} $$-elementarity
• Tracking chains revisited
• Assignment of ordinals to patterns of resemblance
• Normal forms for elementary patterns
• Elementary patterns of resemblance
• Tracking chains of \(\varSigma_2\)-elementarity
• Fundamental sequences based on localization
• Fundamental sequences based on localization

This page was built for publication: Pure patterns of order 2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1676328)