每个一阶公式集都等价于一个独立集
逻辑
2011-08-29 v1
摘要
一个一阶公式集，无论符号集的基数如何，都等价于一个独立集。
引用
@article{arxiv.1108.5171,
title = {Every set of first-order formulas is equivalent to an independent set},
author = {Ioannis Souldatos and I. Reznikoff},
journal= {arXiv preprint arXiv:1108.5171},
year = {2011}
}
备注
This paper is a translation in English from the original paper of Reznikoff (in French,[1]) "Tout ensemble de formules de la logique classique est equivalent a un ensemble independant". It is intended only as a reference, not for publication. It is posted on arXiv with the permission of Dr. Reznikoff who we would like to thank