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
• Serie: Lecture notes in mathematics (Springer-Verlag) ; ; 337.