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.
| Serija: | Lecture Notes in Mathematics |
| Leidėjas: | Springer Berlin Heidelberg |
| Išleidimo metai: | 1985 |
| Knygos puslapių skaičius: | 416 |
| ISBN-10: | 3540152369 |
| ISBN-13: | 9783540152361 |
| Formatas: | Knyga minkštu viršeliu |
| Kalba: | Anglų |
| Žanras: | Mathematical logic |
Parašykite atsiliepimą apie „Methods in Mathematical Logic: Proceedings of the 6th Latin American Symposium on Mathematical Logic held in Caracas, Venezuela, Aug. 1-6, 1983“
