Displaying similar documents to “On the definitions of computable real continuous functions”

Computable categoricity versus relative computable categoricity

Rodney G. Downey, Asher M. Kach, Steffen Lempp, Daniel D. Turetsky (2013)

Fundamenta Mathematicae

Similarity:

We study the notion of computable categoricity of computable structures, comparing it especially to the notion of relative computable categoricity and its relativizations. We show that every 1 decidable computably categorical structure is relatively Δ⁰₂ categorical. We study the complexity of various index sets associated with computable categoricity and relative computable categoricity. We also introduce and study a variation of relative computable categoricity, comparing it to both...

Computable analysis

Stanisław Mazur

Similarity:

CONTENTS Foreword.......................................................................................... 3 I. Recursive and computable numbers...................................... 4 1. Recursive numbers................................................................... 5 2. Computable numbers............................................................... 17 II. Recursive and computable sequences................................. 22 III. Recursive and computable functionals....................................