Form equivalence class Howard-Rubin Number: 10
Statement: Let \(S\) be a denumerable set of propositionalsentences over an infinite set of propositional letters (in apropositional language where conjunction and disjunction are operatorson unordered finite sets of sentences). Then \(S\) has a model if andonly if every finite subset of \(S\) has a model. Lolli [1977].
Howard-Rubin number: 10 J
Citations (articles):
Connections (notes):
References (books):
Back