Dabei werden wir uns auf folgende Fragestellungen konzentrieren :
Gegeben sei eine first-order Theorie T, wie sehen die Modelle von T aus?
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.
www-mgi.informatik.rwth-aachen.deWe will concentrate on two questions.
Given a first-order theory T, how do the models of T look like?
We will show how to construct models that are especially rich, i.e., contain every configuration that is not forbidden by T.
www-mgi.informatik.rwth-aachen.deTu lahko pustite obvestila o napakah v tem geslu ali predlogih za izboljave:
Kako naložim besedišče v vadnico?
Zavedajte se, da je spisek besedišča shranjen le v tem brskalniku. S tem, ko naložite besedišče v vadnico, je dostopno povsod.