The $n$-adic first-order undefinability of the Geach formula

, &
Notre Dame Journal of Formal Logic 22 (4):375-378 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093883516

Links

PhilArchive



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

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

Arithmetic definability by formulas with two quantifiers.Shih Ping Tung - 1992 - Journal of Symbolic Logic 57 (1):1-11.
Barcan Both Ways.Melvin Fitting - 1999 - Journal of Applied Non-Classical Logics 9 (2):329-344.
Anneaux de fonctions p-adiques.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.
The Translation of First Order Logic into Modal Predicate Logic.Beomin Kim - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:65-69.
Definability and undefinability with real order at the background.Yuri Gurevich & Alexander Rabinovich - 2000 - Journal of Symbolic Logic 65 (2):946-958.
Semilinear cell decomposition.Nianzheng Liu - 1994 - Journal of Symbolic Logic 59 (1):199-208.
A second course in logic.Christopher Gauker - manuscript
Quantifier elimination in Tame infinite p-adic fields.Ingo Brigandt - 2001 - Journal of Symbolic Logic 66 (3):1493-1503.
Fluted formulas and the limits of decidability.William C. Purdy - 1996 - Journal of Symbolic Logic 61 (2):608-620.
Geach on Generalization.Charles Sayward - 2002 - Dialogue 41 (2):221-.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Geach’s Categorial Grammar.Lloyd Humberstone - 2004 - Linguistics and Philosophy 28 (3):281 - 317.
On the axiomatization of finitek-frames.Fabio Bellissima & Massimo Mirolli - 1983 - Studia Logica 42 (4):383 - 388.
Frege's unofficial arithmetic.Agustín Rayo - 2002 - Journal of Symbolic Logic 67 (4):1623-1638.

Analytics

Added to PP
2010-08-24

Downloads
32 (#476,543)

6 months
7 (#364,455)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Schotch
Dalhousie University

Citations of this work

Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.
On the completeness of first degree weakly aggregative modal logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
Consequence as Preservation: Some Refinements.Bryson Brown - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 123--139.

Add more citations

References found in this work

No references found.

Add more references