Sommaire

Some generalizations to two systems of set theory based on combinatory logic.

Bunder, M.W.

Access to full text
p. 5-12

Göttinger Digitalisierungszentrum
Combinatorial principles concerning approximations of functions.

Hájek, Petr ; Paris, Jeff

Access to full text
p. 13-28

Göttinger Digitalisierungszentrum
Majorisierungsrelationen und Fundamentalfolgen eines Ordinalzahlensystems von G. Jäger.

Schütte, Kurt

Access to full text
p. 29-56

Göttinger Digitalisierungszentrum
Natural well-orderings.

Crossley, J.N. ; Kister, J.B.

Access to full text
p. 57-76

Göttinger Digitalisierungszentrum
Parallelizable algebras.

Ragaz, Matthias

Access to full text
p. 77-100

Göttinger Digitalisierungszentrum
Coding in the existential theory of concatenation.

Büchi, J. R. ; Senger, St.

Access to full text
p. 101-108

Göttinger Digitalisierungszentrum
Model existence theorem in superrelevant predicate logics.

Szatkowski, Miroslaw

Access to full text
p. 111-122

Göttinger Digitalisierungszentrum
Garnir's dream spaces with Hamel bases.

Brunner, Norbert

Access to full text
p. 123-126

Göttinger Digitalisierungszentrum
Localization o a theorem of Ambos-Spies and the strong anti-splitting property.

Downey, R.G.

Access to full text
p. 127-136

Göttinger Digitalisierungszentrum
Degree-theoretic bounds on the Morley rank.

Chong, C.T.

Access to full text
p. 137-146

Göttinger Digitalisierungszentrum
On cut elimination in the presence of peirce rule.

Gordeev, L.

Access to full text
p. 147-164

Göttinger Digitalisierungszentrum
A note on forking and normalization.

Vaughn, John B.

Access to full text
p. 165-168

Göttinger Digitalisierungszentrum
A note on proofs of falsehood.

Krajicek, Jan

Access to full text
p. 169-176

Göttinger Digitalisierungszentrum
Unramified forcing preserving the law of double negation.

Abian, A. ; Keremedis, K.

Access to full text
p. 177-180

Göttinger Digitalisierungszentrum