Form equivalence class Howard-Rubin Number: 10
Statement: Let \(S\) be a consistent denumerable set of sentencesin a first order language (where conjunction and disjunction areoperators on unordered finite sets of sentences). Then \(S\)has a model. Note 19.
Howard-Rubin number: 10 K
Citations (articles):
Connections (notes):
References (books):
Back