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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,873

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, Remarks on the Comparison of Axiom Systems. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
A Note on Relative Efficiency of Axiom Systems.Sandra Fontani, Franco Montagna & Andrea Sorbi - 1994 - Mathematical Logic Quarterly 40 (2):261-272.
Remarks on identity and description in first-order axiom systems.Theodore Hailperin - 1954 - Journal of Symbolic Logic 19 (1):14-20.
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.
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.
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.
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.
Self-verifying axiom systems, the incompleteness theorem and related reflection principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
Remarks on Levy's reflection axiom.Martin Dowd - 1993 - Mathematical Logic Quarterly 39 (1):79-95.
Conceptions and paradoxes of sets.G. Aldo Antonelli - 1999 - Philosophia Mathematica 7 (2):136-163.
Direct Proofs of Lindenbaum Conditionals.René Gazzari - 2014 - Logica Universalis 8 (3-4):321-343.
Foundations for the formalization of metamathematics and axiomatizations of consequence theories.Urszula Wybraniec-Skardowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):243-266.
Ternary Operations as Primitive Notions for Constructive Plane Geometry V.Victor Pambuccian - 1994 - Mathematical Logic Quarterly 40 (4):455-477.

Analytics

Added to PP
2015-02-05

Downloads
5 (#1,557,546)

6 months
1 (#1,508,101)

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