Products of pseudofinite structures
We prove that any product of a family of pseudofinite structures is pseudofinite. The main tools are the fundamental results on products of first order structures due to Feferman and Vaught.
math.LO↗
arXiv subjects
Angus Macintyre
Publications and source records attributed to Angus Macintyre.
Commutative unital rings elementarily equivalent to prescribed product rings
The classical work of Feferman Vaught gives a powerful, constructive analysis of definability in (generalized) product structures, and certain associated enriched Boolean structures. %structures in terms of definability in the component structures. Here, by closely related methods, but in the special setting of commutative unital rings, we obtain a kind of converse allowing us to determine in interesting cases, when a commutative unital R is elementarily equivalent to a nontrivial product of a family of commutative unital rings R_i. We use this in the model theoretic analysis of residue rings of models of Peano Arithmetic.
math.LO↗
Investigating image-based fallow weed detection performance on Raphanus sativus and Avena sativa at speeds up to 30 km h$^{-1}$
Site-specific weed control (SSWC) can provide considerable reductions in weed control costs and herbicide usage. Despite the promise of machine vision for SSWC systems and the importance of ground speed in weed control efficacy, there has been little investigation of the role of ground speed and camera characteristics on weed detection performance. Here, we compare the performance of four camera-software combinations using the open-source OpenWeedLocator platform - (1) default settings on a Raspberry Pi HQ camera, (2) optimised software settings on a HQ camera, (3) optimised software settings on the Raspberry Pi v2 camera, and (4) a global shutter Arducam AR0234 camera - at speeds ranging from 5 km h$^{-1}$ to 30 km h$^{-1}$. A combined excess green (ExG) and hue, saturation, value (HSV) thresholding algorithm was used for testing under fallow conditions using tillage radish (Raphanus sativus) and forage oats (Avena sativa) as representative broadleaf and grass weeds, respectively. ARD demonstrated the highest recall among camera systems, with up to 95.7% of weeds detected at 5 km h$^{-1}$ and 85.7% at 30 km h$^{-1}$. HQ1 and V2 cameras had the lowest recall of 31.1% and 26.0% at 30 km h$^{-1}$, respectively. All cameras experienced a decrease in recall as speed increased. The highest rate of decrease was observed for HQ1 with 1.12% and 0.90% reductions in recall for every km h$^{-1}$ increase in speed for tillage radish and forage oats, respectively. Detection of the grassy forage oats was worse (P<0.05) than the broadleaved tillage radish for all cameras. Despite the variations in recall, HQ1, HQ2, and V2 maintained near-perfect precision at all tested speeds. The variable effect of ground speed and camera system on detection performance of grass and broadleaf weeds, indicates that careful hardware and software considerations must be made when developing SSWC systems.
cs.CV↗
Axioms for Commutative Unital Rings elementarily Equivalent to Restricted Products of Connected Rings
We give axioms in the language of rings augmented by a 1-ary predicate symbol $Fin(x)$ with intended interpretation in the Boolean algebra of idempotents as the ideal of finite elements, i.e. finite unions of atoms. We prove that any commutative unital ring satisfying these axioms is elementarily equivalent to a restricted product of connected rings. This is an extension of the results in \cite{elem-prod} for products. While the results in \cite{elem-prod} give a converse to the Feferman-Vaught theorem for products, our results prove the same for restricted products. We give a complete set of axioms in the language of rings for the ring of adeles of a number field, uniformly in the number field.
math.LO↗
Decidability Problems for Adele Rings and related restricted products
We study elementary equivalence of adele rings and decidability for adele rings of general number fields. We prove that elementary equivalence of adele rings implies isomorphism of the adele rings.
math.LO↗
Model Theory of Adeles I
We study the model theory of the ring of adeles of a number field. We obtain quantifier elimination results in the language of rings and some enrichments. We given consequences for definable subsets of the adeles, and their measures.
math.LO↗
Model Completeness for Henselian Fields with finite ramification valued in a $Z$-Group
We prove that the theory of a Henselian valued field of characteristic zero, with finite ramification, and whose value group is a $Z$-group, is model-complete in the language of rings if the theory of its residue field is model-complete in the language of rings. We apply this to prove that every infinite algebraic extension of the field of $p$-adic numbers $\Bbb Q_p$ with finite ramification is model-complete in the language of rings. For this, we give a necessary and sufficient condition for model-completeness of the theory of a perfect pseudo-algebraically closed field with pro-cyclic absolute Galois group.
math.LO↗
Model theory of finite-by-Presburger Abelian groups and finite extensions of $p$-adic fields
We define a class of pre-ordered abelian groups that we call finite-by-Presburger groups, and prove that their theory is model-complete. We show that certain quotients of the multiplicative group of a local field of characteristic zero are finite-by-Presburger and interpret the higher residue rings of the local field. We apply these results to give a new proof of the model completeness in the ring language of a local field of characteristic zero (a result that follows also from work of Prestel-Roquette).
math.LO↗
Comparing C and Zilber exponential fields, zero sets of exponential polynomials
We continue the research programme of comparing the complex exponential field with Zilber exponential. For the latter we prove, using diophantine geometry, various properties about zero sets of exponential functions, proved for C using analytic function theory, e g the Identity Theorem.
math.RA↗
Enrichments of Boolean Algebras: a uniform treatment of some classical and some novel examples
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment by a predicate for the ideal of finite sets, and a novel one involves predicates giving congruence conditions on the cardinality of finite sets. We focus on three examples, and classify them by expressive power.
math.LO↗
Some supplements to Feferman-Vaught related to the model theory of adeles
We give foundational results for the model theory of the ring of finite adeles over a number field, construed as a restricted product of local fields. In contrast to Weispfenning we work in the language of ring theory, and various sortings interpretable therein. In particular we give a systematic treatment of the product valuation and the valuation monoid. Deeper results are given for the adelic version of Krasner's hyperfields, relating them to the Basarab-Kuhlmann formalism.
math.LO↗
Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields
We give a definition, in the ring language, of Z_p inside Q_p and of F_p[[t]] inside F_p((t)), which works uniformly for all $p$ and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition by an existential formula and neither by a universal formula for the valuation rings of all the finite extensions of a given Henselian valued field. We also show that there is no existential formula of the ring language defining Z_p inside Q_p uniformly for all p. For any fixed finite extension of Q_p, we give an existential formula and a universal formula in the ring language which define the valuation ring.
math.LO↗
The algebraic numbers definable in various exponential fields
We prove the following theorems: Theorem 1: For any E-field with cyclic kernel, in particular $\mathbb C$ or the Zilber fields, all real abelian algebraic numbers are pointwise definable. Theorem 2: For the Zilber fields, the only pointwise definable algebraic numbers are the real abelian numbers.
math.LO↗