Order‐free Recursion on the Real Numbers

Mathematical Logic Quarterly 43 (2):216-234 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19970430206

Links

PhilArchive



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

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

Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
The ordered field of real numbers and logics with Malitz quantifiers.Andreas Rapp - 1985 - Journal of Symbolic Logic 50 (2):380-389.
Completeness for systems including real numbers.W. Balzer & M. Reiter - 1989 - Studia Logica 48 (1):67 - 75.
A Question of Van Den Dries and a Theorem of Lipshitz and Robinson; Not Everything Is Standard.Ehud Hrushovski & Ya'acov Peterzil - 2007 - Journal of Symbolic Logic 72 (1):119 - 122.
It's Easy Being Free: Notes on Frankfurt-Style Real Self Conceptions of Free Will.Heidi Savage & Noah Sider - manuscript
Combinatorial properties of filters and open covers for sets of real numbers.Claude Laflamme & Marion Scheepers - 1999 - Journal of Symbolic Logic 64 (3):1243-1260.
Recursion theory and the lambda-calculus.Robert E. Byerly - 1982 - Journal of Symbolic Logic 47 (1):67-83.
The pursuit of the riemann hypothesis.Mark Colyvan - unknown
Is time a continuum of instants.Michael Dummett - 2000 - Philosophy 75 (4):497-515.
Derivation and application conditions of the one-dimensional heat equation.Chris Pincock - unknown
O przedmiocie matematycznym.Piotr Błaszczyk - 2004 - Filozofia Nauki 2 (1):45-59.
Discontinuities of provably correct operators on the provably recursive real numbers.William J. Collins & Paul Young - 1983 - Journal of Symbolic Logic 48 (4):913-920.
Wittgenstein and the Real Numbers.Daesuk Han - 2010 - History and Philosophy of Logic 31 (3):219-245.
Indeterminacy of fair infinite lotteries.Philip Kremer - 2014 - Synthese 191 (8):1757-1760.

Analytics

Added to PP
2013-10-31

Downloads
15 (#889,556)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references