Source author record

Douglas Ulrich

Douglas Ulrich appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO math.CO

Catalog footprint

What is connected

3works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2016arXiv

Borel Complexity and Potential Canonical Scott Sentences

We define and investigate HC-forcing invariant formulas of set theory, whose interpretations in the hereditarily countable sets are well behaved under forcing extensions. This leads naturally to a notion of cardinality ||Phi|| for sentences Phi of $L_{ω_1,ω}$, which counts the number of sentences of $L_{\infty,ω}$ that, in some forcing extension, become a canonical Scott sentence of a model of Phi. We show this cardinal bounds the complexity of (Mod(Phi), iso), the class of models of Phi with universe omega, by proving that (Mod(Phi),iso) is not Borel reducible to (Mod(Psi),iso) whenever ||Psi|| < ||Phi||. Using these tools, we analyze the complexity of the class of countable models of four complete, first-order theories T for which (Mod(T),iso) is properly analytic, yet admit very different behavior. We prove that both `Binary splitting, refining equivalence relations' and Koerwien's example of an eni-depth 2, omega-stable theory have (Mod(T),iso) non-Borel, yet neither is Borel complete. We give a slight modification of Koerwien's example that also is omega-stable, eni-depth 2, but is Borel complete. Additionally, we prove that I_{\infty,ω}(Phi)<\beth_{ω_1} whenever (Mod(Phi),iso) is Borel.

preprint2016arXiv

The Number of Atomic Models of Uncountable Theories

We show there exists a complete theory in a language of size continuum possessing a unique atomic model which is not constructible. We also show it is consistent with $ZFC + \aleph_1 < 2^{\aleph_0}$ that there is a complete theory in a language of size $\aleph_1$ possessing a unique atomic model which is not constructible. Finally we show it is consistent with $ZFC + \aleph_1 < 2^{\aleph_0}$ that for every complete theory $T$ in a language of size $\aleph_1$, if $T$ has uncountable atomic models but no constructible models, then $T$ has $2^{\aleph_1}$ atomic models of size $\aleph_1$.

preprint2015arXiv

NIM with Cash

Let A be a finite subset of $\nat$. Then NIM(A;n) is the following 2-player game: initially there are $n$ stones on the board and the players alternate removing $a\in A$ stones. The first player who cannot move loses. This game has been well studied. We investigate an extension of the game where Player I starts out with d dollars, Player II starts out with e dollars, and when a player removes a\in A he loses a dollars. The first player who cannot move loses; however, note this can happen for two different reasons: (1) the number of stones is less than min(A), (2) the player has less than $\min(A)$ dollars. This game leads to more complex win conditions then standard NIM. We prove some general theorems from which we can obtain win conditions for a large variety of finite sets A. We then apply them to the sets A={1,L}, and A={1,L,L+1}.