03004nam 2200589 450 99646664580331620220428114639.03-540-36884-110.1007/BFb0066770(CKB)1000000000438460(SSID)ssj0000321729(PQKBManifestationID)12041905(PQKBTitleCode)TC0000321729(PQKBWorkID)10281027(PQKB)11422631(DE-He213)978-3-540-36884-7(MiAaPQ)EBC5584828(MiAaPQ)EBC6698628(Au-PeEL)EBL5584828(OCoLC)1066199866(Au-PeEL)EBL6698628(PPN)15519268X(EXLCZ)99100000000043846020220428d1973 uy 0engurnn#008mamaatxtccrCambridge summer school in Mathematical logic held in Cambridge/England, August 1-21, 1971 /edited by A.R.D. Mathias, H. Rogers1st ed. 1973.Berlin, Heidelberg :Springer-Verlag,[1973]©19731 online resource (XII, 664 p.)Lecture Notes in Mathematics ;337Bibliographic Level Mode of Issuance: Monograph3-540-05569-X 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.Lecture notes in mathematics (Springer-Verlag) ;337.Logic, Symbolic and mathematicalCongressesLogic, Symbolic and mathematical511.303-06mscMathias A. R. D(Adrian Richard David),1944-Rogers HartleyJr.,1926-2015,MiAaPQMiAaPQMiAaPQBOOK996466645803316Cambridge Summer school in mathematical logic262821UNISA