Form equivalence class Howard-Rubin Number: 270
Statement:
\(C(\infty,<\aleph_{0})\wedge CT_{2}\) (\(CT_{2}\) is the compactness theorem for propositional logic restricted to sets of formulas in which each variable occurs in at most two formulas. See Form 271(\(n\)).)
Howard-Rubin number: 270 A
Citations (articles):
Kolany/Wojtylak [1991]
Restricted versions of the compactness theorem
Connections (notes):
References (books):
Back