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

Fuente: https://arxiv.org/







Documentos relacionados