Many-sorted elementary equivalence

Notre Dame Journal of Formal Logic 29 (4):530-542 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093638017

Links

PhilArchive



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

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

An elementary notion of gauge equivalence.Gordon Belot - 2008 - General Relativity and Gravitation 40 (1):199–215.
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes.Daniele Mundici - 1981 - Studia Logica 40 (3):253 - 267.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
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.
An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Preservation of elementary equivalence under scalar extension.Bruce I. Rose - 1982 - Journal of Symbolic Logic 47 (4):734-738.
A note on elementary equivalence of c(k) space.S. Heinrich, C. Ward Henson & L. C. Moore - 1987 - Journal of Symbolic Logic 52 (2):368-373.
An algebraic result about soft model theoretical equivalence relations with an application to H. Friedman's fourth problem.Daniele Mundici - 1981 - Journal of Symbolic Logic 46 (3):523-530.
Elementary equivalence of cσ(k) spaces for totally disconnected, compact hausdorff K.S. Heinrich, C. Ward Henson & L. C. Moore - 1986 - Journal of Symbolic Logic 51 (1):135 - 146.
Maximal R.e. Equivalence relations.Jeffrey S. Carroll - 1990 - Journal of Symbolic Logic 55 (3):1048-1058.
On Elementary Equivalence for Equality-free Logic.E. Casanovas, P. Dellunde & R. Jansana - 1996 - Notre Dame Journal of Formal Logic 37 (3):506-522.
Bisimulations and predicate logic.Tim Fernando - 1994 - Journal of Symbolic Logic 59 (3):924-944.
Thin equivalence relations and effective decompositions.Greg Hjorth - 1993 - Journal of Symbolic Logic 58 (4):1153-1164.
First-order expressivity for s5-models: Modal vs. two-sorted languages.Holger Sturm & Frank Wolter - 2001 - Journal of Philosophical Logic 30 (6):571-591.

Analytics

Added to PP
2010-08-24

Downloads
10 (#1,160,791)

6 months
4 (#818,853)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references