Geodesic

Volume 82 (1974) no. 3

Sommaire

Rekursive Unentscheidbarkeit der Theorie der pythagoräischen Körper
p. 191-197
Combinatory logic and the ω-rule
p. 199-215
Prioric games and minimal degrees below 0(1)
p. 217-237
On expansions of β-models
p. 239-244
Некоторые простые следствия аксиомы конструктивности
p. 245-267
Invariant sets in topology and logic
p. 269-294