On Consistent Subsets of Large Sets of Satisfiable Sentences |
| |
Authors: | Stephen H. Hechler |
| |
Affiliation: | (1) Department of Mathematics Queens College, City University of New York, Flushing, NY, 11367 |
| |
Abstract: | We extend some results of Adam Kolany to show that large sets of satisfiable sentences generally contain equally large subsets of mutually consistent sentences. In particular, this is always true for sets of uncountable cofinality, and remains true for sets of denumerable cofinality if we put appropriate bounding conditions on the sentences. The results apply to both the propositional and the predicate calculus. To obtain these results, we use delta sets for regular cardinals, and, for singular cardinals, a generalization of delta sets. All of our results are theorems in ZFC. |
| |
Keywords: | delta sets singular cardinals propositional calculus predicate calculus satisfiability consistency |
本文献已被 SpringerLink 等数据库收录! |
|