Some results on $\mathbb{R}$-computable structures

Wesley Calvert, John E. Porter

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 c…