- Sprache
-
Englisch
- Anmerkungen
-
Freiburg (Breisgau), Univ., Diss., 2005
- Identifier
-
977714586
Thema
Stabilitätstheorie ; Modelltheorie ; Semimodularer Verband; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Generic automorphisms with prescribed fixed fields
Model composition in model-checking
Model theory of absolute Galois groups
Fundamentals of stability theory
Definability and model checking : the role of orders and compositionality
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Log. to Algebra and Arithmet., held at Karpacz, Poland, September 1 - 7, 1979
Extremal fixpoints for higher-order modal logic
Model composition in model checking
Einführung in die Modelltheorie und ihre Anwendungen
Proof-theoretic versus Model-theoretic Consequence
Einführung in die mathematische Logik und Modelltheorie
Pseudoelementare Relationen und Aussagen vom Typ des Bernstein'schen Äquivalenzsatzes
Generic automorphisms with prescribed fixed fields
Model composition in model-checking
Model theory of absolute Galois groups
Fundamentals of stability theory
Definability and model checking : the role of orders and compositionality
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Log. to Algebra and Arithmet., held at Karpacz, Poland, September 1 - 7, 1979
Extremal fixpoints for higher-order modal logic
Model composition in model checking
Einführung in die Modelltheorie und ihre Anwendungen
Proof-theoretic versus Model-theoretic Consequence
Einführung in die mathematische Logik und Modelltheorie
Pseudoelementare Relationen und Aussagen vom Typ des Bernstein'schen Äquivalenzsatzes
Generic automorphisms with prescribed fixed fields
Model composition in model-checking
Model theory of absolute Galois groups
Fundamentals of stability theory
Definability and model checking : the role of orders and compositionality
Model theory of algebra and arithmetic : proceedings of the Conference on Applications of Log. to Algebra and Arithmet., held at Karpacz, Poland, September 1 - 7, 1979
Extremal fixpoints for higher-order modal logic
Model composition in model checking
Einführung in die Modelltheorie und ihre Anwendungen
Proof-theoretic versus Model-theoretic Consequence
Einführung in die mathematische Logik und Modelltheorie