Logic Year 1979-80 (eBook, PDF)
The University of Connecticut, USA
Redaktion: Lerman, M.; Soare, R. I.; Schmerl, J. H.
30,95 €
30,95 €
inkl. MwSt.
Sofort per Download lieferbar
15 °P sammeln
30,95 €
Als Download kaufen
30,95 €
inkl. MwSt.
Sofort per Download lieferbar
15 °P sammeln
Jetzt verschenken
Alle Infos zum eBook verschenken
30,95 €
inkl. MwSt.
Sofort per Download lieferbar
Alle Infos zum eBook verschenken
15 °P sammeln
Logic Year 1979-80 (eBook, PDF)
The University of Connecticut, USA
Redaktion: Lerman, M.; Soare, R. I.; Schmerl, J. H.
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei
bücher.de, um das eBook-Abo tolino select nutzen zu können.
Hier können Sie sich einloggen
Hier können Sie sich einloggen
Sie sind bereits eingeloggt. Klicken Sie auf 2. tolino select Abo, um fortzufahren.
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 21.7MB
Andere Kunden interessierten sich auch für
- The Syntax and Semantics of Infinitary Languages (eBook, PDF)36,95 €
- C. T. ChongTechniques of Admissible Recursion Theory (eBook, PDF)40,95 €
- Recursion Theory Week (eBook, PDF)38,95 €
- Recursion Theory Week (eBook, PDF)28,95 €
- Logic Symposia, Hakone, 1979, 1980 (eBook, PDF)30,95 €
- Hans HermesIntroduction to Mathematical Logic (eBook, PDF)40,95 €
- Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983 (eBook, PDF)35,95 €
-
-
-
Produktdetails
- Verlag: Springer Berlin Heidelberg
- Seitenzahl: 330
- Erscheinungstermin: 15. November 2006
- Englisch
- ISBN-13: 9783540386735
- Artikelnr.: 54142582
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
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.
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.