Sommaire

The classical decision problem and partial functions.

Abramsky, Motti

Access to full text
p. 3-12

Göttinger Digitalisierungszentrum
Generalized ultrapowers.

Hirschfeld, Joram

Access to full text
p. 13-26

Göttinger Digitalisierungszentrum
A version of the ...1-reflection principle for CFA provable in PRA.

Päppinghaus, Peter

Access to full text
p. 27-40

Göttinger Digitalisierungszentrum
A ...-calculus with an algorithmic ... .

Longo, G. ; Venturini Zilli, M.

Access to full text
p. 41-52

Göttinger Digitalisierungszentrum
Beweistheorie von KPN.

Jäger, Gerhard

Access to full text
p. 53-64

Göttinger Digitalisierungszentrum
Mengentheoretische Modelle des ...K-Kalküls.

Rimscha, Michael v.

Access to full text
p. 65-74

Göttinger Digitalisierungszentrum
Halteprobleme von Fang-Systemen (Tag Systems).

Falkenberg, Bernhard

Access to full text
p. 75-84

Göttinger Digitalisierungszentrum
Conservative extensions of models of arithmetic.

Blass, Andreas

Access to full text
p. 85-94

Göttinger Digitalisierungszentrum
Extensions of countable infinitary logic which preserve most of its nice properties.

Harrington, Leo

Access to full text
p. 95-102

Göttinger Digitalisierungszentrum
Interpreting number theory in nilpotent groups.

Hodges, Wilfrid

Access to full text
p. 103-112

Göttinger Digitalisierungszentrum
Cofinalities of complete Boolean algebras.

Koppelberg, Sabine

Access to full text
p. 113-124

Göttinger Digitalisierungszentrum
On the reconstruction of Boolean algebras from their automorphism groups.

Rubin, Matatyahu

Access to full text
p. 125-146

Göttinger Digitalisierungszentrum
Ultrapowers and Boolean ultrapowers of ... and ...1.

Koppelberg, Bernd

Access to full text
p. 147-154

Göttinger Digitalisierungszentrum
Splitting lattices of logics.

Rautenberg, Wolfgang

Access to full text
p. 155-160

Göttinger Digitalisierungszentrum
Der Beweis eines Satzes von G. Choodnovsky.

Wolfsdorf, Kurt

Access to full text
p. 161-172

Göttinger Digitalisierungszentrum
Expansions of models of ZFC.

Flannagan, T.B.

Access to full text
p. 173-180

Göttinger Digitalisierungszentrum