02387nam 2200589 450 99646661140331620220514215120.03-540-35900-110.1007/BFb0079679(CKB)1000000000438725(SSID)ssj0000327086(PQKBManifestationID)12124362(PQKBTitleCode)TC0000327086(PQKBWorkID)10298889(PQKB)10528705(DE-He213)978-3-540-35900-5(MiAaPQ)EBC5590926(MiAaPQ)EBC6711248(Au-PeEL)EBL5590926(OCoLC)1066186600(Au-PeEL)EBL6711248(OCoLC)1273974328(PPN)155200380(EXLCZ)99100000000043872520220514d1968 uy 0engurnn|008mamaatxtccrThe syntax and semantics of infinitary languages /Jon Barwise, editor1st ed. 1968.Berlin ;Heidelberg :Springer,[1968]©19681 online resource (VI, 270 p.) Lecture Notes in Mathematics ;72Bibliographic Level Mode of Issuance: Monograph0-387-04242-3 3-540-04242-3 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.Lecture notes in mathematics (Springer-Verlag) ;72.Infinitary languagesInfinitary languages.511.34Barwise JonMiAaPQMiAaPQMiAaPQBOOK996466611403316Syntax and semantics of infinitary languages83175UNISA