Del 859 - Lecture Notes in Mathematics

Logic Year 1979-80

The University of Connecticut, USA

Häftad, Engelska, 1981

AvM. Lerman,J.H. Schmerl,R.I. Soare,J. H. Schmerl,R. I. Soare

549 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1981-05-01
Mått155 x 235 x 19 mm
Vikt517 g
FormatHäftad
SpråkEngelska
SerieDel 859 i Lecture Notes in Mathematics
Antal sidor330
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540107088

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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.

Du kanske också är intresserad av