Verkauf durch Sack Fachmedien

Lerman / Soare / Schmerl

Logic Year 1979-80

The University of Connecticut, USA

Medium: Buch
ISBN: 978-3-540-10708-8
Verlag: Springer Berlin Heidelberg
Erscheinungstermin: 01.05.1981
Lieferfrist: bis zu 10 Tage

Springer Book Archives


Produkteigenschaften


  • Artikelnummer: 9783540107088
  • Medium: Buch
  • ISBN: 978-3-540-10708-8
  • Verlag: Springer Berlin Heidelberg
  • Erscheinungstermin: 01.05.1981
  • Sprache(n): Englisch
  • Auflage: 1981
  • Serie: Lecture Notes in Mathematics
  • Produktform: Kartoniert
  • Gewicht: 1060 g
  • Seiten: 330
  • Format (B x H x T): 155 x 235 x 19 mm
  • Ausgabetyp: Kein, Unbekannt
Autoren/Hrsg.

Herausgeber

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.