Modellspektrum

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Menge der endlichen Kardinalitäten von Strukturen, die eine erste Ordnungstheorie realisieren; als Invariant der Theorie notiert sie, welche endlichen Größen Modelle der Theorie zulassen.