Konstruktion von Modellen von Theorien mit Interpretationsbeschränkungen durch Forcing mit Sprachfragmenten

Durch die Konstruktion eines Forcing-Rahmens, der auf der Idee des Zusammenfügens von Sprachfragmenten zu einer Theorie mit einem kanonischen Henkin-Modell basiert, kann die Existenz von Objekten mit bestimmten Eigenschaften erzwungen werden. Dieser Rahmen wird dann auf das erweiterte Namba-Problem und die Analyse von Modellen bestimmter Theorien mit Interpretationsbeschränkungen angewendet.