Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleThe Syntax and Semantics of Infinitary Languages [electronic resource] / edited by Jon Barwise
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1968
Connect to
Descript 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

Mathematics Computer logic Mathematical logic Mathematics Mathematical Logic and Foundations Mathematics general Logics and Meanings of Programs


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram