Relationale Vollständigkeit von uniformen Vorordnungen und partielle kombinatorische Algebren

Uniform Vorordnungen sind eine Klasse von kombinatorischen Darstellungen von mengenindexierten Vorordnungen, die Hofstras grundlegende relationale Objekte verallgemeinern. Eine mengenindexierte Vorordnung ist genau dann durch eine uniform Vorordnung darstellbar, wenn sie ein generisches Prädikat besitzt. Die Arbeit untersucht die ∃-Vervollständigung von mengenindexierten Vorordnungen auf der Ebene der uniformen Vorordnungen und identifiziert eine kombinatorische Bedingung (genannt "relationale Vollständigkeit"), die diejenigen uniformen Vorordnungen mit endlichen Schnitten charakterisiert, deren ∃-Vervollständigungen Tripel sind. Die so erhaltene Klasse von Tripeln enthält relative Realisierbarkeits-Tripel, für die eine Charakterisierung als fibrationelles Analogon zu einer früheren Charakterisierung von Realisierbarkeits-Topos hergeleitet wird.