Some results on $mathbb{R}$-computable structures - Computer Science > DatabasesReport as inadecuate

Some results on $mathbb{R}$-computable structures - Computer Science > Databases - Download this document for free, or read online. Document in PDF available to download.

Abstract: This survey paper examines the effective model theory obtained with the BSSmodel of real number computation. It treats the following topics: computableordinals, satisfaction of computable infinitary formulas, forcing as aconstruction technique, effective categoricity, effective topology, andrelations with other models for the effective theory of uncountable structures.

Author: Wesley Calvert, John E. Porter



Related documents