algèbre quantifiée # construction géométrique # définabilité implicite et compacité en langage infinitaire # dérivabilité normale en logique classique # logique déterminée # nombre de Hanf pour phase complète # ordinal admissible # preuve algébrique du théorème de compacité de Barwise # propriété d'union de modèle # quantificateur ordonné linéairement # syntaxe et sémantique de langage infinitaire # théorie de récursion # théorie des groupes

Publisher City : Berlin ; Heidelberg ; N.Y.

Publisher country : Allemagne RFA

Language : English

Collation : 268 p. ; 28 cm ; Bibliogr. ; rel.

Series : Lecture notes in mathematics

Nb in series : 0072

Location : Collection 1er étage

Notes : 5 volumes reliés ensemble L20184 à L20188

Event Year : 1967

City of congres : Los Angeles

Country of congres : États-Unis

Conference type : Congrès

Availability : empruntable

Level of authorization : Public

Copies