Appendix: Proof of Elementary Equivalence

[author unknown]
Journal of Philosophy 103 (3):159-162 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

0022362X

DOI

10.5840/jphil2006103337

Links

PhilArchive



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

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

On the concept of proof in elementary geometry Pirmin stekeler-weithofer.Proof In Elementary - 1992 - In Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. Routledge.
An elementary notion of gauge equivalence.Gordon Belot - 2008 - General Relativity and Gravitation 40 (1):199–215.
Typical ambiguity and elementary equivalence.Daniel Dzierzgowski - 1993 - Mathematical Logic Quarterly 39 (1):436-446.
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes.Daniele Mundici - 1981 - Studia Logica 40 (3):253 - 267.
A Language for Category Theory in which Natural Equivalence Implies Elementary Equivalence of Models.A. Preller - 1985 - Mathematical Logic Quarterly 31 (14‐18):227-234.
On Conditional Proof in Elementary Logic.Leigh S. Cauman - 2000 - Teaching Philosophy 23 (4):353-357.
Elementary equivalence of some rings of definable functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
A proof–theoretic study of the correspondence of hybrid logic and classical logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
An Arbitrary Equivalence Relation as Elementary Equivalence in an Abstract Logic.Mark E. Nadel - 1980 - Mathematical Logic Quarterly 26 (7‐9):103-109.
Interpolation in fragments of classical linear logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars.Wojciech Zielonka - 1978 - Studia Logica 37 (1):41 - 57.
Univers positifs.Bruno Poizat - 2006 - Journal of Symbolic Logic 71 (3):969 - 976.
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane.Bart Kuijpers, Jan Paredaens & Jan Van Den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530 - 1555.
Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.

Analytics

Added to PP
2015-01-22

Downloads
52 (#301,378)

6 months
2 (#1,229,212)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Memo to authors.[author unknown] - 2009 - Journal of Philosophy 106 (12):696-696.

Add more citations

References found in this work

No references found.

Add more references