Remarks on the Comparison of Axiom Systems

Journal of Symbolic Logic 16 (2):142-143 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2266703

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,551

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

Wang Hao. Remarks on the comparison of axiom systems. Proceedings of the National Academy of Sciences of the United States of America, vol. 36 , pp. 448–453. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.
Wang Hao. Arithmetic translations of axiom systems. Transactions of the American Mathematical Society, vol. 71 , pp. 283–293. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.
Wang Hao. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431. [REVIEW]Steven Orey - 1964 - Journal of Symbolic Logic 29 (4):208-208.
Wang Hao. Arithmetic models for formal systems. Methodos, vol. 3 , pp. 217–232.Solomon Feferman - 1955 - Journal of Symbolic Logic 20 (1):76-77.
Hao Wang. Undecidable sentences generated by semantic paradoxes. The journal of symbolic logic, vol. 20 , pp. 31–34. Reprinted Hao Wang. as Undecidable sentences suggested by semantic paradoxes, pp. 546–558.Steven Orey - 1965 - Journal of Symbolic Logic 30 (1):100.
Wang Hao. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1955, pp. 57–84. [REVIEW]Clifford Spector - 1957 - Journal of Symbolic Logic 22 (3):292-293.
Wang Hao. A formal system of logic.Theodore Hailperin - 1950 - Journal of Symbolic Logic 15 (3):228-229.
Review: Hao Wang, A survey of Mathematical logic. [REVIEW]Steven Orey - 1963 - Journal of Symbolic Logic 28 (4):288-289.
Wang Hao. The axiomatization of arithmetic.Roger Martin - 1962 - Journal of Symbolic Logic 27 (1):77-78.
Wang Hao. Logic of many-sorted theories.Arnold Schmidt - 1953 - Journal of Symbolic Logic 18 (1):77-77.

Analytics

Added to PP
2015-02-05

Downloads
10 (#1,474,523)

6 months
3 (#1,477,354)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references