Universally defining Z in Q with 10 quantifiers

Nicolas Daans

DOI: https://doi.org/10.1112/jlms.12864

2024-02-02

Journal of the London Mathematical Society

Abstract:Abstract We show that for a global field , every ring of ‐integers has a universal first‐order definition in with 10 quantifiers. We also give a proof that every finite intersection of valuation rings of has an existential first‐order definition in with 3 quantifiers.

mathematics

What problem does this paper attempt to address?

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

Nicolas Daans

DOI: https://doi.org/10.1112/jlms.12864

2024-02-01

Abstract:We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential first-order definition in $K$ with $3$ quantifiers.

Number Theory
Defining $\mathbb Z$ using unit groups

Barry Mazur,Karl Rubin,Alexandra Shlapentokh

2024-06-04

Abstract:We consider first-order definability and decidability questions over rings of integers of algebraic extensions of $\Q$, paying attention to the uniformity of definitions. The uniformity follows from the simplicity of our first-order definition of $\Z$. Namely, we prove that for a large collection of algebraic extensions $K/\Q$, $$ \{x \in \oo_K : \text{$\forall \e \in \oo_K^\times \;\exists \delta \in \oo_K^\times$ such that $\delta-1 \equiv (\e-1)x \pmod{(\e-1)^2}$}\} = \Z $$ where $\oo_K$ denotes the ring of integers of $K$. One of the corollaries of our results is undecidability of the field of constructible numbers, a question posed by Tarski in 1948.

Number Theory,Logic
A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Kirsten Eisentraeger,Russell Miller,Caleb Springer,Linda Westrick

2023-10-27

Abstract:For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, then $S_Z$ is meager in $\text{Sub}(\overline{\mathbb{Q}})$. Here, thin and meager both mean "small", in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields $L$ have the property that the ring of algebraic integers $\mathcal{O}_L$ is universally definable in $L$. The main tools are Hilbert's Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists$-definable subset of an algebraic extension of $\mathbb Q$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.

Number Theory,Logic
Universally defining subrings in function fields

Nicolas Daans,Philip Dittmann

2024-04-03

Abstract:We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of $S$-integers is always a diophantine set. As a technical tool, we use a reciprocity exact sequence for quadratic Witt groups in function fields over almost arbitrary base fields (of any characteristic), which is new and of potentially independent interest.

Number Theory,Logic
Uniform existential definitions of valuations in function fields in one variable

Karim Johannes Becher,Nicolas Daans,Philip Dittmann

2023-11-10

Abstract:We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a negative answer, the valuation rings containing $K$ are uniformly existentially definable, and finitely generated integrally closed $K$-subalgebras are definable by a universal-existential formula. In order to obtain these results, we develop further the usage of local-global principles for quadratic forms in function fields to definability of certain subrings. We include a first systematic presentation of this general method, without restriction on the characteristic.

Number Theory
Modal Quanti cation over Structured

DomainsJohan,Van Benthem,N. Alechina

1997-01-01

Abstract:1 Quantiiers as Modal Operators 1.1 Motivations The semantics for quantiiers described in this paper can be viewed both as a new semantics for generalized quantiiers and as a new look at standard rst-order quantiication, bringing the latter closer to modal logic. The standard semantics for generalized quantiiers interprets a monadic generalized quantiier Q as a set of subsets of a domain. For example, the quantiier "there are precisely two" is interpreted by the set of all subsets of the domain which contain precisely two elements. A formula Qx' is true in a model if the set of elements satisfying ' belongs to the interpretation of the quantiier; in our example, if there are precisely two elements satisfying '. The existential quantiier can be treated as a generalized quantiier, too: it is interpreted as the set of all non-empty subsets of the domain. The universal quantiier is interpreted by the singleton set containing the whole domain. The quantiiers listed so far are rst-order deenable in the following sense: they can be deened using ordinary quantiiers and equality. Many interesting generalized quanti-ers are not rst-order deenable. The present study is motivated by the work of Michiel van Lambalgen (1991) on Gentzen-style proof theory for the quantiiers "for many" (its dual is interpreted as a non-principal lter), "for uncountably many" and "for almost all" (the latter contains all subsets of the domain which have Lebesgue measure 1). All those quantiiers are not rst-order deenable. They have Hilbert-style axiomatizations, but until lately no one believed that they can have a reasonable Gentzen-style proof theory. In order to devise such a proof theory, van Lambalgen used a translation of generalized quan-tiier formulas into a rst-order language enriched with a predicate R of indeenite arity. (all free variables displayed). Observe that this translation is reminiscent of the standard translation of modal formulas into rst-order logic, with the sequence of free variables playing the role of the "actual world" and the quantiier ranging over the variables "accessible" from the given sequence. The idea behind such a translation is as follows. When generalized quantiiers are viewed as rst-order operators (binding rst-order variables), it becomes clear that a variable bound by a generalized quan-tiier cannot in general take any possible value. Its range is restricted, and this restriction can be deened using an accessibility relation. Then the elimination rule for Q with a premise Qx'(x; y) would introduce …
Generalized Quantifiers and Natural Language

Jon Barwise,Robin Cooper

DOI: https://doi.org/10.1007/978-94-009-2727-8_10

1981-01-01

Abstract:In 1957, the Polish logician Andrej Mostowski pointed out that there are many mathematically interesting quantifiers that are not definable in terms of the first-order ∀, ∃ and initiated study of so-called generalized quantifiers (cf. Mostowski, 1957). Since then logicians have discovered and studied a large number of generalized quantifiers. At last count there were well over 200 research papers in this area. Most of this work has been directed toward cardinality quantifiers (e.g. Keisler, 1969) and topological quantifiers (e.g. Sgro, 1977) which are not particularly relevant to natural language, but even so, it has forced logicians to rethink the traditional theory of quantification.
Quantifier Free Definability on Infinite Algebras

Bakh Khoussainov

DOI: https://doi.org/10.1145/2933575.2934572

2016-01-01

Abstract:An operation f: An → A on the domain A of an algebra A is definable if there exists a first order logic formula Φ(x, y) with parameters from A such that for all ā ∈ An and b ∈ A we have f (ā) = b iff A ⊨ Φ (ā, b). The goal of this paper is to study definability of operations by quantifier-free formulas on countable infinite algebras from computability and model-theoretic definability points of view.
Local symbols and a first-order definition of the polynomial ring over an ultra-finite field in its fraction field

Dong Quan Ngoc Nguyen

2023-10-16

Abstract:In this paper, we prove the existence of a first-order definition of the polynomial ring over a nonprincipal ultraproduct of finite fields of unbounded cardinalities in its fraction field by a universal-existential formula in the language of rings augmented by an additional constant symbol $t$. As a consequence, we prove that the full first-order theory of the rational function field over a nonprincipal ultraproduct of finite fields of characteristic $0$ is undecidable.

Number Theory,Logic
First-order definability of Darmon points in number fields

Juan Pablo De Rasis,Hunter Handley

2024-10-04

Abstract:For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case. Darmon points, which are a geometric generalization of perfect powers, constitute a non-linear set-theoretical filtration between $K$ and its ring of $S$-integers, the latter of which can be defined with universal formulas, as has been progressively proven by Koenigsmann, Park, and Eisenträger & Morrison. We also show that our formulas are uniform with respect to all possible $S$, with a parameter-free uniformity, and we compute the number of quantifiers and a bound for the degree of the defining polynomial.

Number Theory
Existential rank and essential dimension of diophantine sets

Nicolas Daans,Philip Dittmann,Arno Fehm

2024-12-02

Abstract:We study the minimal number of existential quantifiers needed to define a diophantine set over a field and relate this number to the essential dimension of the functor of points associated to such a definition.

Number Theory,Logic
Rings with $u-1$ Quasinilpotent for Each Unit $u$

Peter Danchev,Arash Javan,Omid Hasanzadeh,Ahmad Moussavi

2024-02-24

Abstract:We define and explore in-depth the notion of {\it UQ rings} by showing their important properties and by comparing their behavior with that of the well-known classes of UU rings and JU rings, respectively. Specifically, among the other established results, we prove that UQ rings are always Dedekind finite (often named directly finite) as well as that, for semipotent rings $R$, the following equivalence hold: $R/J(R)$ is UQ $\iff$ $R$ is UQ having the property that the set $QN(R)$ of quasinilpotent elements of $R$ coincides with the Jacobson radical $J(R)$ of $R$.

Rings and Algebras
On the Strength of Uniqueness Quantification in Primitive Positive Formulas

Victor Lagerkvist,Gustav Nordh

DOI: https://doi.org/10.48550/arXiv.1906.07031

2019-06-17

Abstract:Uniqueness quantification ($\exists !$) is a quantifier in first-order logic where one requires that exactly one element exists satisfying a given property. In this paper we investigate the strength of uniqueness quantification when it is used in place of existential quantification in conjunctive formulas over a given set of relations $\Gamma$, so-called primitive positive definitions (pp-definitions). We fully classify the Boolean sets of relations where uniqueness quantification has the same strength as existential quantification in pp-definitions and give several results valid for arbitrary finite domains. We also consider applications of $\exists !$-quantified pp-definitions in computer science, which can be used to study the computational complexity of problems where the number of solutions is important. Using our classification we give a new and simplified proof of the trichotomy theorem for the unique satisfiability problem, and prove a general result for the unique constraint satisfaction problem.

Computational Complexity,Logic
First-Order Quantification over Automata

Bernard Boigelot,Pascal Fontaine,Baptiste Vergain

2023-06-07

Abstract:Deciding formulas mixing arithmetic and uninterpreted predicates is of practical interest, notably for applications in verification. Some decision procedures consist in building by structural induction an automaton that recognizes the set of models of the formula under analysis, and then testing whether this automaton accepts a non-empty language. A drawback is that universal quantification is usually handled by a reduction to existential quantification and complementation. For logical formalisms in which models are encoded as infinite words, this hinders the practical use of this method due to the difficulty of complementing infinite-word automata. The contribution of this paper is to introduce an algorithm for directly computing the effect of universal first-order quantifiers on automata recognizing sets of models, for formulas involving natural numbers encoded in unary notation. This makes it possible to apply the automata-based approach to obtain implementable decision procedures for various arithmetic theories.

Logic in Computer Science
The Qudit ZH Calculus for Arbitrary Finite Fields: Universality and Application

Dichuan

2024-06-04

Abstract:We propose a generalization of the graphical ZH calculus to qudits of prime-power dimensions $q = p^t$, implementing field arithmetic in arbitrary finite fields. This is an extension of a previous result by Roy which implemented arithmetic of prime-sized fields; and an alternative to a result by de Beaudrap which extended the ZH to implement cyclic ring arithmetic in $\mathbb Z / q\mathbb Z$ rather than field arithmetic in $\mathbb F_q$. We show this generalized ZH calculus to be universal over matrices $\mathbb C^{q^n} \to \mathbb C^{q^m}$ with entries in the ring $\mathbb Z[\omega]$ where $\omega$ is a $p$th root of unity. As an illustration of the necessity of such an extension of ZH for field rather than cyclic ring arithmetic, we offer a graphical description and proof for a quantum algorithm for polynomial interpolation. This algorithm relies on the invertibility of multiplication, and therefore can only be described in a graphical language that implements field, rather than ring, multiplication.

Quantum Physics
Definability and decidability for rings of integers in totally imaginary fields

Caleb Springer

DOI: https://doi.org/10.1112/blms.12933

2023-07-28

Abstract:We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$ is undecidable and first-order non-definable in $\mathbb{Q}^{\text{tr}}(i)$. More generally, when $L$ is a totally imaginary quadratic extension of a totally real field $K$, we use the unit groups $R^\times$ of orders $R\subseteq \mathcal{O}_L$ to produce existentially definable totally real subsets $X\subseteq \mathcal{O}_L$. Under certain conditions on $K$, including the so-called JR-number of $\mathcal{O}_K$ being the minimal value $\text{JR}(\mathcal{O}_K) = 4$, we deduce the undecidability of $\mathcal{O}_L$. This extends previous work which proved an analogous result in the opposite case $\text{JR}(\mathcal{O}_K) = \infty$. In particular, unlike prior work, we do not require that $L$ contains only finitely many roots of unity.

Number Theory,Logic
On Quantifiers for Quantitative Reasoning

Matteo Capucci

2024-07-03

Abstract:We explore a kind of first-order predicate logic with intended semantics in the reals. Compared to other approaches in the literature, we work predominantly in the multiplicative reals $[0,\infty]$, showing they support three generations of connectives, that we call non-linear, linear additive, and linear multiplicative. Means and harmonic means emerge as natural candidates for bounded existential and universal quantifiers, and in fact we see they behave as expected in relation to the other logical connectives. We explain this fact through the well-known fact that min/max and arithmetic mean/harmonic mean sit at opposite ends of a spectrum, that of p-means. We give syntax and semantics for this quantitative predicate logic, and as example applications, we show how softmax is the quantitative semantics of argmax, and Rényi entropy/Hill numbers are additive/multiplicative semantics of the same formula. Indeed, the additive reals also fit into the story by exploiting the Napierian duality $-\log \dashv 1/\exp$, which highlights a formal distinction between 'additive' and 'multiplicative' quantities. Finally, we describe two attempts at a categorical semantics via enriched hyperdoctrines. We discuss why hyperdoctrines are in fact probably inadequate for this kind of logic.

Logic,Logic in Computer Science
Some proof theoretical remarks on quantification in ordinary language

Michele Abrusci,Christian Retoré

DOI: https://doi.org/10.48550/arXiv.1301.5304

2013-01-22

Logic

Abstract:This paper surveys the common approach to quantification and generalised quantification in formal linguistics and philosophy of language. We point out how this general setting departs from empirical linguistic data, and give some hints for a different view based on proof theory, which on many aspects gets closer to the language itself. We stress the importance of Hilbert's oper- ator epsilon and tau for, respectively, existential and universal quantifications. Indeed, these operators help a lot to construct semantic representation close to natural language, in particular with quantified noun phrases as individual terms. We also define guidelines for the design of the proof rules corresponding to generalised quantifiers.
Univalent Foundations of Constructive Algebraic Geometry

Max Zeuner

2024-07-24

Abstract:We investigate two constructive approaches to defining quasi-compact and quasi-separated schemes (qcqs-schemes), namely qcqs-schemes as locally ringed lattices and as functors from rings to sets. We work in Homotopy Type Theory and Univalent Foundations, but reason informally. The main result is a constructive and univalent proof that the two definitions coincide, giving an equivalence between the respective categories of qcqs-schemes.

Algebraic Geometry,Logic
First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability

Alexandra Shlapentokh,Caleb Springer

2024-11-22

Abstract:In this paper, we study questions of definability and decidability for infinite algebraic extensions ${\bf K}$ of $\mathbb{F}_p(t)$ and their subrings of $\mathcal{S}$-integral functions. We focus on fields ${\bf K}$ satisfying a local property which we call $q$-boundedness. This can be considered a function field analogue of prior work of the first author which considered algebraic extensions of $\mathbb{Q}$. One simple consequence of our work states that if ${\bf K}$ is a $q$-bounded Galois extension of $\mathbb{F}_p(t)$, then the integral closure $\mathcal{O}_{\bf K}$ of $\mathbb{F}_p[t]$ inside ${\bf K}$ is first-order definable in ${\bf K}$. Under the additional assumption that the constant subfield of ${\bf K}$ is infinite, it follows that both $\mathcal{O}_{\bf K}$ and ${\bf K}$ have undecidable first-order theories. Our primary tools are norm equations and the Hasse Norm Principle, in the spirit of Rumely. Our paper has an intersection with a recent arXiv preprint by Martínez-Ranero, Salcedo, and Utreras, although our definability results are more extensive and undecidability results are much stronger.

Number Theory,Logic

Universally defining Z in Q with 10 quantifiers

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

Defining $\mathbb Z$ using unit groups

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Universally defining subrings in function fields

Uniform existential definitions of valuations in function fields in one variable

Modal Quanti cation over Structured

Generalized Quantifiers and Natural Language

Quantifier Free Definability on Infinite Algebras

Local symbols and a first-order definition of the polynomial ring over an ultra-finite field in its fraction field

First-order definability of Darmon points in number fields

Existential rank and essential dimension of diophantine sets

Rings with $u-1$ Quasinilpotent for Each Unit $u$

On the Strength of Uniqueness Quantification in Primitive Positive Formulas

First-Order Quantification over Automata

The Qudit ZH Calculus for Arbitrary Finite Fields: Universality and Application

Definability and decidability for rings of integers in totally imaginary fields

On Quantifiers for Quantitative Reasoning

Some proof theoretical remarks on quantification in ordinary language

Univalent Foundations of Constructive Algebraic Geometry

First-order definitions of rings of integral functions over algebraic extensions of function fields and undecidability