Statement:
If \(n\in\omega-\{0,1\}\), \(CT_{n}\): The compactness theorem for propositional logic restricted to sets of formulas in which each variable occurs in at most \(n\) formulas.
Howard_Rubin_Number: 271-n
Parameter(s): This form depends on the following parameter(s): \(n\),
This form's transferability is: Unknown
This form's negation transferability is: Negation Transferable
Article Citations:
Kolany-Wojtylak-1991: Restricted versions of the compactness theorem
Book references
Note connections: