Computing strength of structures related to the field of real numbers

Journal of Symbolic Logic 82 (1):137-150 (2017)
  Copy   BIBTEX

Abstract

In [8], the third author defined a reducibility$\le _w^{\rm{*}}$that lets us compare the computing power of structures of any cardinality. In [6], the first two authors showed that the ordered field of reals${\cal R}$lies strictly above certain related structures. In the present paper, we show that$\left \equiv _w^{\rm{*}}{\cal R}$. More generally, for the weak-looking structure${\cal R}$ℚconsisting of the real numbers with just the ordering and constants naming the rationals, allo-minimal expansions of${\cal R}$ℚare equivalent to${\cal R}$. Using this, we show that for any analytic functionf,$\left \equiv _w^{\rm{*}}{\cal R}$. $is noto-minimal.)

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

Similar books and articles

Primitive recursive real numbers.Qingliang Chen, Kaile Su & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4‐5):365-380.
Real numbers and other completions.Fred Richman - 2008 - Mathematical Logic Quarterly 54 (1):98-108.
Expansions of the real field with power functions.Chris Miller - 1994 - Annals of Pure and Applied Logic 68 (1):79-94.
A Real Number Structure that is Effectively Categorical.Peter Hertling - 1999 - Mathematical Logic Quarterly 45 (2):147-182.
Primitive recursive real numbers.Qingliang Chen, Kaile Kaile & Xizhong Zheng - 2007 - Mathematical Logic Quarterly 53 (4):365-380.
Computability Over Structures of Infinite Signature.Armin Hemmerling - 1998 - Mathematical Logic Quarterly 44 (3):394-416.
How we can apply the mathematics on the world?A. Ule - 2002 - Filozofski Vestnik 23 (1):25-51.
Kako lahko apliciramo matematiko na svet?Andrej Ule - 2002 - Filozofski Vestnik 23 (1).

Analytics

Added to PP
2017-03-26

Downloads
18 (#808,169)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Computable valued fields.Matthew Harrison-Trainor - 2018 - Archive for Mathematical Logic 57 (5-6):473-495.

Add more citations

References found in this work

A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
Forcing a countable structure to belong to the ground model.Itay Kaplan & Saharon Shelah - 2016 - Mathematical Logic Quarterly 62 (6):530-546.

Add more references