Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleCambridge Summer School in Mathematical Logic [electronic resource] : Held in Cambridge/England, August 1-21, 1971 / edited by A. R. D. Mathias, H. Rogers
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1973
Connect tohttp://dx.doi.org/10.1007/BFb0066770
Descript XII, 664 p. online resource

CONTENT

Lectures on intuitionism -- Realizability: A retrospective survey -- Some applications of Kleene's methods for intuitionistic systems -- Notes on intuitionistic second order arithmetic -- Some properties of intuitionistic zermelo-frankel set theory -- Ouelques Resultats sur les Interpretations Fonctionnelles -- Combinator realizability of constructive finite type analysis -- The arithmetic theory of constructions -- The priority method for the construction of recursively enumerable sets -- Admissible ordinals and priority arguments -- Abstract computability versus analog-generability (a survey) -- Infinitary combinatorics -- The maximum sum of a family of ordinals -- Effective implications between the "finite" choice axioms -- On descendingly complete ultrafilters -- XVI. A model for the negation of the axiom of choice -- Filters closed under MAHLO's and GAIFMAN's operation -- On chromatic number of graphs and set systems -- Countable models of set theories -- Errata -- Descriptive set theory in -- Modal model theory -- A preservation theorem for interpretations -- Vaught sentences and Lindstrรถm's regular relations


Mathematics Mathematical logic Mathematics Mathematical Logic and Foundations Mathematical Logic and Formal Languages



Location



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

  line

facebook   instragram