Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1981

Logic Year 1979-80

The University of Connecticut, USA

Editors:

  1. Manuel Lerman
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. James H. Schmerl
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Robert I. Soare
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Mathematics (LNM, volume 859)

Sections

Buy it now

eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (21 papers)

  1. Front Matter

    Pages N2-VIII
    PDF

  3. QE rings in characteristic p

    • C. Berline, G. Cherlin
    Pages 16-31

  4. Hierarchies of sets and degrees below 0′

    • Richard L. Epstein, Richard Haas, Richard L. Kramer
    Pages 32-48

  5. The plus-cupping theorem for the recursively enumerable degrees

    • Peter A. Fejer, Robert I. Soare
    Pages 49-62

  6. Natural α-RE degrees

    • D. Friedman
    Pages 63-66

  7. Elementary theory of automorphism groups of doubly homogeneous chains

    • A. M. W. Glass, Yuni Gurevich, W. Charles Holland, Michèle Jambu-Giraudet
    Pages 67-82

  9. On existence of Σn end extensions

    • Matt Kaufmann
    Pages 92-103

  11. -Elementarily equivalent models of power ω1

    • David W. Kueker
    Pages 120-131

  12. On recursive linear orderings

    • Manuel Lerman
    Pages 132-142

  13. The complexity of types in field theory

    • Angus Macintyre
    Pages 143-156

  14. The topos of types

    • M. Makkai
    Pages 157-201

  16. Counter-examples via model completions

    • Terrence Millar
    Pages 215-229

  18. On the Grilliot-Harrington-MacQueen theorem

    • Yiannis N. Moschovakis
    Pages 246-267

  20. The degrees of unsolvability: Global results

    • Richard A. Shore
    Pages 283-301
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Logic Year 1979-80

  • Book Subtitle: The University of Connecticut, USA

  • Editors: Manuel Lerman, James H. Schmerl, Robert I. Soare

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0090934

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1981

  • Softcover ISBN: 978-3-540-10708-8Published: 01 May 1981

  • eBook ISBN: 978-3-540-38673-5Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: X, 330

  • Topics: Mathematical Logic and Foundations

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation