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.
Main Authors: | , , , |
---|---|
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!
|