An extended arithmetic of ordinal numbers
John Doner, Alfred Tarski (1969)
Fundamenta Mathematicae
Similarity:
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: