arXiv subjects

Uri Andrews

Publications and source records attributed to Uri Andrews.

28 records · Page 2Linked to original sources

arXiv2018

Independence in randomizations

The randomization of a complete first order theory $T$ is the complete continuous theory $T^R$ with two sorts, a sort for random elements of models of $T$, and a sort for events in an underlying atomless probability space. We study independence relations and related ternary relations on the randomization of $T$. We show that if $T$ has the exchange property and $\operatorname{acl}=\operatorname{dcl}$, then $T^R$ has a strict independence relation in the home sort, and hence is real rosy. In particular, if $T$ is o-minimal, then $T^R$ is real rosy.

math.LO↗

arXiv2018

Trial and error mathematics: Dialectical systems and completions of theories

This paper is part of a project that is based on the notion of dialectical system, introduced by Magari as a way of capturing trial and error mathematics. In previous work, we investigated the expressive and computational power of dialectical systems, and we compared them to a new class of systems, that of quasidialectical systems, that enrich Magari's systems with a natural mechanism of revision. In the present paper we consider a third class of systems, that of $p$-dialectical systems, that naturally combine features coming from the two other cases. We prove several results about $p$-dialectical systems and the sets that they represent. Then we focus on the completions of first-order theories. In doing so, we consider systems with connectives, i.e. systems that encode the rules of classical logic. We show that any consistent system with connectives represents the completion of a given theory. We prove that dialectical and $q$-dialectical systems coincide with respect to the completions that they can represent. Yet, $p$-dialectical systems are more powerful: we exhibit a $p$-dialectical system representing a completion of Peano Arithmetic which is neither dialectical nor $q$-dialectical.

math.LO↗

arXiv2018

Joins and meets in the structure of Ceers

We study computably enumerable equivalence relations (abbreviated as ceers) under computable reducibility, and we investigate the resulting degree structure Ceers, which is a poset with a smallest and a greatest element. We point out a partition of the ceers into three classes: the finite ceers, the light ceers, and the dark ceers. These classes yield a partition of the degree structure as well, and in the language of posets the corresponding classes of degrees are first order definable within Ceers. There is no least, no maximal, no greatest dark degree, but there are infinitely many minimal dark degrees. We study joins and meets in Ceers, addressing the cases when two incomparable degrees of ceers X,Y have or do not have join or meet according to where X,Y are located in the classes of the aforementioned partition: in particular no pair of dark ceers has join, and no pair in which at least one ceer is dark has meet. We also exhibit examples of ceers X,Y having join which coincides with their uniform join, but also examples when their join is strictly less than the uniform join. We study join-irreducibility and meet-irreducibility. In particular we characterize the property of being meet-irreducible for a ceer E, by showing that it coincides with the property of E being self-full, i.e. every reducibility from E to itself is in fact surjective on its equivalence classes (this property properly extends darkness). We then study the quotient structure obtained by dividing the poset Ceers by the degrees of the finite ceers, and study joins and meets in this quotient structure. We look at automorphisms of Ceers, and show that there are continuum many automorphisms fixing the dark ceers, and continuum many automorphisms fixing the light ceers. Finally, we compute the complexity of the index sets of the classes of ceers studied in the paper.

math.LO↗

arXiv2017

Scattered Sentences have Few Separable Randomizations

In the paper "Randomizations of Scattered Sentences", Keisler showed that if Martin's axiom for aleph one holds, then every scattered sentence has few separable randomizations, and asked whether the conclusion could be proved in ZFC alone. We show here that the answer is "yes". It follows that the absolute Vaught conjecture holds if and only if every $L_{ω_1ω}$-sentence with few separable randomizations has countably many countable models.

math.LO↗

arXiv2017

Algebraic Independence Relations in Randomizations

We study the properties of algebraic independence and pointwise algebraic independence in a class of continuous theories, the randomizations $T^R$ of complete first order theories $T$. If algebraic and definable closure coincide in $T$, then algebraic independence in $T^R$ satisfies extension and has local character with the smallest possible bound, but has neither finite character nor base monotonicity. For arbitrary $T$, pointwise algebraic independence in $T^R$ satisfies extension for countable sets, has finite character, has local character with the smallest possible bound, and satisfies base monotonicity if and only if algebraic independence in $T$ does.

math.LO↗

arXiv2017

Definable sets containing productsets in expansions of groups

We consider the question of when sets definable in first-order expansions of groups contain the product of two infinite sets (we refer to this as the "productset property"). We first show that the productset property holds for any definable subset $A$ of an expansion of a discrete amenable group such that $A$ has positive Banach density and the formula $x\cdot y\in A$ is stable. For arbitrary expansions of groups, we consider a "$1$-sided" version of the productset property, which is characterized in various ways using coheir independence. For stable groups, the productset property is equivalent to this $1$-sided version, and behaves as a notion of largeness for definable sets, which can be characterized by a natural weakening of model-theoretic genericity. Finally, we use recent work on regularity lemmas in distal theories to prove a definable version of the productset property for sets of positive Banach density definable in certain distal expansions of amenable groups.

math.LO↗

arXiv2015

Hindman's theorem and idempotent types

Motivated by a question of Di Nasso, we prove that Hindman's theorem is equivalent to the existence of idempotent types in countable complete extensions of Peano Arithmetic.

math.LO↗

arXiv2014

Independence relations in randomizations

math.LO↗

arXiv2013

Definable closure in randomizations

The randomization of a complete first order theory T is the complete continuous theory T^R with two sorts, a sort for random elements of models of T, and a sort for events in an underlying probability space. We give necessary and sufficient conditions for an element to be definable over a set of parameters in a model of T^R.

math.LO↗

arXiv2012

Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy

We conjecture that for a strongly minimal theory T in a finite signature satisfying the Zilber Trichotomy, there are only three possibilities for the recursive spectrum of T: all countable models of T are recursively presentable; none of them are recursively presentable; or only the zero-dimensional model of T is recursively presentable. We prove this conjecture for disintegrated (formerly, trivial) theories and for modular groups. The conjecture also holds via known results for fields. The conjecture remains open for finite covers of groups and fields.

math.LO↗