Ordinal Numbers and Predicative Set Theory

Mathematical Logic Quarterly 5 (14‐24):216-239 (1959)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19590051403

Links

PhilArchive



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

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

Ordinal Numbers and Predicative Set Theory.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14-24):216-239.
Ordinal Numbers and Predicative Set Theory.Hao Wang - 1965 - Journal of Symbolic Logic 30 (2):250-250.
Review: Hao Wang, Ordinal Numbers and Predicative Set Theory. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.
S. A. Cook and Hao Wang. Characterizations of ordinal numbers in set theory. Mathematische Annalen, vol. 164 , pp. 1–25. [REVIEW]Azriel Lévy - 1968 - Journal of Symbolic Logic 33 (1):113.
Wang Hao. Some formal details on predicative set theories. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 585–623. [REVIEW]Steven Orey - 1965 - Journal of Symbolic Logic 30 (2):250-250.
Wang Hao. Set-theoretical basis for real numbers.J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (3):216-216.
Review: Hao Wang, Set-Theoretical Basis for Real Numbers. [REVIEW]J. Barkley Rosser - 1951 - Journal of Symbolic Logic 16 (3):216-216.
Review: Hao Wang, Between Number Theory and Set Theory. [REVIEW]Richard Montague - 1957 - Journal of Symbolic Logic 22 (1):82-83.
Several Relations on the Class of Ordinal Numbers.Jean E. Rubin - 1963 - Mathematical Logic Quarterly 9 (23):351-357.
A Nonstandard Delta Function in a Predicative Theory.Peter Zahn - 1995 - Mathematical Logic Quarterly 41 (2):257-260.

Analytics

Added to PP
2013-11-03

Downloads
5 (#847,061)

6 months
31 (#500,116)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Systems of predicative analysis.Solomon Feferman - 1964 - Journal of Symbolic Logic 29 (1):1-30.
Predicativity and constructive mathematics.Laura Crosilla - 2022 - In Gianluigi Oliveri, Claudio Ternullo & Stefano Boscolo (eds.), Objects, Structures, and Logics. Cham (Switzerland): Springer.
How many numbers are there?Paul T. Sagal - 1973 - Philosophia Mathematica (2):155-164.

Add more citations

References found in this work

On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
A system of axiomatic set theory—Part I.Paul Bernays - 1937 - Journal of Symbolic Logic 2 (1):65-77.
Identity, variables, and impredicative definitions.K. Jaakko & J. Hintikka - 1956 - Journal of Symbolic Logic 21 (3):225-245.
Identity Variables, and Impredicative Definitions.Jaakko Hintikka - 1956 - Journal Fo Symbolic Logic 21 (3):225-245.

View all 7 references / Add more references