English » German

Translations for „compactness theorem“ in the English » German Dictionary (Go to German » English)

Examples from the Internet (not verified by PONS Editors)

3.

Prove that the compactness theorem does not hold for second order predicate logic .

www-madlener.informatik.uni-kl.de

3.

Zeigen Sie, dass der Kompaktheitssatz nicht für die Prädikatenlogik 2. Stufe gilt.

www-madlener.informatik.uni-kl.de

Hint :

Consider the following extended axiom system and apply the compactness theorem :

www-madlener.informatik.uni-kl.de

Hinweis :

Betrachten Sie das folgende erweiterte Axiomensystem und wenden sie den Kompaktheitssatz an:

www-madlener.informatik.uni-kl.de

Conversely, we will find models that omit everything not explicitly demanded by T.

In most of these model constructions , the compactness theorem plays a central role .

What is the expressive power of a logic?

www-mgi.informatik.rwth-aachen.de

Wir werden zeigen, wie sich einerseits sehr reichhaltige Modelle, also Modelle die alles umfassen, was von T nicht explizit verboten wird, andererseits aber auch sehr sparsame Modelle von T konstruieren lassen, die nichts enthalten, was nicht von T explizit gefordert wird.

In vielen dieser Konstruktionen spielt der Kompaktheitssatz eine zentrale Rolle.

Wie ausdrucksstark ist eine Logik?

www-mgi.informatik.rwth-aachen.de

Would you like to add some words, phrases or translations?

Submit a new entry.

Choose your language Deutsch | български | Ελληνικά | English | Español | Français | Italiano | Polski | Português | Русский | Slovenščina | Srpski | Türkçe | 中文