Related papers: First-order definability of Darmon points in numbe…

This work deals with the definability problem by quantifier-free first-order formulas over a finite algebraic structure. We show the problem to be coNP-complete and present two decision algorithms based on a semantical characterization of…

We show that the conditions imposed on a second order linear differential equation with rational coefficients on the complex line by requiring it to have regular singularities with fixed exponents at the points of a finite set $P$ and…

One measure of the complexity of a first-order theory, and similarly a type, is the complexity of the formulas required to axiomatize it. We say a theory is bounded if there is an axiomatization involving only $\forall_n$-formulas for some…

Many computational problems can be modelled as the class of all finite structures $\mathbb A$ that satisfy a fixed first-order sentence $\phi$ hereditarily, i.e., we require that every (induced) substructure of $\mathbb A$ satisfies $\phi$.…

Exactly solving first-order constraints (i.e., first-order formulas over a certain predefined structure) can be a very hard, or even undecidable problem. In continuous structures like the real numbers it is promising to compute approximate…

Definite descriptions, such as 'the General Chair of KR 2024', are a semantically transparent device for object identification in knowledge representation. In first-order modal logic, definite descriptions have been widely investigated for…

By conformal welding, there is a pair of univalent functions $(f,g)$ associated to every point of the complex K\"ahler manifold $\Mob(S^1)\bk\Diff_+(S^1)$. For every integer $n\geq 1$, we generalize the definition of Faber polynomials to…

We provide upper bounds on the total number of irreducible factors, and in particular irreducibility criteria for some classes of bivariate polynomials $f(x,y)$ over an arbitrary field $\mathbb{K}$. Our results rely on information on the…

This work concerns Artin's Conjecture on primitive roots and related problems for number fields. Let $K$ be a number field and let $W_1$ to $W_n$ be finitely generated subgroups of $K^\times$ of positive rank. We consider the index map,…

Let $k$ be an algebraic closed field of characteristic zero. Let $K$ be the rational function field $K=k(t)$. Let $\phi$ be a non isotrivial rational function in $K(z)$. We prove a bound for the cardinality of the set of $K$--rational…

In this paper we consider the formally symmetric differential expression $M[\cdot]$ of any order (odd or even) $\geq 2$. We characterise the dimension of the quotient space $D(T_{\max})/D(T_{\min})$ associated with $M[\cdot]$ in terms of…

We formulate a generalization of a `refined class number formula' of Darmon. Our conjecture deals with Stickelberger-type elements formed from generalized Stark units, and has two parts: the `order of vanishing' and the `leading term'.…

For any algebraically closed field $k$ of positive characteristic $p$ and any non negative integer $n$ K\"ulshammer defined ideals $T\_nA^\perp$ of the centre of a symmetric $k$-algebra $A$. We show that for derived equivalent algebras $A$…

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…

Darmon points on p-adic tori and Jacobians of Shimura curves over Q were introduced in previous joint works with Rotger as generalizations of Darmon's Stark-Heegner points. In this article we study the algebraicity over extensions of a real…

The aim of this paper is to provide sufficient conditions for when a polynomial or rational function over a field K is prime using its order of vanishing at infinity and the resultant.

This paper studies "pro-excision" for the K-theory of one-dimensional (usually semi-local) rings and its various applications. In particular, we prove Geller's conjecture for equal characteristic rings over a perfect field of finite…

We study definable ranks of ordered fields, ordered abelian groups, and linear orders. For an arbitrary linear order $\Gamma$, we construct an ordered abelian group $G$ with archimedian spine $\Gamma$ and an ordered field $K$ with natural…

Steinberg showed that when a finite reflection group acts on a real or complex vector space of finite dimension, the Jacobian determinant of a set of basic invariants factors into linear forms which define the reflecting hyperplanes. This…

Non-forking is one of the most important notions in modern model theory capturing the idea of a generic extension of a type (which is a far-reaching generalization of the concept of a generic point of a variety). To a countable first-order…