Logic Symposia, Hakone, 1979, 1980

Various kinds of Aronszajn tree with no subtree of a different kind....Pages 1-21
On set theories in toposes....Pages 23-29
A representation for Spector second order classes in computation theories on two types....Pages 31-47
Precipitousness of the ideal of thin sets on a measurable cardinal....Pages 49-56
Axiom systems of nonstandard set theory....Pages 57-65
Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor\'s second number class....Pages 67-79
On the length of proofs in a formal system of recursive arithmetic....Pages 81-108
Homogeneous formulas and definability theorems....Pages 109-116
Boolean valued combinatorics....Pages 117-153
Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata....Pages 155-174
Sections and envelopes of type 2 objects....Pages 175-188
Heyting valued universes of intuitionistic set theory....Pages 189-306
Independence of a problem in elementary analysis from set theory....Pages 307-321
Intuitionistic theories and toposes....Pages 323-358
The Hahn-Banach theorem and a restricted inductive definition....Pages 359-394