Methods in Mathematical Logic
Springer Berlin (Verlag)
978-3-540-15236-1 (ISBN)
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.
| Erscheint lt. Verlag | 1.6.1985 |
|---|---|
| Reihe/Serie | Lecture Notes in Mathematics |
| Zusatzinfo | X, 410 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 581 g |
| Themenwelt | Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| Schlagworte | Logic • Mathematical Logic • model Theory • Proof • Ultraproduct |
| ISBN-10 | 3-540-15236-9 / 3540152369 |
| ISBN-13 | 978-3-540-15236-1 / 9783540152361 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
