通过紧致随机变量族力迫获得的结构的饱和性
逻辑
2013-01-29 v2
摘要
Krajicek (2011) 发展了一种构造某些算术片段布尔值模型的方法，旨在应用于有界算术和证明复杂性。此类模型由定义在伪有限样本空间上的随机变量族构成。我们表明，在该随机变量族满足一个相当自然的条件（在 K.(2011) 中称为紧致性）下，所得结构具有一个可自然解释为存在型饱和的性质。我们还给出了一个例子，表明这一结果不能推广到全称型。
引用
@article{arxiv.1207.1548,
title = {A saturation property of structures obtained by forcing with a compact family of random variables},
author = {Jan Krajicek},
journal= {arXiv preprint arXiv:1207.1548},
year = {2013}
}
备注
preprint February 2012