Bienvenue chez nous!
Logo Ex Libris

Methods in Mathematical Logic

  • Couverture cartonnée
  • 410 Nombre de pages
(0) Donner la première évaluation
Évaluations
(0)
(0)
(0)
(0)
(0)
Afficher toutes les évaluations
Contenu Failure of interpolation for quantifiers of monadic type.- Approximation to truth and theory of errors.- Partition relatio... Lire la suite
CHF 72.00
Impression sur demande - l'exemplaire sera recherché pour vous.

Description

Contenu

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.

Informations sur le produit

Titre: Methods in Mathematical Logic
Éditeur:
Code EAN: 9783540152361
ISBN: 978-3-540-15236-1
Format: Couverture cartonnée
Genre: Mathématique
nombre de pages: 410
Poids: 656g
Taille: H23mm x B236mm x T156mm
Année: 1985
Auflage: 1985

Évaluations

Vue d’ensemble

Mes évaluations

Évaluez cet article