{"product_id":"conference-in-mathematical-logic-london-70-9783540057444","title":"Conference in Mathematical Logic - London '70","description":"\u003cp\u003e • Author(s): W. Hodges\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\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","brand":"Springer","offers":[{"title":"Paperback","offer_id":46894439301271,"sku":"9783540057444","price":4622.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540057444.webp?v=1770324342","url":"https:\/\/atlanticbooks.com\/products\/conference-in-mathematical-logic-london-70-9783540057444","provider":"Atlantic Books","version":"1.0","type":"link"}