Some results on $mathbb{R}$-computable structures - Computer Science > DatabasesReportar como inadecuado

Some results on $mathbb{R}$-computable structures - Computer Science > Databases - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Autor: Wesley Calvert, John E. Porter


Documentos relacionados