Geodesic

Tome 20 (1980)

Sommaire

The classical decision problem and partial functions.
p. 3-12
Generalized ultrapowers.
p. 13-26
A version of the ...1-reflection principle for CFA provable in PRA.
p. 27-40
A ...-calculus with an algorithmic ... .
p. 41-52
Beweistheorie von KPN.
p. 53-64
Mengentheoretische Modelle des ...K-Kalküls.
p. 65-74
Halteprobleme von Fang-Systemen (Tag Systems).
p. 75-84
Conservative extensions of models of arithmetic.
p. 85-94
Extensions of countable infinitary logic which preserve most of its nice properties.
p. 95-102
Interpreting number theory in nilpotent groups.
p. 103-112
Cofinalities of complete Boolean algebras.
p. 113-124
On the reconstruction of Boolean algebras from their automorphism groups.
p. 125-146
Ultrapowers and Boolean ultrapowers of ... and ...1.
p. 147-154
Splitting lattices of logics.
p. 155-160
Der Beweis eines Satzes von G. Choodnovsky.
p. 161-172
Expansions of models of ZFC.
p. 173-180