Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

Titleโ{138}จISILC Logic Conference [electronic resource] : Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974 / edited by Gert H. Mรผller, Arnold Oberschelp, Klaus Potthoff
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1975
Connect to
Descript VII, 651 p. online resource


An observation on the product of Silver's forcing -- Recursively unsolvable algorithmic problems and related questions reexamined -- Lectures on large cardinal axioms -- Indescribability properties and small large cardinals -- Marginalia to a theorem of Silver -- Computation theories: An axiomatic approach to recursion on general structures -- Closed models and hulls of theories -- Axioms of choice in Morse-Kelley class theory -- First-order logic and its extensions -- Set theory in infinitary languages -- Sur la mรฉthode en histoire de la logioue -- The model theory of local fields -- Quantifier elimination -- Intensional semantics for natural language -- On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes -- Many-valued algorithmic logic -- The least ? 2 1 and ? 2 1 reflecting ordinals -- Data types as lattices

Mathematics Mathematical logic Mathematics Mathematical Logic and Foundations


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