Extended operations and relations on the class of ordinal numbers

Artur Rubin; Jean Rubin

Displaying similar documents to “Extended operations and relations on the class of ordinal numbers”

Accumulation functions on the ordinals

Artur Rubin, Jean Rubin (1971)

Fundamenta Mathematicae

Similarity:

Formal definitions in the theory of ordinal numbers

Alonzo Church, S. Kleene (1937)

Fundamenta Mathematicae

Similarity:

An extended arithmetic of ordinal numbers

John Doner, Alfred Tarski (1969)

Fundamenta Mathematicae

Similarity:

A problem on series of ordinals

J. Hickman (1973)

Fundamenta Mathematicae

Similarity:

On a theorem in the theory of relations and a solution of a problem of Knaster

P. Erdös, E. Specker (1961)

Colloquium Mathematicae

Similarity:

Pinning countable ordinals

Fred Galvin, Jean Larson (1975)

Fundamenta Mathematicae

Similarity:

A well ordering of the Cartesian product of two ordinals

Alexander Abian (1980)

Archivum Mathematicum

Similarity:

Epsilon Numbers and Cantor Normal Form

Grzegorz Bancerek (2009)

Formalized Mathematics

Similarity:

An epsilon number is a transfinite number which is a fixed point of an exponential map: ωϵ = ϵ. The formalization of the concept is done with use of the tetration of ordinals (Knuth's arrow notation, ↑). Namely, the ordinal indexing of epsilon numbers is defined as follows: [...] and for limit ordinal λ: [...] Tetration stabilizes at ω: [...] Every ordinal number α can be uniquely written as [...] where κ is a natural number, n1, n2, …, nk are positive integers, and β1 > β2 > …...

Algebraic equivalence of ordinal numbers

P. Knight (1972)

Fundamenta Mathematicae

Similarity: