---

＜電子ブック＞
The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
(Lecture Notes in Mathematics. ISSN:16179692 ; 72)

版	1st ed. 1968.
出版者	(Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer)
出版年	1968
大きさ	VI, 270 p : online resource
著者標目	Barwise, Jon editor SpringerLink (Online service)
件　名	LCSH:Mathematical logic LCSH:Mathematics LCSH:Computer science FREE:Mathematical Logic and Foundations FREE:Mathematics FREE:Computer Science Logic and Foundations of Programming
一般注記	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 HTTP:URL=https://doi.org/10.1007/BFb0079679

 類似資料