{"product_id":"logic-year-1979-80-the-university-of-connecticut-usa-9783540107088","title":"Logic Year 1979-80: The University of Connecticut, USA","description":"\u003cp\u003e • Author(s): M. Lerman | J. H. Schmerl | R. I. Soare\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Logic\u003c\/p\u003e\u003cp\u003eDefinability and the hierarchy of stable theories.- QE rings in characteristic p.- Hierarchies of sets and degrees below 0?.- The plus-cupping theorem for the recursively enumerable degrees.- Natural ?-RE degrees.- Elementary theory of automorphism groups of doubly homogeneous chains.- Three easy constructions of recursively enumerable sets.- On existence of ?n end extensions.- Model theoretic characterizations in generalized recursion theory.-     -Elementarily equivalent models of power ?1.- On recursive linear orderings.- The complexity of types in field theory.- The topos of types.- Some decision problems for subtheories of two-dimensional partial orderings.- Counter-examples via model completions.- High recursively enumerable degrees and the anti-cupping property.- On the Grilliot-Harrington-MacQueen theorem.- Recursively saturated, rather classless models of peano arithmetic.- The degrees of unsolvability: Global results.- Two theorems on autostability in p-Groups.- Constructive and recursive scattered order types.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47592169144471,"sku":"9783540107088","price":4617.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540107088.webp?v=1774976616","url":"https:\/\/atlanticbooks.com\/products\/logic-year-1979-80-the-university-of-connecticut-usa-9783540107088","provider":"Atlantic Books","version":"1.0","type":"link"}