The Syntax and Semantics of Infinitary Languages / edited by Jon Barwise
(Lecture Notes in Mathematics ; 72)
データ種別 | 電子ブック |
---|---|
出版情報 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer , 1968 |
本文言語 | 英語 |
大きさ | VI, 270 p : online resource |
書誌詳細を非表示
内容注記 | 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 |
---|---|
著者標目 | Barwise, Jon editor SpringerLink (Online service) |
件 名 | LCSH:Mathematics LCSH:Computer logic LCSH:Mathematical logic FREE:Mathematics FREE:Mathematical Logic and Foundations FREE:Mathematics, general FREE:Logics and Meanings of Programs |
分 類 | DC23:511.3 |
巻冊次 | ISBN:9783540359005 |
ISBN | 9783540359005 |
URL | http://dx.doi.org/10.1007/BFb0079679 |
目次/あらすじ