Compactness theorem
id:
compactness-theorem-248-8646929
title:
Compactness theorem
text:
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 applied to compact Stone spaces, hence the theorem's name. Likewise, it is analogous to th
brand slug:
wiki
category slug:
encyclopedia
description:
Theorem
original url:
https://en.wikipedia.org/wiki/Compactness_theorem
date created:
date modified:
2024-01-19T18:48:16Z
main entity:
{"identifier":"Q1149458","url":"https://www.wikidata.org/entity/Q1149458"}
image:
fields total:
13
integrity:
14