具有泛谓词的希尔伯特空间
逻辑
2017-03-22 v2
摘要
我们研究了通过泛谓词扩张的希尔伯特空间的模型论。我们首先证明了希尔伯特空间泛扩张的模型伴的存在性，其形式首先是到随机子结构的距离函数，然后是到随机子集的距离。通过随机子结构获得的理论是 -稳定的，而通过到随机子集的距离获得的理论则是 和 的。该例子是此类中的第一个连续结构。
引用
@article{arxiv.0704.1633,
title = {Hilbert Spaces with Generic Predicates},
author = {Alexander Berenstein and Tapani Hyttinen and Andrés Villaveces},
journal= {arXiv preprint arXiv:0704.1633},
year = {2017}
}
评论
27 pages