Logic Year 1979 80 : The University of Connecticut, USA
Gardado en:
| Autor Principal: | |
|---|---|
| Outros autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in mathematics
859 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logic year 1979-80, the University of Connecticut, USA, edited by M. Lerman, J.H. Schmerl, and R.I. Soare, 1981, Berlin [etc.], Springer-Verlag, 1 vol. (VI-326 p.), Lecture notes in mathematics, 0-387-10708-8 • Logic Year 1979-80, Texte imprimé, 9783662185780 |
Table des matières:
- 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.