|
![]() |
|||
|
||||
OverviewFull Product DetailsAuthor: Jon BarwisePublisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K Edition: 1968 ed. Volume: 72 Dimensions: Width: 15.50cm , Height: 1.40cm , Length: 23.50cm Weight: 0.860kg ISBN: 9783540042426ISBN 10: 3540042423 Pages: 270 Publication Date: 01 January 1968 Audience: Professional and scholarly , Professional & Vocational Format: Paperback Publisher's Status: Active Availability: In Print ![]() This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us. Table of ContentsImplicit 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |