22,99 €
inkl. MwSt.
Versandfertig in 6-10 Tagen
11 °P sammeln
Andere Kunden interessierten sich auch für
![Central limit theorem]( "Central limit theorem")
Central limit theorem25,99 €![Brunn Minkowski Theorem]( "Brunn Minkowski Theorem")
Brunn Minkowski Theorem19,99 €![Brouwer fixed point theorem]( "Brouwer fixed point theorem")
Brouwer fixed point theorem22,99 €![Four-Vertex Theorem]( "Four-Vertex Theorem")
Four-Vertex Theorem22,99 €![Fundamental Theorem of Calculus]( "Fundamental Theorem of Calculus")
Fundamental Theorem of Calculus25,99 €![Nyquist Shannon sampling theorem]( "Nyquist Shannon sampling theorem")
Nyquist Shannon sampling theorem19,99 €![Atiyah Singer Index Theorem]( "Atiyah Singer Index Theorem")
Atiyah Singer Index Theorem22,99 €
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 iff every finite subcollection has a non-empty intersection.