Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
About this product
Product Identifiers
PublisherSpringer Berlin / Heidelberg
ISBN-103540042423
ISBN-139783540042426
eBay Product ID (ePID)109177369
Product Key Features
Number of PagesVI, 270 Pages
LanguageEnglish
Publication NameSyntax and Semantics of Infinitary Languages
SubjectComputer Science, General, Logic
Publication Year1968
TypeTextbook
Subject AreaMathematics, Computers
AuthorJon Barwise
SeriesLecture Notes in Mathematics Ser.
FormatPerfect
Dimensions
Item Height0.2 in
Item Weight30.3 Oz
Item Length9.3 in
Item Width6.1 in
Additional Product Features
Intended AudienceScholarly & Professional
TitleLeadingThe
Series Volume Number72
Number of Volumes1 vol.
IllustratedYes
Dewey Decimal164
Table Of ContentImplicit 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.