Some results on mathbb{R}-computable structures
classification
💻 cs.DB
cs.LOmath.LO
keywords
effectivecomputablemodelstructurestheorycategoricitycomputationconstruction
read the original abstract
This survey paper examines the effective model theory obtained with the BSS model of real number computation. It treats the following topics: computable ordinals, satisfaction of computable infinitary formulas, forcing as a construction technique, effective categoricity, effective topology, and relations with other models for the effective theory of uncountable structures.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.