-
Analogues of the countable Borel equivalence relations in the setting of computable reducibility
Authors:
Uri Andrews,
Luca San Mauro
Abstract:
Coskey, Hamkins, and Miller [CHM12] proposed two possible analogues of the class of countable Borel equivalence relations in the setting of computable reducibility of equivalence relations on the computably enumerable (c.e.) sets. The first is based on effectivizing the Lusin-Novikov theorem while the latter is based on effectivizing the Feldman-Moore theorem. They asked for an analysis of which d…
▽ More
Coskey, Hamkins, and Miller [CHM12] proposed two possible analogues of the class of countable Borel equivalence relations in the setting of computable reducibility of equivalence relations on the computably enumerable (c.e.) sets. The first is based on effectivizing the Lusin-Novikov theorem while the latter is based on effectivizing the Feldman-Moore theorem. They asked for an analysis of which degrees under computable reducibility are attained under each of these notions. We investigate these two notions, in particular showing that the latter notion has a strict dichotomy theorem: Every such equivalence relation is either equivalent to the relation of equality ($=^{ce}$) or almost equality ($E_0^{ce}$) between c.e. sets. For the former notion, we show that this is not true, but rather there are both chains and antichains of such equivalence relations on c.e. sets which are between $=^{ce}$ and $E_0^{ce}$. This gives several strong answers to [CHM12, Question 3.5] showing that in general there is no analogue of the Glimm-Efros dichotomy for equivalence relations on the c.e. sets.
△ Less
Submitted 25 September, 2024;
originally announced September 2024.
-
Two results on complexities of decision problems of groups
Authors:
Uri Andrews,
Matthew Harrison-Trainor,
Meng-Che "Turbo" Ho
Abstract:
We answer two questions on the complexities of decision problems of groups, each related to a classical result. First, C. Miller characterized the complexity of the isomorphism problem for finitely presented groups in 1971. We do the same for the isomorphism problem for recursively presented groups. Second, the fact that every Turing degree appears as the degree of the word problem of a finitely p…
▽ More
We answer two questions on the complexities of decision problems of groups, each related to a classical result. First, C. Miller characterized the complexity of the isomorphism problem for finitely presented groups in 1971. We do the same for the isomorphism problem for recursively presented groups. Second, the fact that every Turing degree appears as the degree of the word problem of a finitely presented group is shown independently by multiple people in the 1960s. We answer the analogous question for degrees of ceers instead of Turing degrees. We show that the set of ceers which are computably equivalent to a finitely presented group is $Σ^0_3$-complete, which is the maximal possible complexity.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
A jump operator on the Weihrauch degrees
Authors:
Uri Andrews,
Steffen Lempp,
Alberto Marcone,
Joseph S. Miller,
Manlio Valenti
Abstract:
A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not degree-theoretic and there are functions $f$ such that $f\equiv_{\mathrm{W}} f'$. This raises the question: is there a jump operator in the Weihrauch lattice? We…
▽ More
A partial order $(P,\le)$ admits a jump operator if there is a map $j\colon P \to P$ that is strictly increasing and weakly monotone. Despite its name, the jump in the Weihrauch lattice fails to satisfy both of these properties: it is not degree-theoretic and there are functions $f$ such that $f\equiv_{\mathrm{W}} f'$. This raises the question: is there a jump operator in the Weihrauch lattice? We answer this question positively and provide an explicit definition for an operator on partial multi-valued functions that, when lifted to the Weihrauch degrees, induces a jump operator. This new operator, called the totalizing jump, can be characterized in terms of the total continuation, a well-known operator on computational problems. The totalizing jump induces an injective endomorphism of the Weihrauch degrees. We study some algebraic properties of the totalizing jump and characterize its behavior on some pivotal problems in the Weihrauch lattice.
△ Less
Submitted 28 October, 2024; v1 submitted 20 February, 2024;
originally announced February 2024.
-
The Borel complexity of the class of models of first-order theories
Authors:
Uri Andrews,
David Gonzalez,
Steffen Lempp,
Dino Rossegger,
Hongyu Zhu
Abstract:
We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\pmbΠ_ω^0$-complete set of models. In particular, any sequential theory (a class of foundational theories isolated by Pudlák) has a $\pmbΠ_ω^0$-complete set of models. We also give sharp conditions for theo…
▽ More
We investigate the descriptive complexity of the set of models of first-order theories. Using classical results of Knight and Solovay, we give a sharp condition for complete theories to have a $\pmbΠ_ω^0$-complete set of models. In particular, any sequential theory (a class of foundational theories isolated by Pudlák) has a $\pmbΠ_ω^0$-complete set of models. We also give sharp conditions for theories to have a $\pmbΠ^0_n$-complete set of models.
△ Less
Submitted 14 March, 2025; v1 submitted 15 February, 2024;
originally announced February 2024.
-
Algorithmically finite, universal, and $*$-universal groups
Authors:
Uri Andrews,
Meng-Che "Turbo" Ho
Abstract:
The study of the word problems of groups dates back to Dehn in 1911, and has been a central topic of study in both group theory and computability theory. As most naturally occurring presentations of groups are recursive, their word problems can be thought of as a computably enumerable equivalence relation (ceer). In this paper, we study the word problem of groups in the framework of ceer degrees,…
▽ More
The study of the word problems of groups dates back to Dehn in 1911, and has been a central topic of study in both group theory and computability theory. As most naturally occurring presentations of groups are recursive, their word problems can be thought of as a computably enumerable equivalence relation (ceer). In this paper, we study the word problem of groups in the framework of ceer degrees, introducing a new metric with which to study word problems. This metric is more refined than the classical context of Turing degrees.
Classically, every Turing degree is realized as the word problem of some c.e. group, but this is not true for ceer degrees. This motivates us to look at the classical constructions and show that there is a group whose word problem is not universal, but becomes universal after taking any nontrivial free product, which we call $*$-universal. This shows that existing constructions of the Higman embedding theorem do not preserve ceer degrees. We also study the index set of various classes of groups defined by their properties as a ceer: groups whose word problems are dark (equivalently, algorithmically finite as defined by Miasnikov and Osin), universal, and $*$-universal groups.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Investigating the computable Friedman-Stanley jump
Authors:
Uri Andrews,
Luca San Mauro
Abstract:
We answer several questions about the computable Friedman-Stanley jump on equivalence relations. This jump, introduced by Clemens, Coskey, and Krakoff, deepens the natural connection between the study of computable reduction and its Borel analog studied deeply in descriptive set theory.
We answer several questions about the computable Friedman-Stanley jump on equivalence relations. This jump, introduced by Clemens, Coskey, and Krakoff, deepens the natural connection between the study of computable reduction and its Borel analog studied deeply in descriptive set theory.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
On the structure of computable reducibility on equivalence relations of natural numbers
Authors:
Uri Andrews,
Daniel Belin,
Luca San Mauro
Abstract:
We examine the degree structure $\mathbf{ER}$ of equivalence relations on $ω$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not have a join but that some incomparable degrees do, and we characterize the degrees which have a join with every finite equivalence relation. We show that the natural c…
▽ More
We examine the degree structure $\mathbf{ER}$ of equivalence relations on $ω$ under computable reducibility. We examine when pairs of degrees have a join. In particular, we show that sufficiently incomparable pairs of degrees do not have a join but that some incomparable degrees do, and we characterize the degrees which have a join with every finite equivalence relation. We show that the natural classes of finite, light, and dark degrees are definable in $\mathbf{ER}$. We show that every equivalence relation has continuum many self-full strong minimal covers, and that $\mathbf{d}\oplus \mathbf{Id_1}$ needn't be a strong minimal cover of a self-full degree $\mathbf{d}$. Finally, we show that the theory of the degree structure $\mathbf{ER}$ as well as the theories of the substructures of light degrees and of dark degrees are each computably isomorphic with second order arithmetic.
△ Less
Submitted 23 June, 2022; v1 submitted 26 May, 2021;
originally announced May 2021.
-
Recursive spectra of flat strongly minimal theories
Authors:
Uri Andrews,
Omer Mermelstein
Abstract:
We show that for a model complete strongly minimal theory whose pregeometry is flat, the recursive spectrum (SRM($T$)) is either of the form $[0,α)$ for $α\in ω+2$ or $[0,n]\cup\{ω\}$ for $n\in ω$, or $\{ω\}$, or contained in $\{0,1,2\}$.
Combined with previous results, this leaves precisely 4 sets for which it is not yet determined whether each is the spectrum of a model complete strongly minim…
▽ More
We show that for a model complete strongly minimal theory whose pregeometry is flat, the recursive spectrum (SRM($T$)) is either of the form $[0,α)$ for $α\in ω+2$ or $[0,n]\cup\{ω\}$ for $n\in ω$, or $\{ω\}$, or contained in $\{0,1,2\}$.
Combined with previous results, this leaves precisely 4 sets for which it is not yet determined whether each is the spectrum of a model complete strongly minimal theory with a flat pregeometry.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
Self-full ceers and the uniform join operator
Authors:
Uri Andrews,
Noah Schweber,
Andrea Sorbi
Abstract:
A computably enumerable equivalence relation (ceer) $X$ is called self-full if whenever $f$ is a reduction of $X$ to $X$ then the range of $f$ intersects all $X$-equivalence classes. It is known that the infinite self-full ceers properly contain the dark ceers, i.e. the infinite ceers which do not admit an infinite computably enumerable transversal. Unlike the collection of dark ceers, which are c…
▽ More
A computably enumerable equivalence relation (ceer) $X$ is called self-full if whenever $f$ is a reduction of $X$ to $X$ then the range of $f$ intersects all $X$-equivalence classes. It is known that the infinite self-full ceers properly contain the dark ceers, i.e. the infinite ceers which do not admit an infinite computably enumerable transversal. Unlike the collection of dark ceers, which are closed under the operation of uniform join, we answer a question from \cite{joinmeet} by showing that there are self-full ceers $X$ and $Y$ so that their uniform join $X\oplus Y$ is non-self-full. We then define and examine the hereditarily self-full ceers, which are the self-full ceers $X$ so that for any self-full $Y$, $X\oplus Y$ is also self-full: we show that they are closed under uniform join, and that every non-universal degree in $\textrm{Ceers}_{/{\mathcal{I}}}$ have infinitely many incomparable hereditarily self-full strong minimal covers. In particular, every non-universal ceer is bounded by a hereditarily self-full ceer. Thus the hereditarily self-full ceers form a properly intermediate class in between the dark ceers and the infinite self-full ceers which is closed under $\oplus$.
△ Less
Submitted 21 February, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
The Theory of Ceers Computes True Arithmetic
Authors:
Uri Andrews,
Noah Schweber,
Andrea Sorbi
Abstract:
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the structure comprised of the light ceers. We also show the same for the structure of $\mathcal{I}$-degrees in the dark, light, or complete structure. In each cas…
▽ More
We show that the theory of the partial order of computably enumerable equivalence relations (ceers) under computable reduction is 1-equivalent to true arithmetic. We show the same result for the structure comprised of the dark ceers and the structure comprised of the light ceers. We also show the same for the structure of $\mathcal{I}$-degrees in the dark, light, or complete structure. In each case, we show that there is an interpretable copy of $(\mathbb{N},+,\cdot)$.
△ Less
Submitted 22 February, 2020; v1 submitted 20 September, 2019;
originally announced September 2019.
-
$[0,n]\cup \{ω\}$ is a spectrum of a non-disintegrated flat strongly minimal model complete theory in a language with finite signature
Authors:
Uri Andrews,
Omer Mermelstein
Abstract:
We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite signature.
We build a new spectrum of recursive models (SRM(T)) of a strongly minimal theory. This theory is non-disintegrated, flat, model complete, and in a language with a finite signature.
△ Less
Submitted 29 April, 2021; v1 submitted 25 August, 2019;
originally announced August 2019.
-
Effective inseparability, lattices, and pre-ordering relations
Authors:
Uri Andrews,
Andrea Sorbi
Abstract:
We study effectively inseparable (e.i.) pre-lattices (i.e. structures of the form $L=\langle ω, \wedge, \lor, 0, 1, \leq_L\rangle$ where $ω$ denotes the set of natural numbers and the following hold: $\wedge, \lor$ are binary computable operations; $\leq_L$ is a c.e. pre-ordering relation, with $0 \leq_{L} x \leq_{L} 1$ for every $x$; the equivalence relation $\equiv_L$ originated by $\leq_L$ is a…
▽ More
We study effectively inseparable (e.i.) pre-lattices (i.e. structures of the form $L=\langle ω, \wedge, \lor, 0, 1, \leq_L\rangle$ where $ω$ denotes the set of natural numbers and the following hold: $\wedge, \lor$ are binary computable operations; $\leq_L$ is a c.e. pre-ordering relation, with $0 \leq_{L} x \leq_{L} 1$ for every $x$; the equivalence relation $\equiv_L$ originated by $\leq_L$ is a congruence on $L$ such that the corresponding quotient structure is a non-trivial bounded lattice; the $\equiv_L$-equivalence classes of $0$ and $1$ form an effectively inseparable pair), and show that if $L$ is an e.i. pre-lattice then $\le_{L}$ is universal with respect to all c.e. pre-ordering relations, i.e. for every c.e. pre-ordering relation $R$ there exists a computable function $f$ such that, for all $x,y$, $x \mathrel{R} y$ if and only if $f(x) \le_{L} f(y)$; in fact $\leq_L$ is locally universal, i.e. for every pair $a<_{L} b$ and every c.e. pre ordering relation $R$ one can find a reducing function $f$ from $R$ to $\le_{L}$ such that the range of $f$ is contained in the interval $\{x: a \leq_{L} x \leq_{L} b\}$. Also $\leq_L$ is uniformly dense, i.e. there exists a computable function $f$ such that for every $a,b$ if $a<_{L} b$ then $a<_{L} f(a,b) <_{L} b$, and if $a\equiv_{L} a'$ and $b \equiv_{L} b'$ then $f(a,b)\equiv_{L} f(a',b')$. Some consequences and applications of these results are discussed: in particular for $n \ge 1$ the c.e. pre-ordering relation on $Σ_{n}$ sentences yielded by the relation of provable implication of any c.e. consistent extension of Robinson's $Q$ or $R$ is locally universal and uniformly dense; and the c.e. pre-ordering relation of provable implication of Heyting Arithmetic is locally universal and uniformly dense.
△ Less
Submitted 18 January, 2019;
originally announced January 2019.
-
Trial and error mathematics: Dialectical systems and completions of theories
Authors:
Jacopo Amidei,
Uri Andrews,
Duccio Pianigiani,
Luca San Mauro,
Andrea Sorbi
Abstract:
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.…
▽ More
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.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
Joins and meets in the structure of Ceers
Authors:
Uri Andrews,
Andrea Sorbi
Abstract:
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, a…
▽ More
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.
△ Less
Submitted 4 October, 2018; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Scattered Sentences have Few Separable Randomizations
Authors:
Uri Andrews,
Isaac Goldbring,
Sherwood Hachtman,
H. Jerome Keisler,
David Marker
Abstract:
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 randomiz…
▽ More
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.
△ Less
Submitted 17 April, 2017;
originally announced April 2017.
-
Algebraic Independence Relations in Randomizations
Authors:
Uri Andrews,
Isaac Goldbring,
H. Jerome Keisler
Abstract:
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 monoto…
▽ More
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.
△ Less
Submitted 31 March, 2017;
originally announced March 2017.
-
Definable sets containing productsets in expansions of groups
Authors:
Uri Andrews,
Gabriel Conant,
Isaac Goldbring
Abstract:
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 expa…
▽ More
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.
△ Less
Submitted 6 February, 2017; v1 submitted 26 January, 2017;
originally announced January 2017.
-
Independence in randomizations
Authors:
Uri Andrews,
Isaac Goldbring,
H. Jerome Keisler
Abstract:
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…
▽ More
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.
△ Less
Submitted 23 November, 2018; v1 submitted 28 October, 2016;
originally announced October 2016.
-
Power dissipation in fractal AC circuits
Authors:
Joe P. Chen,
Luke G. Rogers,
Loren Anderson,
Ulysses Andrews,
Antoni Brzoska,
Aubrey Coffey,
Hannah Davis,
Lee Fisher,
Madeline Hansalik,
Stephew Loew,
Alexander Teplyaev
Abstract:
We extend Feynman's analysis of an infinite ladder circuit to fractal circuits, providing examples in which fractal circuits constructed with purely imaginary impedances can have characteristic impedances with positive real part. Using (weak) self-similarity of our fractal structures, we provide algorithms for studying the equilibrium distribution of energy on these circuits. This extends the anal…
▽ More
We extend Feynman's analysis of an infinite ladder circuit to fractal circuits, providing examples in which fractal circuits constructed with purely imaginary impedances can have characteristic impedances with positive real part. Using (weak) self-similarity of our fractal structures, we provide algorithms for studying the equilibrium distribution of energy on these circuits. This extends the analysis of self-similar resistance networks introduced by Fukushima, Kigami, Kusuoka, and more recently studied by Strichartz et al.
△ Less
Submitted 11 February, 2017; v1 submitted 12 May, 2016;
originally announced May 2016.
-
Hindman's theorem and idempotent types
Authors:
Uri Andrews,
Isaac Goldbring
Abstract:
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.
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.
△ Less
Submitted 12 August, 2015;
originally announced August 2015.
-
Wave equation on one-dimensional fractals with spectral decimation and the complex dynamics of polynomials
Authors:
Ulysses Andrews,
Grigory Bonik,
Joe P. Chen,
Richard W. Martin,
Alexander Teplyaev
Abstract:
We study the wave equation on one-dimensional self-similar fractal structures that can be analyzed by the spectral decimation method. We develop efficient numerical approximation techniques and also provide uniform estimates obtained by analytical methods.
We study the wave equation on one-dimensional self-similar fractal structures that can be analyzed by the spectral decimation method. We develop efficient numerical approximation techniques and also provide uniform estimates obtained by analytical methods.
△ Less
Submitted 12 July, 2016; v1 submitted 21 May, 2015;
originally announced May 2015.
-
Independence relations in randomizations
Authors:
Uri Andrews,
Isaac Goldbring,
H. Jerome Keisler
Abstract:
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 study various notions of independence in models of $T^R$.
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 study various notions of independence in models of $T^R$.
△ Less
Submitted 4 September, 2014;
originally announced September 2014.
-
Definable closure in randomizations
Authors:
Uri Andrews,
Isaac Goldbring,
H. Jerome Keisler
Abstract:
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.
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.
△ Less
Submitted 29 April, 2013;
originally announced April 2013.
-
Recursive spectra of strongly minimal theories satisfying the Zilber trichotomy
Authors:
Uri Andrews,
Alice Medvedev
Abstract:
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, trivia…
▽ More
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.
△ Less
Submitted 17 June, 2012; v1 submitted 24 April, 2011;
originally announced April 2011.
