A recursion principle for linear orderings

Journal of Symbolic Logic 57 (1):82-96 (1992)
The idea of this paper is to approach linear orderings as generalized ordinals and to study how they are made from their initial segments. First we look at how the equality of two linear orderings can be expressed in terms of equality of their initial segments. Then we shall use similar methods to define functions by recursion with respect to the initial segment relation. Our method is based on the use of a game where smaller and smaller initial segments of linear orderings are considered. The length of the game is assumed to exceed that of the descending sequences of elements of the linear orderings considered. By use of such game-theoretical methods we can for example extend the recursive definitions of the operations of sum, product and exponentiation of ordinals in a unique and natural way for arbitrary linear orderings. Extensions coming from direct limits do not satisfy our game-theoretic requirements in general. We also show how our recursive definitions allow very simple constructions for fixed points of functions, giving rise to certain interesting linear orderings
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2275177
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 27,215
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Game-Theoretic Inductive Definability.Juha Oikkonen & Jouko Väänänen - 1993 - Annals of Pure and Applied Logic 65 (3):265-306.
X Latin American Symposium on Mathematical Logic.Xavier Caicedo - 1996 - Association for Symbolic Logic: The Bulletin of Symbolic Logic 2 (2):214-237.
X Latin American Symposium on Mathematical Logic.Xavier Caicedo - 1996 - Bulletin of Symbolic Logic 2 (2):214-237.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

10 ( #429,057 of 2,164,542 )

Recent downloads (6 months)

1 ( #347,971 of 2,164,542 )

How can I increase my downloads?

My notes
Sign in to use this feature

There  are no threads in this forum
Nothing in this forum yet.

Other forums