z-logo
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

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here
Accelerating Research

Address

John Eccles House
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom