Eppenschwandtner, W. E. (2006). The method of forcing with a category of conditions and allegory axioms for algebraic set theory [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-17862
forcing; Freyd Representation; topos; algebraic set theory; double negation sheaves; bounds for toposes; allegory; indexed category; culumative hierarchy
en
Abstract:
Die Methode des Forcing für Unabhängigkeitsbeweise wird in abgewandelter Form untersucht: Statt einer partiellen Ordnung wird eine Kategorie von Bedingungen verwendet.<br />Zunächst wird eine Theorie der C-Namen für eine Kategorie C entwickelt,inklusive der Definition einer Auswertung von C-Namen und einer Forcing-Relation.<br />Auf diese Weise können generische Forcing-Erweiterungen und Permutationsmodelle in einen gemeinsamen Rahmen gestellt werden. Weiters wird gezeigt, daß hinter C-Namen und Garben bezüglich der dichten Überdeckung auf C im wesentlichen dasselbe Konzept steht.<br />Mit der Freydschen Darstellung kann die Methode des Forcing mit einer Kategorie von Bedingungen als Kombination von Forcing mit einer partiellen Ordnung P und der Methode der Permutationsmodelle gesehen werden. Die Darstellung von Schranken für Grothendieck Topoi, die in diesem Text entwickelt wird, f¨uhrt zu mehr Flexiblität in der Auswahl der partiellen Ordnung P.<br />Abschließend werden Axiome der Algebraischen Mengentheorie im Kontext abstrakter Relationen (Allegorien) angegeben. Dieser Zugang erlaubt eine Axiomatisierung von Familien von Mengen, die durch Klassen indiziert werden, ohne den üblichen Fokus auf disjunkte Mengen und führt zu einer verdichteten Formulierung der Algebraischen Mengentheorie.<br />
de
The method of forcing for set theory independence proofs is examined in a modi- fied version with a category of conditions rather then a partial order of conditions.<br />A theory of C-names is developed for a category C, including a definition of an evaluation of C-names and a forcing relation. This way, generic forcing extensions and permutation models fit into one framework. It is shown that C-names and double negation sheaves on C are essentially the same concept.<br />With the Freyd representation, forcing with a category of conditions can be seen as a combination of conventional forcing on a partial order P and permutation model method. The representation of bounds for Grothendieck topoi given in this text leads to more flexibility to choose the partial order P.<br />Finally, a set of axioms for Algebraic Set Theory is presented, based on the allegory setting of abstract relations. Axiomising class indexed families of sets, this approach allows to drop the usual focus on families of disjoint sets and leads to a more condensed formulation of Algebraic Set Theory.