首页 | 本学科首页   官方微博 | 高级检索  
     检索      


Σ-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 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号