Every set of first-order formulas is equivalent to an independent set
Logic
2011-08-29 v1
Abstract
A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.
Cite
@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}
}
Comments
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