Logic Archives for Academic Year 2015


Organizational Meeting

When: Tue, September 1, 2015 - 3:30pm
Where: Math 1311
Speaker: Organizational Meeting () -


Forcing-theoretic methods in countable model theory

When: Tue, September 8, 2015 - 3:30pm
Where: Math 1311
Speaker: Douglas Ulrich (UMCP) -


Refining Equivalence Relations - A New Kind of Behavior for a First Order Theory

When: Tue, September 15, 2015 - 3:30pm
Where: Math 1311
Speaker: Richard Rast (UMCP) -


An Example of Koerwien, and Abelian Permutation Groups

When: Tue, September 22, 2015 - 3:30pm
Where: Math 1311
Speaker: Douglas Ulrich (UMCP) -


The model theory of the Shelah-Spencer random graphs

When: Tue, September 29, 2015 - 3:30pm
Where: Math 1311
Speaker: Chris Laskowski (UMCP) -


On generic automorphisms

When: Tue, October 20, 2015 - 3:30pm
Where: Math 1311
Speaker: Ermek Nurkhaidarov (Penn State Mont Alto) -


Amalgamation Classes with E-Resolutions

When: Tue, October 27, 2015 - 3:30pm
Where: Math 1311
Speaker: Justin Brody (Goucher College) -


Exotic and not-so exotic suborderings of the reals

When: Tue, November 10, 2015 - 3:30pm
Where: Math 1311
Speaker: Chris Laskowski (UMCP) -


Building homogeneous models

When: Tue, November 17, 2015 - 3:30pm
Where: Math 1311
Speaker: Douglas Ulrich (UMCP) -


Towards a Model Theory for Logarithmic Transseries

When: Tue, November 24, 2015 - 3:30pm
Where: Math 1311
Speaker: Allen Gehret (UIUC) -
Abstract: For the past few years I have been working on a project to show that the (ordered valued differential) field of logarithmic transseries, $\mathbb{T}_{\log}$, has a good model theory (model completeness, QE, etc). The first part of this project was to show that the \emph{asymptotic couple} (=value group + additional structure induced by the derivation) has a good model theory. After completing this first part, for the past year I have turned my attention to the field $\mathbb{T}_{\log}$ itself. This project is very similar to the recent results of Aschenbrenner, van der Hoeven and van den Dries in showing that the (ordered valued differential) field of logarithmic-exponential transseries, $\mathbb{T}$, has a good model theory. In this talk I will describe recent progress in the direction of proving model completeness for this structure, as well as the general strategy moving forward. I will also draw parallels between the two fields $\mathbb{T}$ and $\mathbb{T}_{\log}$ to illustrate the obstructions in $\mathbb{T}_{\log}$ that are not present in $\mathbb{T}$.

Some new logical zero-one laws

When: Tue, January 26, 2016 - 3:30pm
Where: Math 1311
Speaker: Caroline Terry (University of Illinois, Chicago) -
Abstract: What is a ``random" graph? The notion of a logical zero-one law gives us one answer to this question. Suppose that for each $n$, $F(n)$ is a set of graphs with underlying set $\{1,\ldots, n\}$. We say the family $F=\bigcup_{n\in \mathbb{N}} F(n)$ has a zero-one law if for every first-order sentence $\phi$, the proportion of elements in $F(n)$ which satisfy $\phi$ goes to zero or one as $n\rightarrow \infty$. When $F$ has a zero-one law, the set of first-order sentences whose probability tends to one forms a complete first-order theory, which describe a ``random" graph arising from $F$ in a precise way. In this talk we present some new examples of families with zero-one laws, including metric spaces and multigraphs. This is joint work with Dhruv Mubayi.

Some results on the model theory of generic structures

When: Tue, March 22, 2016 - 3:30pm
Where: Math 1311
Speaker: Danul Gunatilleka (UMCP) -


The complexity of isomorphism for some first-order theories

When: Tue, March 29, 2016 - 3:30pm
Where: Math 1311
Speaker: Richard Rast (UMCP) -


The unreasonable effectiveness of model theory in mathematics

When: Thu, March 31, 2016 - 3:30pm
Where: Math 1308
Speaker: John Baldwin (University of Illinois, Chicago) -


A new notion of cardinality for countable, first order theories

When: Tue, April 12, 2016 - 3:30pm
Where: Math 1311
Speaker: Douglas Ulrich (UMCP) -