Form equivalence class Howard-Rubin Number: 14
Statement: Compactness Theorem for First Order Logic:If \(\Sigma\) is a set of formulas in a first order language such thatevery finite subset of \(\Sigma\) has a model then \(\Sigma\) has a model .Henkin [1954a] and Jech [1973b] p 17.
Howard-Rubin number: 14 H
Citations (articles):
Connections (notes):
References (books):
Back