Σ-Definability in Hereditarily Finite Superstructures and Computable Analysis |
| |
Authors: | S A Aleksandrova |
| |
Institution: | 1.Novosibirsk State University,Novosibirsk,Russia |
| |
Abstract: | We construct a computable real function not Σ-definable in hereditarily finite superstructures over the extensions with decidable theory of the reals. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|