Das deutsche digitale Zeitschriftenarchiv
Free access
Saturated models of incomplete theories.Robert Fittler3PDF
Prädikatenlogik mit partiell definierten Funktionen II.Werner Markwald15PDF
Über zwei Bezeichnungssysteme für Ordinalzahlen.Helmut Pfeiffer23PDF
Boolean Ultrapowers.Klaus Potthoff37PDF
Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Ty...Justus Diller; Werner Nahm49PDF
On certain decompositions of Gödel numberings.B. Buchberger85PDF
On some properties a projective model class passes on to the generated axiomati...Klaus KAISER; M. Armbrust133PDF
Completeness of cut-free type theories.Mitsuru Yasuhara137PDF
On necessary but not-sufficient conditions.Hidehisa Sakai143PDF
Disjunctive properties of intuitionistic systems.B. SCARPELLINI147PDF
An extension of the Kreisel-Putman system.N. Georgieva187PDF