Compactness theorem | Frederic P. Miller (u. a.) | Taschenbuch | Englisch
33,95 €
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. 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.
Jetzt bei Ebay:
