一种几何的从头构建
逻辑
2017-12-20 v2
摘要
我们证明，Hrushovski 针对单个不允许大小小于 的相关集的 元关系的从头构建所生成的几何，当限制在 元组上时，其本身可以作为一个 Hrushovski 构建来构造。
引用
@article{arxiv.1709.07353,
title = {An ab initio construction of a geometry},
author = {Omer Mermelstein},
journal= {arXiv preprint arXiv:1709.07353},
year = {2017}
}
备注
8 pages. Theorem 4.12 was removed due to a gap in the proof