关于 Hrushovski 构造的归约：非坍缩情形
逻辑
2013-05-10 v1
摘要
我们证明了通过 Hrushovski amalgamation 构造的非坍缩版本获得的秩为 {\omega} 的结构具有一个真归约。我们表明，该归约是其自身年龄关于推广了 Hrushovski 预维数函数的预维数函数的 Fra"iss\'e-Hrushovski 极限。由此可知，该归约具有唯一的秩为 {\omega} 的正则型，并且我们证明了其几何结构同构于原始结构中泛型的几何结构。我们探讨了该归约是否与原始结构双可解释，以及它是否也具有具有相同几何结构的真归约。
引用
@article{arxiv.1305.2155,
title = {On reducts of Hrushovski's construction - the non-collapsed case},
author = {Assaf Hasson and Omer Mermelstein},
journal= {arXiv preprint arXiv:1305.2155},
year = {2013}
}