拓扑有限结构是有限结构超积的收缩核

Hugo Luiz Mariano

拓扑有限结构是有限结构超积的收缩核

逻辑 2007-05-23 v1 范畴论

作者: Hugo Luiz Mariano

摘要

我们给出如下模型论刻画：拓扑有限 $L$ -结构（即有限 $L$ -结构的共滤极限）是有限 $L$ -结构超积的收缩核。由此推得，任何由形如 $\forall \vec{x} (\psi_{0}(\vec{x}) \ra \psi_{1}(\vec{x}))$ 的 $L$ -语句公理化的 $L$ -结构初等类（其中 $\psi_{0}(\vec{x}),\psi_{1}(\vec{x})$ 为存在正 $L$ -公式）在范畴 {\bf L-mod}（即适于语言 $L$ 的结构与 $L$ -同态所构成的范畴）中闭包于拓扑有限对象的生成。

关键词

拓扑有限结构超积有限结构收缩核模型论初等类 L-结构

引用

@article{arxiv.math/0401095,
  title  = {Profinite Structures are Retracts of Ultraproducts of Finite Structures},
  author = {Hugo Luiz Mariano},
  journal= {arXiv preprint arXiv:math/0401095},
  year   = {2007}
}

拓扑有限结构是有限结构超积的收缩核

摘要

关键词

引用

相关论文