Cambridge Summer School in Mathematical Logic
Springer Berlin (Verlag)
978-3-540-05569-3 (ISBN)
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.
| Erscheint lt. Verlag | 15.8.1973 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Zusatzinfo | XII, 664 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 178 x 254 mm |
| Gewicht | 939 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Logic • Mathematical Logic • Mathematische Logik • model Theory • set theory • Summer School in Mathematical Logic |
| ISBN-10 | 3-540-05569-X / 354005569X |
| ISBN-13 | 978-3-540-05569-3 / 9783540055693 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
