Models and ultraproducts : an introduction
1969
ix, 322 p.
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
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03Cxx
Pays d'édition : Pays-Bas
Ville d'édition : Amsterdam/London
Langue : anglais
Format : 23 cm
Collection : Studies in logic and the foundations of mathematics
Bibliographie : Bibliogr. p. 309-315/index