Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
Author(s)
Bibliographic Information
Methods in mathematical logic : proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, August 1-6, 1983
(Lecture notes in mathematics, 1130)
Springer-Verlag, c1985
- : gw
- : us
Available at / 68 libraries
-
Library & Science Information Center, Osaka Prefecture University
: gwNDC8:410.8||||10009348381
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNM||11308507032S
-
Hokkaido University, Library, Graduate School of Science, Faculty of Science and School of Science研究室
: gw510/L4972021264143
-
No Libraries matched.
- Remove all filters.
Note
Sponsored by Asociación Venezolana para el Avance de la Ciencia (AsoVAC) ... et al
Includes bibliographies
Description and Table of Contents
Table of Contents
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.
by "Nielsen BookData"