Vai al contenuto principale della pagina
Titolo: | Cambridge summer school in Mathematical logic : held in Cambridge/England, August 1-21, 1971 / / edited by A.R.D. Mathias, H. Rogers |
Pubblicazione: | Berlin, Heidelberg : , : Springer-Verlag, , [1973] |
©1973 | |
Edizione: | 1st ed. 1973. |
Descrizione fisica: | 1 online resource (XII, 664 p.) |
Disciplina: | 511.3 |
Soggetto topico: | Logic, Symbolic and mathematical |
Classificazione: | 03-06 |
Persona (resp. second.): | MathiasA. R. D <1944-> (Adrian Richard David) |
RogersHartley, Jr., <1926-2015, > | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | 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. |
Titolo autorizzato: | Cambridge Summer school in mathematical logic |
ISBN: | 3-540-36884-1 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996466645803316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |