๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Ordinal arithmetic and(Sigma_{1})-elementarity

โœ Scribed by Timothy J. Carlson

Book ID
105842594
Publisher
Springer
Year
1999
Tongue
English
Weight
103 KB
Volume
38
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

ORDINAL NUMBERS IN ARITHMETIC PROGRESSIO
ORDINAL NUMBERS IN ARITHMETIC PROGRESSION
โœ Frederick Bagemihl; F. Bagemihl ๐Ÿ“‚ Article ๐Ÿ“… 1992 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 209 KB

## Abstract The class of all ordinal numbers can be partitioned into two subclasses in such a way that neither subclass contains an arithmetic progression of order type ฯ‰, where an arithmetic progression of order type ฯ„ means an increasing sequence of ordinal numbers (รŸ + ฮดฮณ)ฮณ<ฮณ<>r, ฮด โ‰  0.

Ordinal arithmetic with simultaneously d
Ordinal arithmetic with simultaneously defined theta-functions
โœ Andreas Weiermann; Gunnar Wilken ๐Ÿ“‚ Article ๐Ÿ“… 2011 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 187 KB

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 st