3.
Prove that the compactness theorem does not hold for second order predicate logic .
www-madlener.informatik.uni-kl.de3.
Zeigen Sie, dass der Kompaktheitssatz nicht für die Prädikatenlogik 2. Stufe gilt.
www-madlener.informatik.uni-kl.deHint :
Consider the following extended axiom system and apply the compactness theorem :
www-madlener.informatik.uni-kl.deHinweis :
Betrachten Sie das folgende erweiterte Axiomensystem und wenden sie den Kompaktheitssatz an:
www-madlener.informatik.uni-kl.deConversely, 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.deWir 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.deBir kelime, bir kelime grubu veya bir çeviri mi eklemek istiyorsunuz?
Bize yeni bir kelime gönderebilir.