LIBERO WebOPAC Catalogue Display (W561)

Catalogue Information
Field name	Details
Dewey Class	511.3
Title	Cambridge Summer School in Mathematical Logic ([EBook] :) : Held in Cambridge/England, August 1–21, 1971 / / edited by A. R. D. Mathias, H. Rogers.
Added Personal Name	Mathias, A. R. D. editor.
Added Personal Name	Rogers, H. editor.
Other name(s)	SpringerLink (Online service)
Publication	Berlin, Heidelberg : : Springer Berlin Heidelberg : : Imprint: Springer, , 1973.
Physical Details	XII, 664 p. : online resource.
Series	Lecture Notes in Mathematics 0075-8434 ; ; 337
ISBN	9783540368847
Contents note	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.
System details note	Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site	http://dx.doi.org/10.1007/BFb0066770
Links to Related Works	Subject References: Mathematical logic . Mathematical Logic and Formal Languages . Mathematical Logic and Foundations . Mathematics . Authors: Mathias, A. R. D. . Rogers, H. . Corporate Authors: SpringerLink (Online service) . Series: Lecture Notes in Mathematics . Classification: 511.3 .

Catalogue Display

Cambridge Summer School in Mathematical Logic: Held in Cambridge/England, August 1–21, 1971 /

Reviews