Consistency and Independence in Postulational Technique

Journal of Symbolic Logic 1 (2):66-67 (1936)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268558

Links

PhilArchive



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

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

Consistency and independence in postulational technique.Arnold F. Emch - 1936 - Philosophy of Science 3 (2):185-196.
Review: Arnold F. Emch, Consistency and Independence in Postulational Technique. [REVIEW]Everett J. Nelson - 1936 - Journal of Symbolic Logic 1 (2):66-67.
Emch Arnold F.. Consistency and independence in postulational technique. Philosophy of science, vol. 3 , pp. 185–196.Everett J. Nelson - 1936 - Journal of Symbolic Logic 1 (2):66-67.
Philosophy, psychology, and postulational technique.L. O. Kattsoff - 1939 - Psychological Review 46 (1):62-74.
Independence results.Saharon Shelah - 1980 - Journal of Symbolic Logic 45 (3):563-573.
The Independence of the Parallel Postulate and Development of Rigorous Consistency Proofs.David J. Stump - 2007 - History and Philosophy of Logic 28 (1):19-30.
The consistency of arithmetic.Storrs McCall - manuscript
Sequential decision making without independence: a new conceptual approach. [REVIEW]A. Nebout - 2014 - Theory and Decision 77 (1):85-110.
Update Procedures and the 1-Consistency of Arithmetic.Jeremy Avigad - 2002 - Mathematical Logic Quarterly 48 (1):3-13.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
Remarks on Independence Proofs and Indirect Reference.Günther Eder - 2013 - History and Philosophy of Logic 34 (1):68-78.
Independence logic and abstract independence relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.
Further consistency and independence results in NF obtained by the permutation method.T. E. Forster - 1983 - Journal of Symbolic Logic 48 (2):236-238.
Beltrami's model and the independence of the parallel postulate.J. Scanlan Michael - 1988 - History and Philosophy of Logic 9 (1):13-34.
On the origins of metamathematical investigations: Independence and consistency at the turn of the 19th century.Marco Borga - 2005 - Epistemologia 28 (1).

Analytics

Added to PP
2017-02-21

Downloads
7 (#1,388,145)

6 months
3 (#978,111)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Dag Prawitz on Proofs and Meaning.Heinrich Wansing (ed.) - 2015 - Cham, Switzerland: Springer.

Add more citations

References found in this work

No references found.

Add more references