Real‐Time Decidability, Computability, Countability and Generability

Mathematical Logic Quarterly 14 (18):283-288 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19680141804

Links

PhilArchive



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

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

Computability Theory: An Introduction to Recursion Theory.Herbert B. Enderton - 2010 - Academic Press.
A guarded fragment for abstract state machines.Antje Nowack - 2005 - Journal of Logic, Language and Information 14 (3):345-368.
Machines Over the Reals and Non‐Uniformity.Felipe Cucker - 1997 - Mathematical Logic Quarterly 43 (2):143-157.
On the decidability of the real field with a generic power function.Gareth Jones & Tamara Servi - 2011 - Journal of Symbolic Logic 76 (4):1418-1428.
Approximate decidability in euclidean spaces.Armin Hemmerling - 2003 - Mathematical Logic Quarterly 49 (1):34-56.
Monodic packed fragment with equality is decidable.Ian Hodkinson - 2002 - Studia Logica 72 (2):185-197.
Real time II.David Hugh Mellor - 1998 - New York: Routledge.
Some Elementary Results About the Equivalence of Computability and Decidability.Ulrich Huckenbeck - 1991 - Mathematical Logic Quarterly 37 (5‐6):77-84.
A C.E. Real That Cannot Be SW-Computed by Any Ω Number.George Barmpalias & Andrew E. M. Lewis - 2006 - Notre Dame Journal of Formal Logic 47 (2):197-209.
Axiomatisation and decidability off andp in cyclical time.Mark Reynolds - 1994 - Journal of Philosophical Logic 23 (2):197 - 224.
Now? Towards a phenomenology of real time sonification.Stuart Jones - 2012 - AI and Society 27 (2):223-231.
Order‐free Recursion on the Real Numbers.Vasco Brattka - 1997 - Mathematical Logic Quarterly 43 (2):216-234.
Computation, Information, and the Arrow of Time.Pieter Adriaans, Peter van Emde Boas & Fnwi Illc - 2011 - In S. B. Cooper & Andrea Sorbi (eds.), Computability in Context: Computation and Logic in the Real World. World Scientific.
Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.Dimiter Skordev - 2002 - Mathematical Logic Quarterly 48 (S1):91-106.

Analytics

Added to PP
2013-11-24

Downloads
14 (#1,014,919)

6 months
2 (#1,250,447)

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