Description



Table of Contents
Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compactness theorem.- Formulas with linearly ordered quantifiers.- Some problems in group theory.- Choice of infinitary languages by means of definability criteria; Generalized recursion theory.- Definability, automorphisms, and infinitary languages.- The hanf number for complete sentences.- Quantified algebras.- Normal derivability in classical logic.- A determinate logic.- (?1, ?) properties of unions of models.

The Syntax and Semantics of Infinitary Languages

    Product form

    £40.99

    Includes FREE delivery

    Order before 4pm today for delivery by Fri 19 Jun 2026.

    A Paperback by Jon Barwise

    15 in stock


      View other formats and editions of The Syntax and Semantics of Infinitary Languages by Jon Barwise

      Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
      Publication Date: 01/01/1968
      ISBN13: 9783540042426, 978-3540042426
      ISBN10: 3540042423
      Also in:
      Mathematics Mathematical foundations Mathematical logic

      Description



      Table of Contents
      Implicit definability and compactness in infinitary languages.- Some remarks on the model theory of infinitary languages.- Remarks on the theory of geometrical constructions.- Note on admissible ordinals.- An algebraic proof of the barwise compactness theorem.- Formulas with linearly ordered quantifiers.- Some problems in group theory.- Choice of infinitary languages by means of definability criteria; Generalized recursion theory.- Definability, automorphisms, and infinitary languages.- The hanf number for complete sentences.- Quantified algebras.- Normal derivability in classical logic.- A determinate logic.- (?1, ?) properties of unions of models.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account