The Syntax and Semantics of Infinitary Languages [electronic resource] / edited by Jon Barwise.

Contributor(s):

Material type: Text

TextSeries: Lecture Notes in Mathematics ; 72Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1968Description: VI, 270 p. online resourceContent type:

text

Media type:

computer

Carrier type:

online resource

ISBN:

9783540359005

Subject(s):

Additional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification:

511.3 23

LOC classification:

QA8.9-10.3

Online resources:

Click here to access online

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.

In: Springer eBooks

Tags from this library: No tags from this library for this title. Log in to add tags.

No physical items for this record

There are no comments on this title.

to post a comment.