Type
Sign in to saveAlso known as omitting types
term in model theory and related areas of mathematics
Article · Français
En théorie des modèles, un type est un ensemble de formules à une même variable libre, consistant avec une théorie donnée, c'est-à-dire tel qu'il existe un modèle de la théorie en question dont un élément satisfait chacune des formules du type.
Abstract from DBpedia / Wikipedia · CC BY-SA