000 02937nam a22004815i 4500
001 978-3-540-38673-5
003 DE-He213
005 20190213151852.0
007 cr nn 008mamaa
008 121227s1981 gw | s |||| 0|eng d
020 _a9783540386735
_9978-3-540-38673-5
024 7 _a10.1007/BFb0090934
_2doi
050 4 _aQA8.9-10.3
072 7 _aPBC
_2bicssc
072 7 _aMAT018000
_2bisacsh
072 7 _aPBC
_2thema
072 7 _aPBCD
_2thema
082 0 4 _a511.3
_223
245 1 0 _aLogic Year 1979–80
_h[electronic resource] :
_bThe University of Connecticut, USA /
_cedited by Manuel Lerman, James H. Schmerl, Robert I. Soare.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c1981.
300 _aX, 330 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Mathematics,
_x0075-8434 ;
_v859
505 0 _aDefinability 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.
650 0 _aLogic, Symbolic and mathematical.
650 1 4 _aMathematical Logic and Foundations.
_0http://scigraph.springernature.com/things/product-market-codes/M24005
700 1 _aLerman, Manuel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSchmerl, James H.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSoare, Robert I.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783662185780
776 0 8 _iPrinted edition:
_z9783540107088
830 0 _aLecture Notes in Mathematics,
_x0075-8434 ;
_v859
856 4 0 _uhttps://doi.org/10.1007/BFb0090934
912 _aZDB-2-SMA
912 _aZDB-2-LNM
912 _aZDB-2-BAE
999 _c12161
_d12161