Cambridge summer school in mathematical logic : held in Cambridge/England, August 1-21, 1971
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , |
| التنسيق: | Livre numérique |
| اللغة: | Anglais Français |
| منشور في: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| سلاسل: | Lecture notes in mathematics
337 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
Une contribution en français Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971, edited by A. R. D. Mathias,... H. Rogers,..., Berlin [etc.], Springer-Verlag, 1973, 1 vol. (IX-660 p.), Lecture notes in mathematics, 3-540-05569-X • Cambridge Summer School in Mathematical Logic, Texte imprimé, 9783662201343 |
جدول المحتويات:
- 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.