We present some results about generics for computable Mathias forcing. The n-generics and weak n-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing relation, and show that if G is any n-generic with n ≥ 3 then it satisfies the jump property G(n−1) = G′ ⊕ ∅(n). We prove that every such G has generalized high degree, ...

Given a set F of graphs, a graph G is F-free if G does not contain any member of F as an induced subgraph. We say that F is a degreesequence-forcing set if, for each graph G in the class C of F-free graphs, every realization of the degree sequence of G is also in C. A degreesequence-forcing set is minimal if no proper subset is degree-sequenceforcing. We characterize the non-minimal degree-sequ...

On Subcomplete Forcing by Kaethe Lynn Bruesselbach Minden Adviser: Professor Gunter Fuchs I survey an array of topics in set theory and their interaction with, or in the context of, a novel class of forcing notions: subcomplete forcing. Subcomplete forcing notions satisfy some desirable qualities; for example they don’t add any new reals to the model, and they admit an iteration theorem. While ...

An r-fold analogue of the positive semidefinite zero forcing process that is carried out on the r-blowup of a graph is introduced and used to define the fractional positive semidefinite forcing number. Properties of the graph blowup when colored with a fractional positive semidefinite forcing set are examined and used to define a three-color forcing game that directly computes the fractional po...

The Dual Post Correspondence Problem asks, for a given word α, if there exists a non-periodic morphism g and an arbitrary morphism h such that g(α) = h(α). Thus α satisfies the Dual PCP if and only if it belongs to a non-trivial equality set. Words which do not satisfy the Dual PCP are called periodicity forcing, and are important to the study of word equations, equality sets and ambiguity of m...

In an Appalachian Set Theory Workshop [3], Gitik presented some of the details of a simplified version of the poset from his original paper. The discussion there motivates the definition of the forcing by modifying a poset which requires a stronger large cardinal assumption which is sometimes called the long extender forcing. However, the discussion recorded in the Appalachian Set Theory (AST) ...

The Zermelo-Fraenkel axioms for set theory with the Axiom of Choice (ZFC) form the most commonly accepted foundations for mathematical practice, yet it is well-known that many mathematical statements are neither proved nor refuted from these axioms. One example is given by Gödel’s Second Incompleteness Theorem, which says that no consistent recursive axiom system which is strong enough to descr...

Set theory is the study of sets, particularly the transfinite, with a focus on well-founded transfinite recursion. Began with Cantor in late 19th century, matured in mid 20th century. Set theory today is vast: independence, large cardinals, forcing, combinatorics, the continuum, descriptive set theory,... Set theory also serves as an ontological foundation for all (or much of) mathematics. Math...