Logic Year 1979–80 [electronic resource] : The University of Connecticut, USA /

Definability 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.

Bibliographic Details

Main Authors:	Lerman, Manuel. editor., Schmerl, James H. editor., Soare, Robert I. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1981
Subjects:	Mathematics., Mathematical logic., Mathematical Logic and Foundations.,
Online Access:	http://dx.doi.org/10.1007/BFb0090934
Tags:	Add Tag No Tags, Be the first to tag this record!