Cambridge Summer School in Mathematical Logic : [papers] held in Cambridge/England, August 1-21, 1971

Lectures on intuitionism....Pages 1-94 Realizability: A retrospective survey....Pages 95-112 Some applications of Kleene's methods for intuitionistic systems....Pages 113-170 Notes on intuitionistic second order arithmetic....Pages 171-205 Some properties of intuitionistic zermelo-frankel set theory....Pages 206-231 Ouelques Resultats sur les Interpretations Fonctionnelles....Pages 232-252 Combinator realizability of constructive finite type analysis....Pages 253-273 The arithmetic theory of constructions....Pages 274-298 The priority method for the construction of recursively enumerable sets....Pages 299-310 Admissible ordinals and priority arguments....Pages 311-344 Abstract computability versus analog-generability (a survey)....Pages 345-360 Infinitary combinatorics....Pages 361-418 The maximum sum of a family of ordinals....Pages 419-438 Effective implications between the "finite" choice axioms....Pages 439-458 On descendingly complete ultrafilters....Pages 459-488 XVI. A model for the negation of the axiom of choice....Pages 489-494 Filters closed under MAHLO's and GAIFMAN's operation....Pages 495-530 On chromatic number of graphs and set systems....Pages 531-538 Countable models of set theories....Pages 539-573 Errata....Pages 573-573 Descriptive set theory in $$L_{\omega _l \omega }$$ ....Pages 574-598 Modal model theory....Pages 599-617 A preservation theorem for interpretations....Pages 618-621 Vaught sentences and Lindström's regular relations....Pages 622-660