Geodesic

Volume 2 (1977) no. 10

Sommaire

Preface
p. 7
Descriptive Set Theory and Infinitary Languages
p. 9
On a Foundation for Mathematics- a View of Mathematics I
p. 31
Continuum Problem at Measurable Cardinals
p. 57
From Foundations to Science: Justifying and Unwinding Proofs
p. 63
Le nouvel esprit mathematique
p. 73
Homogeneous-Universal Models of Theories Which Have Model Completions
p. 87
Representation Theorem for Minimal σ-Algebras
p. 99
Presentation of Natural Deduction
p. 115
On the Quantifier of Limiting Realizability
p. 127
Several Combinators Problems
p. 129
Mathematics and Philosophy - Panel Discussion
p. 139