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 tohttp://dx.doi.org/10.1007/BFb0079679
Descript VI, 270 p. online resource

CONTENT

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



Location



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

  line

facebook   instragram