Skip to main content
SpringerLink
Log in
Book cover

Logic Year 1979-80

The University of Connecticut, USA

  • Conference proceedings
  • © 1981

Overview

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)

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Pages N2-VIII
    Download chapter PDF

  2. Definability and the hierarchy of stable theories

    • John T. Baldwin
    Pages 1-15

  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

  8. Three easy constructions of recursively enumerable sets

    • Carl G. Jockusch Jr.
    Pages 83-91

  9. On existence of Σn end extensions

    • Matt Kaufmann
    Pages 92-103

  10. Model theoretic characterizations in generalized recursion theory

    • Phokion G. Kolaitis
    Pages 104-119

  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

  15. Some decision problems for subtheories of two-dimensional partial orderings

    • A. B. Manaster, J. B. Remmel
    Pages 202-214

  16. Counter-examples via model completions

    • Terrence Millar
    Pages 215-229

  17. High recursively enumerable degrees and the anti-cupping property

    • David P. Miller
    Pages 230-245

  18. On the Grilliot-Harrington-MacQueen theorem

    • Yiannis N. Moschovakis
    Pages 246-267

  19. Recursively saturated, rather classless models of peano arithmetic

    • James H. Schmerl
    Pages 268-282

  20. The degrees of unsolvability: Global results

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

Keywords

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

  • Industry Sectors: IT & Software

Publish with us

Policies and ethics

Back to top

Search

Navigation