无穷时间可计算模型论
逻辑
2007-05-23 v1
摘要
我们引入无穷时间可计算模型论，即由无穷时间图灵机产生的可计算模型论，其为建立在实数 R 上的结构提供了可计算性的无穷时间概念。有限时间理论的大部分推广到无穷时间语境中，但若干基本问题，包括完备性定理的无穷时间可计算类比，被证明独立于 ZFC。
引用
@article{arxiv.math/0602483,
title = {Infinite time computable model theory},
author = {Joel David Hamkins and Russell Miller and Daniel Seabold and Steve Warner},
journal= {arXiv preprint arXiv:math/0602483},
year = {2007}
}
备注
32 pages