{"product_id":"the-syntax-and-semantics-of-infinitary-languages-von-jon-barwise-hrsg","title":"The Syntax and Semantics of Infinitary Languages","description":"\u003cp\u003eImplicit 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.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540042426\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540042426","offer_id":39435998822493,"sku":"9783540042426","price":48.14,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/82d6e432-e9f5-47dc-a7ee-8efab99a0e70.jpg?v=1772085411","url":"https:\/\/shop.autorenwelt.de\/products\/the-syntax-and-semantics-of-infinitary-languages-von-jon-barwise-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}