Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers]
Author(s)
Bibliographic Information
Cambridge Summer School in Mathematical Logic : held in Cambridge/England, August 1-21, 1971 : [papers]
（Lecture notes in mathematics, 337）
Springer-Verlag, 1973
- : Germany
- : U.S.
Available at / 73 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: GermanyL/N||LNM||3371979149
-
Hokkaido University, Faculty and Graduate School of Engineering図書
: U.S.dc16:510/c1443520708138
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: GermanyDC16:510/C1442020805976
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
Description and Table of Contents
Table of Contents
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 Lindstroem's regular relations.
by "Nielsen BookData"