Quantorenelimination

Ein Verfahren oder eine Eigenschaft einer prädikatenlogischen Theorie bzw. eines formalen Sprachsystems, durch die jede Formel mit Existenz- oder Allquantoren in eine äquivalente quantorenfreie Formel überführt wird, bezogen auf die Semantik der Theorie.

Eine Theorie T (oder eine Struktur) besitzt Quantorenelimination, wenn jede Formel erster Ordnung modulo T äquivalent zu einer quantorenfreien Formel ist; äquivalent ist, dass die Wahrheit jeder Formel in Modellen von T durch quantorenfreie Informationen bestimmt wird.

Eine Eigenschaft einer Theorie, wonach jede Formel in der Theorie äquivalent zu einer quantorenfreien Formel ist; äquivalent dazu lassen sich definierbare Mengen ohne Existenz- oder Allquantoren in der gegebenen Sprache beschreiben.