Premium
Ordinal arithmetic with simultaneously defined theta‐functions
Author(s) -
Weiermann Andreas,
Wilken Gunnar
Publication year - 2011
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.200910125
Subject(s) - mathematics , second order arithmetic , order (exchange) , order type , partial function , point (geometry) , arithmetic , pure mathematics , discrete mathematics , algebra over a field , geometry , finance , peano axioms , economics
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