Source author record

Paul B. Larson

Paul B. Larson 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.FA

Catalog footprint

What is connected

5works

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.

preprint2020arXiv

Discontinuous homomorphisms, selectors and automorphisms of the complex field

We show, in Zermelo-Fraenkel set theory without the Axiom of Choice, that the existence of a discontinuous homomorphism of the additive group of real numbers induces a selector for the Vitali equivalence relation $\mathbb{R}/\mathbb{Q}$. This shows that a nonprincipal ultrafilter on the integers is not sufficient to construct a discontinuous automorphism of the complex field, confirming a conjecture of Simon Thomas. This is an improved version of our paper in the Proceedings of the American Mathematical Society, which used a weak version of the Axiom of Choice for the same result.

preprint2020arXiv

Unilateral weighted shifts on $\ell^2$

Given a unilateral shift $B_w$ (determined by a bounded sequence $w$), a sequence $x \in \ell^2$ is "hypercyclic" for $w$ iff the forward iterates of $x$ under $B_w$ are dense in $\ell^2$. We show that it is possible to make the set of $x \in \ell^2$ which are simultaneously hypercyclic for all $w$ in a fixed $W \subseteq \ell^\infty$ arbitrarily complicated by choosing $W$ appropriately.

preprint2014arXiv

Scott processes

The Scott process of a relational structure $M$ is the sequence of sets of formulas given by the Scott analysis of $M$. We present axioms for the class of Scott processes of structures in a relational vocabulary $τ$, and use them to give a proof of an unpublished theorem of Leo Harrington from the 1970's, showing that a counterexample to Vaught's Conjecture has models of cofinally many Scott ranks below $ω_{2}$. Our approach also gives a theorem of Harnik and Makkai, showing that if there exists a counterexample to Vaught's Conjecture, then there is a counterexample whose uncountable models have the same $\mathcal{L}_{ω_{1}, ω}(τ)$-theory, and which has a model of Scott rank $ω_{1}$. Moreover, we show that if $ϕ$ is a sentence of $\mathcal{L}_{ω_{1}, ω}(τ)$ giving rise to a counterexample to Vaught's Conjecture, then for every limit ordinal $α$ greater than the quantifier depth of $ϕ$ and below $ω_{2}$, $ϕ$ has a model of Scott rank $α$.

preprint2012arXiv

Universal Functions

A function of two variables F(x,y)is universal iff for every other function G(x,y) there exists functions h(x) and k(y) with G(x,y) = F(h(x),k(y)) Sierpinski showed that assuming the continuum hypothesis there exists a Borel function F(x,y) which is universal. Assuming Martin's Axiom there is a universal function of Baire class 2. A universal function cannot be of Baire class 1. We show that it is consistent that for each countable ordinal alpha>2 there is a universal function of class alpha but none of smaller class. We show that it is consistent with ZFC that there is no universal function (Borel or not) on the reals, and we show that it is consistent that there is a universal function but no Borel universal function. We also prove some results concerning higher arity universal functions. For example, the existence of an F such that for every G there are unary h,k,j such that G(x,y,z) = F(h(x),k(y),j(z)) is equivalent to the existence of a 2-ary universal F. However the existence of an F such that for every G there are h,k,j such that G(x,y,z) = F(h(x,y),k(x,z),j(y,z)) follows from a 2-ary universal F but is strictly weaker. Results obtained Mar-June 2009, Nov 2010. Last revised April 2012 LaTex2e: 28 pages Latest version at: www.math.wisc.edu/~miller

preprint2010arXiv

The Filter Dichotomy and medial limits

The \emph{Filter Dichotomy} says that every uniform nonmeager filter on the integers is mapped by a finite-to-one function to an ultrafilter. The consistency of this principle was proved by Blass and Laflamme. A function between topological spaces is \emph{universally measurable} if the preimage of %every open subset of the codomain is measured by every Borel measure on the domain. A \emph{medial limit} is a universally measurable function from $\mathcal{P}(ω)$ to the unit interval [0,1] which is finitely additive for disjoint sets, and maps singletons to 0and $ω$ to 1. Christensen and Mokobodzki independently showed that the Continuum Hypothesis implies the existence of medial limits. We show that the Filter Dichotomy implies that there are no medial limits.