Volume 27; Issue 1

Archive for Mathematical Logic

Volume 27; Issue 1
1

Categoricity and generalized model completeness

G. Ahlbrandt, John T. Baldwin
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
english
File:
PDF, 213 KB
english, 1988
2

Ein Wohlordnungsbeweis für das OrdinalzahlensystemT(J)

K. Schütte
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
german
File:
PDF, 594 KB
german, 1988
3

Definable sets and expansions of models of Peano arithmetic

Roman Murawski
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
english
File:
PDF, 700 KB
english, 1988
4

Castor quadruplorum

Arnold Oberschelp, Karsten Schmidt-Göttsch, Günter Todt
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
english
File:
PDF, 479 KB
english, 1988
5

Some local properties of ω-stable groups

Katsumi Tanaka
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
english
File:
PDF, 143 KB
english, 1988
6

Productive sets and constructively nonpartial-recursive functions

Akira Kanda
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
english
File:
PDF, 78 KB
english, 1988
7

Induktive Definitionen und Dilatoren

Wilfried Buchholz
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
german
File:
PDF, 472 KB
german, 1988
8

Operating on the universe

Narciso Garcia
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
english
File:
PDF, 303 KB
english, 1988
9

The number of proof lines and the size of proofs in first order logic

Jan Krajíček, Pavel Pudlák
Journal:
Archive for Mathematical Logic
Year:
1988
Language:
english
File:
PDF, 810 KB
english, 1988