A note on the undecidability of the reachability problem for o‐minimal dynamical systems

Mathematical Logic Quarterly 52 (2):165-170 (2006)
  Copy   BIBTEX

Abstract

In this paper we prove that the reachability problem is BSS-undecidable for o-minimal dynamical systems.

Categories

Keywords

Reprint years

DOI

10.1002/malq.200510024

Links

PhilArchive



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

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

What is the dynamical hypothesis?Nick Chater & Ulrike Hahn - 1998 - Behavioral and Brain Sciences 21 (5):633-634.
Today's dynamical systems are too simple.Herbert Jaeger - 1998 - Behavioral and Brain Sciences 21 (5):643-644.
Undecidable theories.Alfred Tarski - 1953 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.
Dynamical system and huygens' principle.Ubiratan D'ambrosio - 1972 - Philosophia Mathematica (1):27-39.
Biogeochemical Models in the Environmental Sciences. The Dynamical System Paradigm and the Role of Simulation Modeling.Daniel Haag & Martin Kaupenjohann - 2000 - Hyle 6 (2):117 - 142.
Reachability is harder for directed than for undirected finite graphs.Miklos Ajtai & Ronald Fagin - 1990 - Journal of Symbolic Logic 55 (1):113-150.
The dynamical hypothesis in cognitive science.Tim van Gelder - 1998 - Behavioral and Brain Sciences 21 (5):615-28.
Pre-cognitive Semantic Information.Orlin Vakarelov - 2010 - Knowledge, Technology & Policy 23 (1-2):193-226.
Undecidability in the imitation game.Y. Sato & T. Ikegami - 2004 - Minds and Machines 14 (2):133-43.
What might dynamical intentionality be, if not computation?Ronald L. Chrisley - 1998 - Behavioral and Brain Sciences 21 (5):634-635.
Self-organisation in dynamical systems: a limiting result.Richard Johns - 2011 - Synthese 181 (2):255 - 275.
Undecidability and the Problem of Outcomes in Quantum Measurements.Rodolfo Gambini, Luis Pedro García Pintos & Jorge Pullin - 2009 - Foundations of Physics 40 (1):93-115.
Is the dynamical hypothesis falsifiable? On unification in theories of cognition.David C. Noelle - 1998 - Behavioral and Brain Sciences 21 (5):647-648.
Toward a synthesis of dynamical systems and classical computation.Frank van der Velde & Marc de Kamps - 1998 - Behavioral and Brain Sciences 21 (5):652-653.

Analytics

Added to PP
2013-12-01

Downloads
43 (#362,182)

6 months
1 (#1,516,429)

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