arXiv Analytics

Sign in

arXiv:1108.5171 [math.LO]AbstractReferencesReviewsResources

Every set of first-order formulas is equivalent to an independent set

Ioannis Souldatos, I. Reznikoff

Published 2011-08-25Version 1

A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.

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
Categories: math.LO
Subjects: 03B10, 00B50, 00B55, 00B60, 01A75
Related articles: Most relevant | Search more
arXiv:2104.00468 [math.LO] (Published 2021-04-01)
Formulas and properties
arXiv:math/9312212 [math.LO] (Published 1993-12-15)
The number of independent elements in the product of interval Boolean algebras
arXiv:1505.00235 [math.LO] (Published 2015-05-01)
Asymptotic Enumeration of $I_3$-free Digraphs

Links

Toolbox