Arithmetic operations on ordinals

Notre Dame Journal of Formal Logic 16 (4):578-582 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891903

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Formalisation Of The Arithmetic Of Ordinals Less Than.H. P. Williams - 1969 - Notre Dame Journal of Formal Logic 10 (January):77-89.
A formalisation of the arithmetic of the ordinals less than $W^\omega$.H. P. Williams - 1969 - Notre Dame Journal of Formal Logic 10 (1):77-89.
Some theories with positive induction of ordinal strength ϕω.Gerhard Jäger & Thomas Strahm - 1996 - Journal of Symbolic Logic 61 (3):818-842.
The tractatus system of arithmetic.Pasquale Frascolla - 1997 - Synthese 112 (3):353-378.
Second-order characterizable cardinals and ordinals.Benjamin R. George - 2006 - Studia Logica 84 (3):425 - 449.
About the proof-theoretic ordinals of weak fixed point theories.Gerhard Jäger & Barbara Primo - 1992 - Journal of Symbolic Logic 57 (3):1108-1119.
"True" arithmetic can prove its own consistency.Andrew Boucher -
A Covering Lemma for HOD of K (ℝ).Daniel W. Cunningham - 2010 - Notre Dame Journal of Formal Logic 51 (4):427-442.
Sums of at least $9$ ordinals. [REVIEW]Martin M. Zuckerman - 1973 - Notre Dame Journal of Formal Logic 14 (2):263-268.
Mathematical roots of phenomenology: Husserl and the concept of number.Mirja Hartimo - 2006 - History and Philosophy of Logic 27 (4):319-337.
On Some Compatible Operations on Heyting Algebras.Rodolfo Cristian Ertola Biraben & Hernán Javier San Martín - 2011 - Studia Logica 98 (3):331-345.
Sums of finitely many ordinals of various kinds.Martin M. Zuckerman - 1986 - Notre Dame Journal of Formal Logic 27 (4):572-578.
Classical arithmetic as part of intuitionistic arithmetic.Michael Potter - 1998 - Grazer Philosophische Studien 55 (1):127-41.
Equivalence of F with a sub-theory of peano arithmetic.Andrew Boucher - manuscript

Analytics

Added to PP
2010-08-24

Downloads
8 (#1,309,160)

6 months
1 (#1,472,167)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references