相关论文: First-order definitions in function fields over an…

While modal extensions of decidable fragments of first-order logic are usually undecidable, their monodic counterparts, in which formulas in the scope of modal operators have at most one free variable, are typically decidable. This only…

Notions of asimulation and k-asimulation introduced in [Olkhovikov, 2011] are extended onto the level of predicate logic. We then prove that a first-order formula is equivalent to a standard translation of an intuitionistic predicate…

The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent…

For any finite field $\mathbb{F}$ and any positive integer $n$ we count the number of monic polynomials of degree $n$ over $\mathbb{F}$ with nonzero constant coefficient and a self-reciprocal factor of any specified degree. An application…

Let M_2 be the moduli space that classifies genus 2 curves. If a curve C is defined over a field k, the corresponding moduli point P=[C] is defined over k. Mestre solved the converse problem for curves with Aut(C) isomorphic to C_2. Given a…

The steady states of the two-species (positive and negative particles) asymmetric exclusion model of Evans, Foster, Godreche and Mukamel are studied using Monte Carlo simulations. We show that mean-field theory does not give the correct…

We study the model theory of vector spaces with a bilinear form over a fixed field. For finite fields this can be, and has been, done in the classical framework of full first-order logic. For infinite fields we need different logical…

We give first-order definitions of Campana and Darmon points in algebraic function fields in one variable over number fields. These sets are geometric generalizations of $n$-full integers (integers whose nonzero valuations are at least $n$)…

Primary superfields for a two dimensional Euclidean superconformal field theory are constructed as sections of a sheaf over a graded Riemann sphere. The construction is then applied to the N=3 Neveu-Schwarz case. Various quantities in the…

Multisymplectic geometry is an adequate formalism to geometrically describe first order classical field theories. The De Donder-Weyl equations are treated in the framework of multisymplectic geometry, solutions are identified as integral…

We show that the first order theory of the lattice of open sets in some natural topological spaces is $m$-equivalent to second order arithmetic. We also show that for many natural computable metric spaces and computable domains the first…

It is shown that the sum of class numbers of orders in totally complex quartic fields with no real quadratic subfield obeys an asymptotic law similar to the prime numbers, as the bound on the regulators tends to infinity. Here only orders…

Let $r$, $n$ be positive integers, $k$ be a non-negative integer and $q$ be any prime power such that $r\mid q^n-1.$ An element $\alpha$ of the finite field $\mathbb{F}_{q^n}$ is called an {\it $r$-primitive} element, if its multiplicative…

For every generalized quadratic form or hermitian form over a division algebra, the anisotropic kernel of the form obtained by scalar extension to the function field of a smooth projective conic is defined over the field of constants. The…

The bundles suitable for a description of higher-spin fields can be built in terms of a 2-spinor bundle as the basic `building block'. This allows a clear, direct view of geometric constructions aimed at a theory of such fields on a curved…

We describe the supersymmetrization of two formulations of free noncommutative planar particles -- in coordinate space with higher order Lagrangian [1] and in the framework of Faddeev and Jackiw [2,3], with first order action. In…

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

In many nonlinear field theories, relevant solutions may be found by reducing the order of the original Euler-Lagrange equations, e.g., to first order equations (Bogomolnyi equations, self-duality equations, etc.). Here we generalise,…

For any integer $k\ge 1$, we show that there are infinitely many complex quadratic fields whose 2-class groups are cyclic of order $2^k$. The proof combines the circle method with an algebraic criterion for a complex quadratic ideal class…

The class of surreal numbers, denoted by $\textbf{No}$, initially proposed by Conway, is a universal ordered field in the sense that any ordered field can be embedded in it. They include in particular the real numbers and the ordinal…