1655101765  

Cambridge Summer School in Mathematical Logic : Held in Cambridge/England, August 1–21, 1971 / edited by A. R. D. Mathias, H. Rogers

Englisch

Berlin, Heidelberg : Springer Berlin Heidelberg, 1973

Online-Ressource (XII, 664 p, online resource)

Konferenzschrift (1971, Cambridge)

Druckausg.: Mathias, A. R. D.: Cambridge Summer School in Mathematical Logic. - Berlin : Springer, 1973. - IX, 660 S.

978-3-540-36884-7

Weitere Ausgaben: 978-3-540-05569-3 (Druckausgabe)

DOI: 10.1007/BFb0066770

*Mathematische Logik

*Mathematics ; Mathematical logic. ; Machine theory.

Klassifikation der Library of Congress: QA1-939

Dewey Dezimal-Klassifikation: 510; ; 511.3;

Regensburger Verbund-Klassifikation: SI 850: SA-SP Mathematik / SI Schriftenreihen / SI 830-SI 910 Schriftenreihen in der alphabetischen Ordnung nach Verfassern / Lecture notes in mathematics

Regensburger Verbund-Klassifikation: SK 130: SA-SP Mathematik / SK Monografien / Logik und Grundlagen, Metamathematik,

Book Industry Communication: PB

bisacsh: MAT000000

Book Industry Communication: PBCD

Book Industry Communication: PBC

bisacsh: MAT018000

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.

Der deutschlandweite Zugriff auf diesen Titel wird durch die Förderung der Deutschen Forschungsgemeinschaft ermöglicht und durch die Technische Informationsbibliothek Hannover organisiert. Einzelpersonen mit ständigem Wohnsitz in der Bundesrepublik Deutschland können sich persönlich bei der Technischen Informationsbibliothek Hannover für einen kostenlosen Zugriff registrieren lassen, falls ihnen der Zugang über ein Universitätsnetz bzw. eine Wissenschaftliche Bibliothek nicht zur Verfügung steht: "http://www.nationallizenzen.de"

http://dx.doi.org/10.1007/BFb0066770 [E-books (Springer)]