Wang Hao. Between number theory and set theory. Mathematische Annalen, vol. 126 , pp. 385–409

Journal of Symbolic Logic 22 (1):82-83 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964068

Links

PhilArchive



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

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

Kemeny John G.. Undecidable problems of elementary number theory. Mathematische Annalen, vol. 135 , pp. 160–169.Th Skolem - 1958 - Journal of Symbolic Logic 23 (3):359-360.
Review: Hao Wang, Between Number Theory and Set Theory. [REVIEW]Richard Montague - 1957 - Journal of Symbolic Logic 22 (1):82-83.
Büchi J. Richard and Wright Jesse B.. The theory of proportionality as an abstraction of group theory. Mathematische Annalen, vol. 130 no. 2 , pp. 102–108. [REVIEW]Hugo Ribeiro - 1957 - Journal of Symbolic Logic 22 (4):369-369.
Wang Hao. The irreducibility of impredicative principles. Mathematische Annalen, vol. 125 no. 1 , pp. 56–66.Robert McNaughton - 1953 - Journal of Symbolic Logic 18 (3):265-266.
Schmidt Arnold. Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Mathematische Annalen, vol. 123 , pp. 187–200. [REVIEW]Hao Wang - 1952 - Journal of Symbolic Logic 17 (1):76-76.
Between Number Theory and Set Theory.Hao Wang - 1957 - Journal of Symbolic Logic 22 (1):82-83.
Ordinal Numbers and Predicative Set Theory.Hao Wang - 1959 - Mathematical Logic Quarterly 5 (14-24):216-239.
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17-18):283-288.
A number theory for the seminaturals.Samuel T. Stern - 1969 - Mathematical Logic Quarterly 15 (26-29):401-410.
A new theory of element and number.Hao Wang - 1948 - Journal of Symbolic Logic 13 (3):129-137.
Wang Ch Uan-Shan Jen Shih Lun Fan Ch Ou Yen Chiu.Yüan-Ning Ch En, Hsing-kuo Wang & Hung-chi Huang - 1982 - Hu-Nan Jen Min Ch U Pan She Hu-Nan Sheng Hsin Hua Shu Tien Fa Hsing.
A Contribution Toward Computable Number Theory.Albert A. Mullin - 1965 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 11 (2):117-119.
Rose Alan. Systems of logic whose truth-values form lattices. Mathematische Annalen, vol. 123 , pp. 152–165.Rose Alan. A lattice-theoretic characterisation of the ℵ0-valued Propositional Calculus. Mathematische Annalen, vol. 123 , pp. 285–287.Rose Alan. The degree of completeness of some Łukasiewicz-Tarski propositional calculi. The journal of the London Mathematical Society, vol. 26 , pp. 47–49. [REVIEW]A. R. Turquette - 1952 - Journal of Symbolic Logic 17 (2):147-148.
Wang Hao. The calculus of partial predicates and its extension to set theory I. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 283–288. [REVIEW]John Corcoran & John Herring - 1972 - Journal of Symbolic Logic 37 (3):617-617.
Partial Systems of Number Theory.Hao Wang - 1964 - Journal of Symbolic Logic 29 (3):147-147.

Analytics

Added to PP
2016-06-30

Downloads
15 (#919,495)

6 months
3 (#1,023,809)

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