On two mathematical definitions of observational equivalence: Manifest isomorphism and ε - congruence reconsidered

Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (2):69-76 (2013)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.shpsb.2012.11.001

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

On two mathematical definitions of observational equivalence: Manifest isomorphism and epsilon-congruence reconsidered.Christopher Belanger - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (2):69-76.
On two mathematical definitions of observational equivalence: Manifest isomorphism and reconsidered.Christopher Belanger - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (2):69-76.
Isomorphism Testing For Equivalence Relations.Edward Szczypka - 1996 - Reports on Mathematical Logic:101-109.
Congruences and ideals on Boolean modules: a heterogeneous point of view.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2011 - Mathematical Logic Quarterly 57 (6):571-581.
The Borel Complexity of Isomorphism for Theories with Many Types.David Marker - 2007 - Notre Dame Journal of Formal Logic 48 (1):93-97.
Borel equivalence relations and classifications of countable models.Greg Hjorth & Alexander S. Kechris - 1996 - Annals of Pure and Applied Logic 82 (3):221-272.
Congruences and ideals on Peirce algebras: a heterogeneous/homogeneous point of view.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2012 - Mathematical Logic Quarterly 58 (4-5):252-262.
On Computability Theoretic Properties of Structures and Their Cartesian Products.Bakhadyr Khoussainov - 2000 - Mathematical Logic Quarterly 46 (4):467-476.
Abductive Equivalence in First-order Logic.Katsumi Inoue & Chiaki Sakama - 2006 - Logic Journal of the IGPL 14 (2):333-346.
An approach to deciding the observational equivalence of Algol-like languages.C. -H. L. Ong - 2004 - Annals of Pure and Applied Logic 130 (1-3):125-171.
Isomorphism of Homogeneous Structures.John D. Clemens - 2009 - Notre Dame Journal of Formal Logic 50 (1):1-22.
The relation of recursive isomorphism for countable structures.Riccardo Camerlo - 2002 - Journal of Symbolic Logic 67 (2):879-895.
Weyl on Fregean Implicit Definitions: Between Phenomenology and Symbolic Construction.Demetra Christopoulou - 2014 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 45 (1):35-47.
Fibring: completeness preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.
Multi‐term π‐institutions and their equivalence.José Gil-Férez - 2006 - Mathematical Logic Quarterly 52 (5):505-526.

Analytics

Added to PP
2017-02-20

Downloads
23 (#661,981)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christopher Belanger
University of Toronto

Citations of this work

The ergodic hierarchy.Roman Frigg & Joseph Berkovitz - 2011 - Stanford Encyclopedia of Philosophy.

Add more citations

References found in this work

No references found.

Add more references