An extended arithmetic of ordinal numbers
John Doner, Alfred Tarski (1969)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Displaying similar documents to “Definability in the extended arithmetic of ordinal numbers”
An extended arithmetic of ordinal numbers
Algebraic equivalence of ordinal numbers
P. Knight (1972)
Fundamenta Mathematicae
Similarity:
The strength of Turing determinacy within second order arithmetic
Antonio Montalbán, Richard A. Shore (2016)
Fundamenta Mathematicae
Similarity:
We investigate the reverse mathematical strength of Turing determinacy up to Σ₅⁰, which is itself not provable in second order arithmetic.
Accumulation functions on the ordinals
Artur Rubin, Jean Rubin (1971)
Fundamenta Mathematicae
Similarity:
Extended operations and relations on the class of ordinal numbers
Artur Rubin, Jean Rubin (1969)
Fundamenta Mathematicae
Similarity:
An Ordering of the set of Sentences of Peano Arithmetic
Aleksandar Ignjatović (1985)
Publications de l'Institut Mathématique
Similarity:
Some remarks on bicommutability
M. Artigue, E. Isambert, M. Perrin, A. Zalc (1978)
Fundamenta Mathematicae
Similarity:
Algebra with Arithmetic and Mensuration
Brahmagupta
Similarity:
The Elements of Arithmetic
Augustus DeMorgan
Similarity:
Some proofs of undecidability of arithmetic
Andrzej Grzegorczyk (1956)
Fundamenta Mathematicae
Similarity:
The Philosophy of Arithmetic
John Leslie
Similarity: