Related papers: First-order definability of Campana Points and Dar…

The theory of finite term algebras provides a natural framework to describe the semantics of functional languages. The ability to efficiently reason about term algebras is essential to automate program analysis and verification for…

One of the main themes in this thesis is the description of the signature of both the infinite place and the finite places in cubic function fields of any characteristic and quartic function fields of characteristic at least 5. For these…

In this work we explore the construction of abelian extensions of number fields with exactly one complex place using multivariate analytic functions in the spirit of Hilbert's 12th problem. To this end we study the special values of the…

We develop an explicit theory of formal modular forms over arbitrary number fields $K$, as functions of modular points. We define modular points for $\Gamma_0({\mathfrak n})$ and $\Gamma_1({\mathfrak n})$, where the level ${\mathfrak n}$ is…

Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…

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…

The notion of symmetry in polynomial rings with several indeterminates is generalized to polynomial rings over finite fields. Families of extensions of the projective line over a finite field of constants possessing this property are…

The theory of abstract Friedrichs operators, introduced by Ern, Guermond and Caplain (2007), proved to be a successful setting for studying positive symmetric systems of first order partial differential equations (Friedrichs, 1958),…

This article provides a new theory for the analysis of forward and backward particle approximations of Feynman-Kac models. Such formulae are found in a wide variety of applications and their numerical (particle) approximation are required…

We consider a class of formula equations in first-order logic, Horn formula equations, which are defined by a syntactic restriction on the occurrences of predicate variables. Horn formula equations play an important role in many…

The Cremona group of rank n over a field k is the group of birational automorphisms of the n-dimensional projective space over the field k. We study the minimal dimension such that all finite subgroups of the Cremona group have a faithful…

It is consistent that there is a partial order (P,<) of size aleph_1 such that every monotone (unary) function from P to P is first order definable in (P,<). The partial order is constructed in an extension obtained by finite support…

Various feature descriptions are being employed in logic programming languages and constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called features. The descriptions…

We show that rings of $S$-integers of a global function field $K$ of odd characteristic are first-order universally definable in $K$. This extends work of Koenigsmann and Park who showed the same for $\mathbb{Z}$ in $\mathbb{Q}$ and the…

For an algebraic number $\alpha$ we consider the orders of the reductions of $\alpha$ in finite fields. In the case where $\alpha$ is an integer, it is known by the work on Artin's primitive root conjecture that the order is "almost always…

In this article, for positive integers $n\geq m\geq 1$, the parameter spaces for the isomorphism classes of the generic point arrangements of cardinality $n$, and the antipodal point arrangements of cardinality $2n$ in the Eulidean space…

Let $k$ be a finite field extension of the function field $\bfF_p(T)$ and $\bar{k}$ its algebraic closure. We count points in projective space $\Bbb P ^{n-1}(\bar{k})$ with given height and of fixed degree $d$ over the field $k$. If…

A field k is called anti-Mordellic if every smooth curve over k with a k-point has infinitely many k-points. We prove that for a function field over an anti-Mordellic field, the subfield of constants is defined by a certain universal first…

A one-parameter generalized fermion algebra ${\cal B}_{\kappa}(1)$ is introduced. The Fock representation is studied. The associated coherent states are constructed and the polynomial representation, in the Bargmann sense, is derived. A…

The aim of this paper is to offer an algebraic construction of infinite-dimensional Grassmannians and determinant bundles (and therefore valid for arbitrary base fields). As an application we construct the $\tau$-function and formal…