中心平移公理系统的完全独立性
逻辑
2013-11-11 v1 计算机科学中的逻辑
摘要
本文改进了近期提出的 Andr\'e 中心平移结构公理系统。首先，发现其中一个公理是依赖的（可由其他公理推导得出）。去掉该公理后，公理系统确实是独立的。其次，原始的大多数独立性模型是无限的，而现已获得有限的独立性模型。此外，针对其中一个公理的独立性证明采用了证明论技术而非独立性模型；对于该公理，也存在一个有限的独立性模型。因此，对于每个公理，都存在一个有限的独立性模型。最后，该公理系统（去掉其唯一的依赖公理）不仅是独立的，而且是完全独立的。
引用
@article{arxiv.1311.1912,
title = {Complete independence of an axiom system for central translations},
author = {Jesse Alama},
journal= {arXiv preprint arXiv:1311.1912},
year = {2013}
}
备注
10 pages. Submitted to Note di Matematica