Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleMethods in Mathematical Logic [electronic resource] : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1-6, 1983 / edited by Carlos Augusto Di Prisco
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1985
Connect to
Descript X, 410 p. online resource


Failure of interpolation for quantifiers of monadic type -- Approximation to truth and theory of errors -- Partition relations in arithmetic -- On the axiomatizability of sets in a class theory -- Applications of model theory to real algebraic geometry -- On the space (?)? -- The model extension theorems for ?3-theories -- Completeness theorems for the general theory of stochastic processes -- A barren extension -- Proof functional connectives -- Ultraproducts and categorical logic -- Problems in taxonomy, a floating log -- Counting problems in bounded arithmetic -- Definable ultrafilters and elementary end extensions -- On the axiomatization of PRC-fields -- Formalizations of certain intermediate logics Part I -- Types in class set theories -- Generic extensions which do not ADD random reals

Mathematics Mathematical logic Mathematics Mathematical Logic and Foundations


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