Erste-Ordnungstheorie
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
Eine Menge von Sätzen der Prädikatenlogik erster Stufe über einer festen Signatur, abgeschlossen unter logischer Konsequenz, die Eigenschaften festlegt, die in Strukturen dieser Signatur gelten sollen.
Erste-Ordnungstheorie
- Pure Mathematics -
Algebra Dictionary
Definition
Eine Menge von Aussagen erster Stufe in einer festen Signatur — entweder als gegebene Menge oder als Erzeuger ihrer deduktiven Hülle — deren Modelle die Strukturen sind, die jede Aussage in der Menge erfüllen.