##  [Vollständiger Typ](/de/node/60069) 

  ##  [Vollständiger Typ](https://mathlogic.quantumdictionary.io/de/node/60070) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Ein vollständiger Typ (auch vollständiger n-Typ) ist eine maximale konsistente Menge von Erster-Ordnung-Formeln mit Parametern in einer gegebenen Struktur oder über einer Parameterbasis, für ein festes Tupel von Variablen; er enthält für jede Formel in diesen Variablen entweder die Formel oder ihre Negation und beschreibt somit alle Erster-Ordnung-Eigenschaften, die ein Tupel relativ zur Parameter

 

 

 

 

 





 

 



 ##  [Vollständiger Typ](https://algebra.quantumdictionary.io/de/node/63991) 

  

 [![Algebra](/sites/default/files/styles/large/public/2026-01/Algebra.png.webp?itok=3pHxBnUF)](/topic-specific-dictionaries/pure-mathematics/algebra)

- Pure Mathematics -

**Algebra Dictionary**

 







 

 

 

 



 

 

 

 

Definition

Ein vollständiger Typ über einer Parametersatz A ist eine maximal konsistente Menge von Formeln erster Ordnung mit Parametern aus A: Für jede Formel φ(x,a) mit a in A enthält der Typ entweder φ(x,a) oder deren Negation, wobei die Gesamtheit konsistent mit der Theorie T bleibt.