The syntax and semantics of infinitary languages

The syntax and semantics of infinitary languages

by Barwise, Jon

Type Book
Rate 0.0 /5
Details
Files
Reviews
Download

Title Statements

  • Full title :The syntax and semantics of infinitary languages / edited by Jon Barwise.

Edition Statements

  • Publication Date:1968.

Publication Statements

  • Publisher(s):Springer-Verlag
  • Place of Publication:Berlin
  • Language:eng
  • Publication Date:1968.

The Physical Object

  • Description:1 online resource (268 pages)

Edition Identifiers

  • ISBN:9783540042426, 3540042423, 9783540359005, 3540359001
  • DOI:10.1007/BFb0079679
  • oclc:ocn294979517
  • LC Classification:QA3
  • Dewey Decimal:510.8

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.

Read More ↓

Subjects

Formale Sprache Infinitary languages Langages infinitaires Semantik Syntax

Writers

Barwise, Jon

More from this Series

  • Introduction to the semi-classical analysis for the Schrödinger opera…

    ©1988.
    more →

  • Semi-classical analysis for the Schrödinger operator and applications

    ©1988.
    more →
    Semi-classical analysis for the Schrödinger operator and applications

  • Semi-classical analysis for the Schrödinger operator and applications

    ©1988.
    more →
    Semi-classical analysis for the Schrödinger operator and applications

  • Introduction to the semi-classical analysis for the Schrödinger opera…

    ©1988.
    more →
    Introduction to the semi-classical analysis for the Schrödinger operator and applications

  • Semi-classical analysis for the Schrödinger operator and applications

    ©1988.
    more →
    Semi-classical analysis for the Schrödinger operator and applications

Rate & Review

0.0/5
(0 people Voted)

No reviews yet. Be the first to rate this work.

Files & Downloads

  • The Syntax and Semantics of Infinitary Languages …

    DJVU · 1.8 MB · updated
    Login →

  • The Syntax and Semantics of Infinitary Languages …

    PDF · 8.1 MB · updated
    Login →
Log in to request a copy