A Result on Consistency and Its Application to the Theory of Definition

Journal of Symbolic Logic 25 (2):174-174 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964240

Links

PhilArchive



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

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: Abraham Robinson, A Result on Consistency and Its Application to the Theory of Definition. [REVIEW]William Craig - 1960 - Journal of Symbolic Logic 25 (2):174-174.
A combinatorial result related to the consistency of New Foundations.Athanassios Tzouvaras - 2011 - Annals of Pure and Applied Logic 162 (5):373-383.
Truth definitions without exponentiation and the Σ₁ collection scheme.Zofia Adamowicz, Leszek Aleksander Kołodziejczyk & Jeff Paris - 2012 - Journal of Symbolic Logic 77 (2):649-655.
The Finitistic Consistency of Heck’s Predicative Fregean System.Luís Cruz-Filipe & Fernando Ferreira - 2015 - Notre Dame Journal of Formal Logic 56 (1):61-79.
On a new Definition of Theoreticity.Wolfgang Balzer - 1985 - Dialectica 39 (2):127-145.
A remark on the tree property in a choiceless context.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (5-6):585-590.
The consistency strength of an infinitary Ramsey property.George Kafkoulis - 1994 - Journal of Symbolic Logic 59 (4):1158-1195.
Tarski's definition of truth and the correspondence theory.Herbert Keuth - 1978 - Philosophy of Science 45 (3):420-430.
Monotone inductive definitions in a constructive theory of functions and classes.Shuzo Takahashi - 1989 - Annals of Pure and Applied Logic 42 (3):255-297.
Definitions, dictionaries, and meanings.Norman Swartz - manuscript
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
Herbrand consistency of some arithmetical theories.Saeed Salehi - 2012 - Journal of Symbolic Logic 77 (3):807-827.
Joint actions and group agents.Philip Pettit & David Schweikard - 2006 - Philosophy of the Social Sciences 36 (1):18-39.
Tarski on “essentially richer” metalanguages.David DeVidi & Graham Solomon - 1999 - Journal of Philosophical Logic 28 (1):1-28.
Inaccessible set axioms may have little consistency strength.L. Crosilla & M. Rathjen - 2002 - Annals of Pure and Applied Logic 115 (1-3):33-70.

Analytics

Added to PP
2015-02-05

Downloads
36 (#441,393)

6 months
5 (#626,659)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Failure of interpolation in relevant logics.Alasdair Urquhart - 1993 - Journal of Philosophical Logic 22 (5):449 - 479.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references