Review: Hao Wang, Remarks on the Comparison of Axiom Systems [Book Review]

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

Links

PhilArchive



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

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

Review: Hao Wang, Arithmetic Translations of Axiom Systems. [REVIEW]Richard Montague - 1956 - Journal of Symbolic Logic 21 (4):402-403.
Review: Moh Shaw-Kwei, Some Axiom Systems for Propositional Calculus. [REVIEW]Hao Wang - 1960 - Journal of Symbolic Logic 25 (2):182-183.
Review: Olaf Helmer, A Few Remarks on the Syntax of Axiom-Systems. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (2):84-84.
Review: Theodore Hailperin, Remarks on Identity and Description in First-Order Axiom Systems. [REVIEW]William Craig - 1955 - Journal of Symbolic Logic 20 (1):81-83.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
Remarks on identity and description in first-order axiom systems.Theodore Hailperin - 1954 - Journal of Symbolic Logic 19 (1):14-20.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Reduction of axiom systems with axiom schemes to systems with only simple axioms.Th Skolem - 1958 - Dialectica 12 (3‐4):443-450.
Review: Hao Wang, Tag Systems and Lag Systems; John Cocke, Marvin Minsky, Universality of Tag Systems with $D = 2$; Stephen A. Cook, The Solvability of the Derivability Problem for One-Normal Systems. [REVIEW]Ann Yasuhara - 1971 - Journal of Symbolic Logic 36 (2):344-344.
Pure Proof Theory. Mathematicians are interested in structures. There is only one way to find the theorems of a structure. Start with an axiom system for the structure and deduce the theorems logically. These axiom systems are the objects of proof-theoretical research. Studying axiom systems there is a series of more. [REVIEW]Wolfram Pohlers - 1996 - Bulletin of Symbolic Logic 2 (2):159-188.
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
Conceptions and paradoxes of sets.G. Aldo Antonelli - 1999 - Philosophia Mathematica 7 (2):136-163.
A Note on Relative Efficiency of Axiom Systems.Sandra Fontani, Franco Montagna & Andrea Sorbi - 1994 - Mathematical Logic Quarterly 40 (2):261-272.

Analytics

Added to PP
2013-11-22

Downloads
3 (#1,686,544)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

First order logic with empty structures.Mohamed A. Amer - 1989 - Studia Logica 48 (2):169 - 177.

Add more citations

References found in this work

No references found.

Add more references