TY  - BOOK
AU  - Prisco,Carlos Augusto
ED  - SpringerLink (Online service)
TI  - Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela August 1–6, 1983 
T2  - Lecture Notes in Mathematics,
SN  - 9783540394143
AV  - QA8.9-10.3 
U1  - 511.3 23
PY  - 1985///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Mathematics
KW  - Logic, Symbolic and mathematical
KW  - Mathematical Logic and Foundations
N1  - 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
UR  - http://dx.doi.org/10.1007/BFb0075303
ER  -