Gerer mes favoris
q
Congrès | 009
Cote : Coll. CHOQUET (9/1)
algèbre stellaire ; analyse non standard ; approximation de fonctions analytiques ; calcul fonctionnel ; cône réticulé ; convexe ; décomposition spectrale ; ensemble négligeable ; espace complètement réticulé ; simplexe ; ultrapuissance
... Lire [+]
Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.
4
Monographie
Cote : BELL m ISBN/ISSN : 0-7204-2054-7
algèbre de Boole ; calcul des prédicats ; calcul propositionnel ; classe ; complétude ; interpolation de Craig ; logique ; modèle ; modèle saturé ; nombre de Hanf ; quantificateur de Chang ; quantificateur généralisé ; structure ; structure homogène ; structure universelle ; théorème de Chang ; théorème de Lowenheim-Skolem ; théorème de Mac Dowell-Specker ; théorème de Rabin-Keisler ; théorème de Vaught ; ultralimite ; ultraproduit ; ultrapuissance
Cote : BELL m
algèbre de Boole ; calcul des prédicats ; calcul propositionnel ; classe ; complétude ; interpolation de Craig ; logique ; modèle ; modèle mathématique ; modèle saturé ; nombre de Hanf ; quantificateur de Chang ; quantificateur généralisé ; structure ; structure homogène ; structure universelle ; théorème de Chang ; théorème de Lowenheim-Skolem ; théorème de Mac Dowell-Specker ; théorème de Rabin-Keisler ; théorème de Vaught ; ultralimite ; ultraproduit ; ultrapuissance
