Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleLogic Symposia Hakone 1979, 1980 [electronic resource] : Proceedings of Conferences Held in Hakone, Japan March 21-24, 1979 and February 4-7, 1980 / edited by Gert H. Mรผller, Gaisi Takeuti, Tosiyuki Tuguรฉ
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1981
Connect to
Descript XIV, 398 p. online resource


Various kinds of Aronszajn tree with no subtree of a different kind -- On set theories in toposes -- A representation for Spector second order classes in computation theories on two types -- Precipitousness of the ideal of thin sets on a measurable cardinal -- Axiom systems of nonstandard set theory -- Semi-formal finitist proof of the transfinite induction in an initial segment of Cantor's second number class -- On the length of proofs in a formal system of recursive arithmetic -- Homogeneous formulas and definability theorems -- Boolean valued combinatorics -- Undecidability of extensions of the monadic first-order theory of successor and two-dimensional finite automata -- Sections and envelopes of type 2 objects -- Heyting valued universes of intuitionistic set theory -- Independence of a problem in elementary analysis from set theory -- Intuitionistic theories and toposes -- The Hahn-Banach theorem and a restricted inductive definition

Mathematics Logic Mathematical logic Mathematics Mathematical Logic and Foundations Logic


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram