Form equivalence class Howard-Rubin Number: 10
Statement: Let \(S\) be a denumerable set of sentences in a firstorder language (where conjunction and disjunction areoperators on unordered finite sets of sentences) such that everyfinite subset has a model. Then \(S\) has a model. Note 19.
Howard-Rubin number: 10 L
Citations (articles):
Connections (notes):
References (books):
Back