Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1149458> ?p ?o }
Showing triples 1 to 42 of
42
with 100 triples per page.
- Q1149458 subject Q18550470.
- Q1149458 subject Q7451685.
- Q1149458 subject Q8622256.
- Q1149458 abstract "In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent. The compactness theorem for the propositional calculus is a consequence of Tychonoff's theorem (which says that the product of compact spaces is compact) applied to compact Stone spaces; hence, the theorem's name. Likewise, it is analogous to the finite intersection property characterization of compactness in topological spaces: a collection of closed sets in a compact space has a non-empty intersection if every finite subcollection has a non-empty intersection.The compactness theorem is one of the two key properties, along with the downward Löwenheim–Skolem theorem, that is used in Lindström's theorem to characterize first-order logic. Although there are some generalizations of the compactness theorem to non-first-order logics, the compactness theorem itself does not hold in them.".
- Q1149458 wikiPageWikiLink Q1052692.
- Q1149458 wikiPageWikiLink Q1068283.
- Q1149458 wikiPageWikiLink Q1137014.
- Q1149458 wikiPageWikiLink Q1166618.
- Q1149458 wikiPageWikiLink Q1166774.
- Q1149458 wikiPageWikiLink Q1319773.
- Q1149458 wikiPageWikiLink Q1503766.
- Q1149458 wikiPageWikiLink Q1535225.
- Q1149458 wikiPageWikiLink Q1571831.
- Q1149458 wikiPageWikiLink Q163875.
- Q1149458 wikiPageWikiLink Q177646.
- Q1149458 wikiPageWikiLink Q179692.
- Q1149458 wikiPageWikiLink Q18550470.
- Q1149458 wikiPageWikiLink Q190109.
- Q1149458 wikiPageWikiLink Q1930577.
- Q1149458 wikiPageWikiLink Q200694.
- Q1149458 wikiPageWikiLink Q217595.
- Q1149458 wikiPageWikiLink Q2379128.
- Q1149458 wikiPageWikiLink Q2915225.
- Q1149458 wikiPageWikiLink Q3113164.
- Q1149458 wikiPageWikiLink Q381892.
- Q1149458 wikiPageWikiLink Q4049983.
- Q1149458 wikiPageWikiLink Q4055684.
- Q1149458 wikiPageWikiLink Q41390.
- Q1149458 wikiPageWikiLink Q467606.
- Q1149458 wikiPageWikiLink Q4865980.
- Q1149458 wikiPageWikiLink Q487778.
- Q1149458 wikiPageWikiLink Q6564405.
- Q1149458 wikiPageWikiLink Q7451685.
- Q1149458 wikiPageWikiLink Q746413.
- Q1149458 wikiPageWikiLink Q836088.
- Q1149458 wikiPageWikiLink Q842755.
- Q1149458 wikiPageWikiLink Q8622256.
- Q1149458 wikiPageWikiLink Q872088.
- Q1149458 wikiPageWikiLink Q902052.
- Q1149458 wikiPageWikiLink Q912887.
- Q1149458 comment "In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent.".
- Q1149458 label "Compactness theorem".