Cambridge Summer School in Mathematical Logic, Cambridge, 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