Title: Amalgamating generic reals, a surgical approach
Location: Keller Hall 313
Speaker: Kameryn Williams, UHM
The material in this talk is an adaptation of joint work with Miha Habič, Joel David Hamkins, Lukas Daniel Klausner, and Jonathan Verner, transforming set theoretic results into a computability theoretic context.
Let $\mathcal D$ be the collection of dense subsets of the full binary tree coming from a fixed countable Turing ideal. In this talk we are interested in properties of $\mathcal D$-generic reals, those reals $x$ so that every $D \in \mathcal D$ is met by an initial segment of $x$. To be more specific the main question is the following. Fix a real $z$ which cannot be computed by any $\mathcal D$-generic. Can we craft a family of $\mathcal D$-generic reals so that we have precise control over which subfamilies of generic reals together compute $z$?
I will illustrate a specific of this phenomenon as a warm up. I will show that given any $\mathcal D$-generic $x$ there is another $\mathcal D$-generic $y$ so that $x \oplus y$ can compute $z$. That is, neither $x$ nor $y$ can compute $z$ on their own, but together they can.
The main result for the talk then gives a uniform affirmative answer for finite families. Namely, I will show that for any finite set $I = \{0, \ldots, n-1\}$ there are mutual $\mathcal D$-generic reals $x_0, \ldots, x_{n-1}$ which can be surgically modified to witness any desired pattern for computing $z$. More formally, there is a real $y$ so that given any $\mathcal A \subseteq \mathcal P(I)$ which is closed under superset and contains no singletons, that there is a single real $w_\mathcal{A}$ so that the family of grafts $x_k \wr_y w_\mathcal{A}$ for $k \in A \subseteq I$ can compute $z$ if and only if $A \in \mathcal A$. Here, $x \wr_y w$ is a surgical modification of $x$, using $y$ to guide where to replace bits from $x$ with those from $w$.
Keller Hall 301
Abstract: My plan is to go through (as much as time will allow of) Measure and Integrals in Conditional Set Theory by Jamneshan et al. with the goal of getting to at least one theorem there that witnesses the merits of conditional set theory.
Keller Hall 301
Abstract: My plan is to go through (as much as time will allow of) Measure and Integrals in Conditional Set Theory by Jamneshan et al. with the goal of getting to at least one theorem there that witnesses the merits of conditional set theory.
I will present on the paper “Largest initial segments pointwise fixed by automorphisms of models of set theory” by Enayat, Kaufmann, and McKenzie.
https://arxiv.org/abs/1606.04002
Keller Hall 301
I will present on the paper “Largest initial segments pointwise fixed by automorphisms of models of set theory” by Enayat, Kaufmann, and McKenzie.
https://arxiv.org/abs/1606.04002
Keller Hall 301
“Iterated ultrapowers for the masses”, part 2
Comparing Near-linearity Notions in Open Induction
There have been works in number theory on characterizing the class of Beatty sequences (integer parts of natural multiples of a fixed nonnegative real slope). The same is true for the inhomogeneous case when a fixed intercept is added before taking the integer part. We consider some notions of multiplicative or additive near-linearity and elaborate on the extent to which they charecterize various such sequences. We show some implications from standard number theory carry over to Open Induction and some do not. [In a second talk we could relate this to the weak fragment allowing the standard integers as a direct summand of a model. That second talk would include two more multiplicative vs. additive topics, details to follow.]
Some additive vs. multiplicative issues in subrecursivity, maximality, and near-linearity
We deal with three topics around addition without or with multiplication.
We first present algorithms to compute a certain real, generating its Beatty sequence or base 2 expansion. The former calculates in integers with addition, in conjunction with the counting operator. The latter calculates in integers with addition and multiplication. Motivation comes from subrecursive reals.
Next, let F be an ordered field, D a maximal discrete subring of F, and G a maximal discrete additive subgroup of F. We point out that although there are examples where F has elements of infinite distance to D, it can never realize any gaps of G. If F is countable, then G can be constructed Delta^0_2 relative to F.
Finally we finish and extend the talk of last week by considering some nonstandard models M of weak arithmetic which have the integers as an additive direct summand. We present functions f and g from M to M whose value at a sum minus sum of values is always 0 or 1 yet for some x,y,u,v ≥ 1in M, we have f(xy) ug(v) + u – 1.
Assessing the Reverse Mathematical Strength of Gratzer-Schmidt Theorem
Gratzer-Schmidt theorem in lattice theory states that all complete and compactly generated lattices are isomorphic to the congruence lattice of an algebra. There has been an effort to assess the strength of this theorem in the reverse mathematical setting. I will discuss my recent progress on this topic and its potential implications.
I will speak about the recent paper “Condensable models of set theory” by Ali Enayat. The abstract can be found here: https://arxiv.org/abs/1910.04029