{"product_id":"conference-in-mathematical-logic-london-70-von-w-hodges-hrsg","title":"Conference in Mathematical Logic - London '70","description":"\u003cp\u003eInductive definitions and analogues of large cardinals.- Compact injectives and Non-Standard Analysis.- Non-axiomatizability results in infinitary languages for higher-order structures.- ? 1 1  models and ? 1 1 -categoricity.- Infinitary properties, local functors, and systems of ordinal functions.- Logics containing S4 without the finite model property.- An ?-calculus system for first-order S4.- Craig's interpolation theorem for modal logics.- A note on models and submodels of arithmetic.- An application of ultra-products to prime rings with polynomial identities.- Embedding nondistributive lattices in the recursively enumerable degrees.- Direct powers with distinguished diagonal.- Solution of problems of choquet and puritz.- Some B. Russell's sprouts (1903 ¿ 1908).- On models of arithmetic.-     -definability in set theory.- Initial segments and implications for the structure of degrees.- Abstracts of contributed papers.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540057444\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540057444","offer_id":39425719631965,"sku":"9783540057444","price":42.75,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/997d6c4c-01cc-463d-9644-15773c38cfc6.jpg?v=1772084744","url":"https:\/\/shop.autorenwelt.de\/en\/products\/conference-in-mathematical-logic-london-70-von-w-hodges-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}