{"product_id":"cambridge-summer-school-in-mathematical-logic-held-in-cambridge-u-k-august-1-21-1971-von-a-r-d-mathias-h-rogers-hrsg","title":"Cambridge Summer School in Mathematical Logic","description":"\u003cp\u003eLectures 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540055693\"\u003e\u003ch3\u003eHeld in Cambridge \/U. K., August 1-21, 1971\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540055693","offer_id":39435914838109,"sku":"9783540055693","price":53.45,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/f2bec76b-b818-4f34-ab5b-eb5d4275119d.jpg?v=1772085026","url":"https:\/\/shop.autorenwelt.de\/products\/cambridge-summer-school-in-mathematical-logic-held-in-cambridge-u-k-august-1-21-1971-von-a-r-d-mathias-h-rogers-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}