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

ISILC - Logic Conference

Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

Editors:

  1. Gert H. Müller
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Arnold Oberschelp
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Klaus Potthoff
    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 499)

Sections

Buy it now

Softcover Book USD 69.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 (18 papers)

  1. Front Matter

    PDF

  4. Lectures on large cardinal axioms

    • William Boos
    Pages 25-88

  6. Marginalia to a theorem of Silver

    • Keith I. Devlin, R. B. Jensen
    Pages 115-142

  8. Closed models and hulls of theories

    • Robert Fittler
    Pages 169-189

  9. Axioms of choice in Morse-Kelley class theory

    • T. B. Flannagan
    Pages 190-247

  10. First-order logic and its extensions

    • J. Flum
    Pages 248-310

  11. Set theory in infinitary languages

    • K. Gloede
    Pages 311-362

  13. The model theory of local fields

    • Simon Kochen
    Pages 384-425

  14. Quantifier elimination

    • Peter Krauss
    Pages 426-444

  15. Intensional semantics for natural language

    • Franz von Kutschera
    Pages 445-459

  17. Many-valued algorithmic logic

    • H. Rasiowa
    Pages 543-567

  19. Data types as lattices

    • Dana Scott
    Pages 579-651
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: ISILC - Logic Conference

  • Book Subtitle: Proceedings of the International Summer Institute and Logic Colloquium, Kiel 1974

  • Editors: Gert H. Müller, Arnold Oberschelp, Klaus Potthoff

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1975

  • Softcover ISBN: 978-3-540-07534-9Published: 01 December 1975

  • eBook ISBN: 978-3-540-38022-1Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VII, 651

  • Topics: Mathematical Logic and Foundations

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

Softcover Book USD 69.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