Calendar

Oct
29
Mon
Logic seminar: The number of maximally complex languages
Oct 29 @ 2:30 pm – 3:30 pm

Speaker: B. Kjos-Hanssen (joint work with Lei Liu)
Abstract:
Campeanu and Ho (2004) stated that it is “very difficult” to compute the number $m_n$ of maximally complex languages (in a finite automata sense) consisting of binary words of length $n$. We show that $m_n=O_{i,n}$, the number of functions from $[2^i]$ to $[2^{2^{n-i}}]$ whose range contains $[2^{2^{n-i}}-1]$, for the least $i$ for which $O_{i,n}>0$. Here, $[a]=${1,…,a}.

Nov
5
Mon
Jake Fennick: Probabilistic logic @ Keller 314
Nov 5 @ 2:30 pm – 3:30 pm

Title: Logic with Probability Quantifiers

Abstract: This talk is based on chapter XIV of Model-Theoretic Logics
(https://projecteuclid.org/euclid.pl/1235417263#toc). I will first give
a brief review of admissible sets and the infinitary logic which is
necessary for probability quantifiers. Then I will present the language
of probability quantifiers, as well as the proof theory, model theory,
and some examples which indicate the expressive power of the language.
Time permitting, my goal is to work towards the main completeness
theorem in section 2.3

Nov
19
Mon
David Ross: Conditional sets
Nov 19 @ 2:30 pm – 3:30 pm
Nov
26
Mon
David Ross: Conditional sets II
Nov 26 @ 2:30 pm – 3:30 pm
Dec
3
Mon
David Webb: Inescapable dimension
Dec 3 @ 2:30 pm – 3:30 pm
Jan
24
Thu
Kameryn Williams: Logic seminar @ Keller 313
Jan 24 @ 2:30 pm – 3:20 pm

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$.

Mar
5
Tue
Logic seminar: Quinn Culver
Mar 5 @ 2:45 pm – 3:35 pm

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.

Mar
12
Tue
Logic seminar: Quinn Culver
Mar 12 @ 2:45 pm – 3:35 pm

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.