可独立公理化的 L_{omega_1,omega} 理论
逻辑
2010-12-16 v1
摘要
作为对 Arnie Miller (http://www.math.wisc.edu/~miller/res/problem.pdf) 和 X. Caicedo 所提问题的部分回答，我们得到了 L_{omega_1,omega} 理论具有独立公理化的充分条件。由此得到两个推论：第一，假设 Vaught 猜想成立，则可数语言中的每个 L_{omega_1,omega} 理论都有独立公理化；第二，在 ZFC 中直接可得，一族 Borel 集的交可以表示为一族独立 Borel 集的交。
引用
@article{arxiv.1012.3422,
title = {Independently Axiomatizable L_{omega_1,omega} Theories},
author = {Greg Hjorth and Ioannis Souldatos},
journal= {arXiv preprint arXiv:1012.3422},
year = {2010}
}
备注
16 pages, no figures