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 tohttp://dx.doi.org/10.1007/BFb0075303
Descript X, 410 p. online resource

CONTENT

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



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