Methods in Mathematical Logic [electronic resource] : Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1–6, 1983 /

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.

Bibliographic Details

Main Authors:	Prisco, Carlos Augusto Di. editor., SpringerLink (Online service)
Format:	Texto biblioteca
Language:	eng
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1985
Subjects:	Mathematics., Mathematical logic., Mathematical Logic and Foundations.,
Online Access:	http://dx.doi.org/10.1007/BFb0075303
Tags:	Add Tag No Tags, Be the first to tag this record!