Some Elementary Results About the Equivalence of Computability and Decidability

Mathematical Logic Quarterly 37 (5‐6):77-84 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19910370503

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

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

A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.
Transfer Principles in Set Theory.Harvey M. Friedman - unknown
An elementary notion of gauge equivalence.Gordon Belot - 2008 - General Relativity and Gravitation 40 (1):199–215.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.
Computable and continuous partial homomorphisms on metric partial algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
An elementary system as and its semi‐completeness and decidability.Qin Jun - 1992 - Mathematical Logic Quarterly 38 (1):305-320.
Typical ambiguity and elementary equivalence.Daniel Dzierzgowski - 1993 - Mathematical Logic Quarterly 39 (1):436-446.
Constructibility and Decidability versus Domain Independence and Absoluteness.Arnon Avron - unknown
Decidability ofstit theory with a single agent andrefref equivalence.Ming Xu - 1994 - Studia Logica 53 (2):259 - 298.
Approximate decidability in euclidean spaces.Armin Hemmerling - 2003 - Mathematical Logic Quarterly 49 (1):34-56.
A group-theoretical invariant for elementary equivalence and its role in representations of elementary classes.Daniele Mundici - 1981 - Studia Logica 40 (3):253 - 267.
On elementary equivalence in fuzzy predicate logics.Pilar Dellunde & Francesc Esteva - 2013 - Archive for Mathematical Logic 52 (1-2):1-17.
Deducibility and decidability.R. R. Rockingham Gill - 1990 - New York: Routledge.

Analytics

Added to PP
2013-12-01

Downloads
5 (#1,544,856)

6 months
2 (#1,206,802)

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