Remarks on Identity and Description in First-Order Axiom Systems

Journal of Symbolic Logic 20 (1):81-83 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268101

Links

PhilArchive



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

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

Remarks on identity and description in first-order axiom systems.Theodore Hailperin - 1954 - Journal of Symbolic Logic 19 (1):14-20.
Hailperin Theodore. Remarks on identity and description in first-order axiom systems. [REVIEW]William Craig - 1955 - Journal of Symbolic Logic 20 (1):81-83.
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 the Comparison of Axiom Systems.Hao Wang - 1951 - Journal of Symbolic Logic 16 (2):142-143.
The Ordinals of the Systems of Second Order Arithmetic with the Provably ▵ 1 2 -Comprehension Axiom and with the ▵ 1 2 - Comprehension Axiom Respectively. [REVIEW]Gaisi Takeuti & Mariko Yasugi - 1983 - Journal of Symbolic Logic 48 (3):877-878.
The concept of personal identity.Steven Rieber - 1998 - Philosophy and Phenomenological Research 58 (3):581-594.
The Concept of Personal Identity.Steven Rieber - 1998 - Philosophy and Phenomenological Research 58 (3):581-594.
A Note on Relative Efficiency of Axiom Systems.Sandra Fontani, Franco Montagna & Andrea Sorbi - 1994 - Mathematical Logic Quarterly 40 (2):261-272.
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: Hao Wang, Remarks on the Comparison of Axiom Systems. [REVIEW]Andrzej Mostowski - 1951 - Journal of Symbolic Logic 16 (2):142-143.
The Ground Axiom.Jonas Reitz - 2007 - Journal of Symbolic Logic 72 (4):1299 - 1317.
On power set in explicit mathematics.Thomas Glass - 1996 - Journal of Symbolic Logic 61 (2):468-489.
Skolem Th.. Reduction of axiom systems with axiom schemes to systems with only simple axioms. Ebd., S. 239–246; auch ebd., S. 443–450. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):232-232.
Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles.Dan Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,387,520)

6 months
2 (#1,198,893)

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