Nichtaxiomatisierbarkeit von Satzmengen durch Ausdrücke spezieller Gestalt
Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper
Die Nichtexistenz starkregulärer standarder Modelle in der Mengenlehre von Zermelo-Fraenkel und ihren widerspruchsfreien Erweiterungen
Model-theoretic properties of cause-and-effect structures
Entscheidungsprobleme der Theorie zweier Äquivalenzrelationen mit beschränkter Zahl vоn Elementen in den Klassen
Page 1