Recursive in A Generic Real

13 years 11 months ago

Download math.berkeley.edu

There is a comeager set C contained in the set of 1-generic reals and a first order structure M such that for any real number X, there is an element of C which is recursive in X if and only if there is a presentation of M which is recursive in X.

Juichi Shinoda, Theodore A. Slaman

Real-time Traffic

1-generic Reals | JSYML 2000 | Order Structure | Real Number |

claim paper

» MultipleWinners Randomized Tournaments with Consensus for Optimization Problems in Generic...

» Recursive Analysis Characterized as a Class of Real Recursive Functions

» Every 1generic computes a properly 1generic

» Combining generic judgments with recursive definitions

» Generic programming with fixed points for mutually recursive datatypes

» Write it recursively a generic framework for optimal path queries

» Synthesis of Functions Using Generic Programming

» Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras

Post Info
More Details (n/a)

Added	19 Dec 2010
Updated	19 Dec 2010
Type	Journal
Year	2000
Where	JSYML
Authors	Juichi Shinoda, Theodore A. Slaman

Comments (0)

Sciweavers

Recursive in A Generic Real

1-generic Reals | JSYML 2000 | Order Structure | Real Number |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers