Ordinal arithmetic with simultaneously defined theta‐functions

&
Mathematical Logic Quarterly 57 (2):116-132 (2011)
  Copy   BIBTEX

Abstract

This article provides a detailed comparison between two systems of collapsing functions. These functions play a crucial role in proof theory, in the analysis of patterns of resemblance, and the analysis of maximal order types of well partial orders. The exact correspondence given here serves as a starting point for far reaching extensions of current results on patterns and well partial orders. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.200910125

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Analytics

Added to PP
2013-11-03

Downloads
27 (#557,528)

6 months
12 (#178,599)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Pure Σ2-elementarity beyond the core.Gunnar Wilken - 2021 - Annals of Pure and Applied Logic 172 (9):103001.
Tracking chains of Σ 2 -elementarity.Timothy J. Carlson & Gunnar Wilken - 2012 - Annals of Pure and Applied Logic 163 (1):23-67.
Bachmann–Howard derivatives.Anton Freund - 2023 - Archive for Mathematical Logic 62 (5):581-618.

Add more citations

References found in this work

Subsystems of Second Order Arithmetic.Stephen G. Simpson - 1999 - Studia Logica 77 (1):129-129.
Proof theory.K. Schütte - 1977 - New York: Springer Verlag.
Proof-theoretic investigations on Kruskal's theorem.Michael Rathjen & Andreas Weiermann - 1993 - Annals of Pure and Applied Logic 60 (1):49-88.
A new system of proof-theoretic ordinal functions.W. Buchholz - 1986 - Annals of Pure and Applied Logic 32:195-207.

View all 18 references / Add more references