Advanced search
1 file | 1.05 MB

Ordinal arithmetic with simultaneously defined theta-functions

(2011) MATHEMATICAL LOGIC QUARTERLY. 57(2). p.116-132
Author
Organization
Project
PTLC
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. (C) 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
Keywords
Proof theory, ordinal notations, PATTERNS, RESEMBLANCE, SIGMA(1)-ELEMENTARITY, PROOF, ordinal arithmetic, well partial orders, patterns of resemblance

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 1.05 MB

Citation

Please use this url to cite or link to this publication:

Chicago
Weiermann, Andreas, and Gunnar Wilken. 2011. “Ordinal Arithmetic with Simultaneously Defined Theta-functions.” Ed. Benedikt Loewe, Klaus Meer, and Pavel Pudlak. Mathematical Logic Quarterly 57 (2): 116–132.
APA
Weiermann, A., & Wilken, G. (2011). Ordinal arithmetic with simultaneously defined theta-functions. (B. Loewe, K. Meer, & P. Pudlak, Eds.)MATHEMATICAL LOGIC QUARTERLY, 57(2), 116–132.
Vancouver
1.
Weiermann A, Wilken G. Ordinal arithmetic with simultaneously defined theta-functions. Loewe B, Meer K, Pudlak P, editors. MATHEMATICAL LOGIC QUARTERLY. 2011;57(2):116–32.
MLA
Weiermann, Andreas, and Gunnar Wilken. “Ordinal Arithmetic with Simultaneously Defined Theta-functions.” Ed. Benedikt Loewe, Klaus Meer, & Pavel Pudlak. MATHEMATICAL LOGIC QUARTERLY 57.2 (2011): 116–132. Print.
@article{1246819,
  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. (C) 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim},
  author       = {Weiermann, Andreas and Wilken, Gunnar },
  editor       = {Loewe, Benedikt  and Meer, Klaus  and Pudlak, Pavel},
  issn         = {0942-5616},
  journal      = {MATHEMATICAL LOGIC QUARTERLY},
  keywords     = {Proof theory,ordinal notations,PATTERNS,RESEMBLANCE,SIGMA(1)-ELEMENTARITY,PROOF,ordinal arithmetic,well partial orders,patterns of resemblance},
  language     = {eng},
  number       = {2},
  pages        = {116--132},
  title        = {Ordinal arithmetic with simultaneously defined theta-functions},
  url          = {http://dx.doi.org/10.1002/malq.200910125},
  volume       = {57},
  year         = {2011},
}

Altmetric
View in Altmetric
Web of Science
Times cited: