English
Related papers

Related papers: Universal-existential theories of fields

200 papers

In this paper, we use the theory of genus fields to study the Euclidean ideals of certain real biquadratic fields $K.$ Comparing with the previous works, our methods yield a new larger family of real biquadratic fields $K$ having Euclidean…

Number Theory · Mathematics 2019-10-15 Su Hu , Yan Li

We estimate the proportion of function fields satisfying certain conditions which imply a function-field analogue of the Fontaine-Mazur conjecture. As a byproduct, we compute the fraction of abelian varieties (or even Jacobians) over a…

Number Theory · Mathematics 2007-05-23 Jeffrey D. Achter , Joshua Holden

This paper proves the existence of global rational structures on spaces of cusp forms of general reductive groups. We identify cases where the constructed rational structures are optimal, which includes the case of GL($n$). As an…

Number Theory · Mathematics 2017-05-24 Fabian Januszewski

A complete first-order theory is equational if every definable set is a Boolean combination of instances of equations, that is, of formulae such that the family of finite intersections of instances has the descending chain condition.…

Logic · Mathematics 2021-02-03 Amador Martin-Pizarro , Martin Ziegler

We investigate finite field extensions of the unital 3-field, consisting of the unit element alone, and find considerable differences to classical field theory. Furthermore, the structure of their automorphism groups is clarified and the…

Rings and Algebras · Mathematics 2022-12-19 Steven Duplij , Wend Werner

We classify all cubic extensions of any field of arbitrary characteristic, up to isomorphism, via an explicit construction involving three fundamental types of cubic forms. We deduce a classification of any Galois cubic extension of a…

Number Theory · Mathematics 2017-06-20 Sophie Marques , Kenneth Ward

The quantum theory of ur objects postulates that all existing physical objects and their properties are constructed from fundamental objects called ur objects being described by an element of a two dimensional complex Hilbert space. This…

High Energy Physics - Theory · Physics 2009-12-01 Martin Kober

We show that separable continuous fields over the unit interval whose fibers are stable Kirchberg algebras that satisfy the universal coefficient theorem in KK-theory and have rational K-theory groups are classified up to isomorphism by…

Operator Algebras · Mathematics 2013-11-05 Rasmus Bentmann , Marius Dadarlat

We discuss finite local extensions of quantum field theories in low space time dimensions in connection with categorical structures and the question of modular invariants in conformal field theory, also touching upon purely mathematical…

Mathematical Physics · Physics 2017-08-23 Michael Mueger

We construct supersymmetric K field theories (i.e., theories with a non-standard kinetic term) in 1+1 and 2+1 dimensions such that the bosonic sector just consists of a nonstandard kinetic term plus a potential. Further, we study the…

High Energy Physics - Theory · Physics 2013-05-29 C. Adam , J. M. Queiruga , J. Sanchez-Guillen , A. Wereszczynski

We develop a first-order theory of ordered transexponential fields in the language $\{+,\cdot,0,1,<,e,T\}$, where $e$ and $T$ stand for unary function symbols. While the archimedean models of this theory are readily described, the study of…

Logic · Mathematics 2023-07-24 Lothar Sebastian Krapp , Salma Kuhlmann

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Logic · Mathematics 2011-05-16 Alexandra Shlapentokh , Carlos Videla

We study the class of differentially henselian fields, which are henselian valued fields equipped with generic derivations in the sense of Cubides Kovacics and Point, and are special cases of differentially large fields in the sense of…

Logic · Mathematics 2025-02-11 Gabriel Ng

We formulate the unitary rational orbifold conformal field theories in the algebraic quantum field theory framework. Under general conditions, we show that the orbifold of a given unitary rational conformal field theories generates a…

Quantum Algebra · Mathematics 2009-10-31 Feng Xu

An element $\alpha \in \mathbb {F}_{q^n}$ is normal over $\mathbb {F}_q$ if $\alpha$ and its conjugates $\alpha, \alpha^q, \cdots \alpha^{q^{n-1}}$ form a basis of $\mathbb {F}_{q^n}$ over $\mathbb {F}_q$. Recently, Huczynska, Mullen,…

Number Theory · Mathematics 2018-08-14 Lucas Reis

New features are described for models with multi-particle area-dependent potentials, in any number of dimensions. The corresponding many-body field theories are investigated for classical configurations. Some explicit solutions are given,…

High Energy Physics - Theory · Physics 2009-11-07 Thomas Curtright

We study fragments of dependence logic defined either by restricting the number k of universal quantifiers or the width of dependence atoms in formulas. We find the sublogics of existential second-order logic corresponding to these…

Logic in Computer Science · Computer Science 2015-03-19 Arnaud Durand , Juha Kontinen

We introduce and study in detail the notion of compatibility between valuations and orderings in real hyperfields. We investigate their relation with valuations and orderings induced on factor and residue hyperfields. Much of the theory…

Commutative Algebra · Mathematics 2021-06-10 Katarzyna Kuhlmann , Alessandro Linzi , Hanna Stojałowska

Over a real field which is an extension of transcendence degree 1 of a hereditarily pythagorean base field, every quadratic form which is torsion decomposes into an orthogonal sum of 2-dimensional torsion forms. This is obtained from a more…

Number Theory · Mathematics 2026-05-14 M. Archita , Karim Johannes Becher

We study subfields of large fields which are generated by infinite existentially definable subsets. We say that such subfields are existentially generated. Let $L$ be a large field of characteristic exponent $p$, and let $E\subseteq L$ be…

Logic · Mathematics 2017-10-11 Sylvy Anscombe
‹ Prev 1 3 4 5 6 7 10 Next ›