Scifaro

中文

使用博弈构建相对化表示

逻辑 2013-04-05 v1

作者: Tarek Sayed Ahmed , Mohamed Khaled

在 arXiv 上查看 ↗ PDF ↗

摘要

我们使用Hirsch和Hodkinson在代数逻辑中引入的博弈，证明了著名的Andreka-Resek-Thompson表示定理及其由Ferenczi得到的多元类比。我们还证明了原子代数是完全可表示的，并且所有这样的相对化集合代数簇都具有强融合性质。

关键词

表示定理博弈代数逻辑相对化集合代数融合性质

引用

@article{arxiv.1304.1404,
  title  = {Building relativized representations using games},
  author = {Tarek Sayed Ahmed and Mohamed Khaled},
  journal= {arXiv preprint arXiv:1304.1404},
  year   = {2013}
}