Type-raising operations on cardinal and ordinal numbers in Quine's "new foundations"

Journal of Symbolic Logic 38 (1):59-68 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271726

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,779

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

Kleene S. C.. On notation for ordinal numbers.Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
Review: Chen Chung Chang, Anne C. Morel, Some Cancellation Theorems for Ordinal Products of Relations; Chen Chung Chang, Cardinal and Ordinal Multiplication of Relation Types; C. C. Chang, Ordinal Factorization of Finite Relations. [REVIEW]Ann M. Singleterry - 1966 - Journal of Symbolic Logic 31 (1):129-130.
Review: S. C. Kleene, On Notation for Ordinal Numbers. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (2):93-94.
On definition trees of ordinal recursive functonals: Reduction of the recursion orders by means of type level raising.Jan Terlouw - 1982 - Journal of Symbolic Logic 47 (2):395-402.
On a result of Szemerédi.Albin L. Jones - 2008 - Journal of Symbolic Logic 73 (3):953-956.
Review: Alonzo Church, S. C. Kleene, Formal Definitions in the Theory of Ordinal Numbers. [REVIEW]Barkley Rosser - 1937 - Journal of Symbolic Logic 2 (2):87-87.
Takeuti Gaisi. A formalization of the theory of ordinal numbers. Proceedings of the Symposium on the Foundations of Mathematics, held at Katada, Japan, 1962, Sponsored jointly by The Division of the Foundations of Mathematics of the Mathematical Society of Japan, The Sugaku Shinkokai, and The Toyo Spinning Company, Tokyo 1963, pp. 65–97.Takeuti Gaisi. A formalization of the theory of ordinal numbers. [REVIEW]Carol Karp - 1972 - Journal of Symbolic Logic 37 (1):192-193.
Foundations of mathematics.William S. Hatcher - 1968 - Philadelphia,: W. B. Saunders Co..
The Cardinal Squaring Principle and an Alternative Axiomatization of NFU.Tin Adlešić & Vedran Čačić - 2023 - Bulletin of the Section of Logic 52 (4):551-581.
Quine's New Foundations.T. E. Forster - 1985 - Journal of Symbolic Logic 50 (2):547-548.

Analytics

Added to PP
2009-01-28

Downloads
45 (#343,927)

6 months
16 (#218,157)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Systems of combinatory logic related to Quine's ‘New Foundations’.M. Randall Holmes - 1991 - Annals of Pure and Applied Logic 53 (2):103-133.
On the Typed Properties in Quine's “New Foundations”.André Pétry - 1979 - Mathematical Logic Quarterly 25 (7‐12):99-102.

Add more citations

References found in this work

Logic for Mathematicians.A. Robinson - 1953 - Journal of Symbolic Logic 18 (4):326-327.

Add more references