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

Notre Dame Journal of Formal Logic 22 (4):375-378 (1981)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,856

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2010-08-24

Downloads
23 (#498,366)

6 months
1 (#386,016)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Peter Schotch
Dalhousie University

References found in this work

No references found.

Add more references

Citations of this work

On the Completeness of First Degree Weakly Aggregative Modal Logics.Peter Apostoli - 1997 - Journal of Philosophical Logic 26 (2):169-180.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.
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

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.
Semilinear Cell Decomposition.Nianzheng Liu - 1994 - Journal of Symbolic Logic 59 (1):199-208.
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.
Frege's Unofficial Arithmetic.Agustín Rayo - 2002 - Journal of Symbolic Logic 67 (4):1623-1638.