English
Related papers

Related papers: Finitely Presented Exponential Fields

200 papers

Motivated by the theory of graph limits, we introduce and study the convergence and limits of linear representations of finite groups over finite fields. The limit objects are infinite dimensional representations of free groups in…

Rings and Algebras · Mathematics 2015-11-20 Gabor Elek

In [4] Sturmfels linked the Hilbert Nullstellensatz to Gr\"obner bases through final polynomials. In (loc. cit.) it was claimed that final polynomials always appear in a lexicographic Gr\"obner basis of a certain ideal. In this paper, we…

Commutative Algebra · Mathematics 2024-05-28 Peter Lundgaard , Andreas Bøgh Poulsen

We formulate gauge theories based on Leibniz(-Loday) algebras and uncover their underlying mathematical structure. Various special cases have been developed in the context of gauged supergravity and exceptional field theory. These are based…

High Energy Physics - Theory · Physics 2020-06-23 Roberto Bonezzi , Olaf Hohm

We explicitly present expansions of the complex field which are models of the theories of green points in the multiplicative group case and in the case of an elliptic curve without complex multiplication defined over $\mathbb{R}$. In fact,…

Logic · Mathematics 2014-01-15 Juan Diego Caycedo , Boris Zilber

In an extended abstract Ressayre considered real closed exponential fields and integer parts that respect the exponential function. He outlined a proof that every real closed exponential field has an exponential integer part. In the present…

Logic · Mathematics 2013-01-01 Paola D'Aquino , Julia F. Knight , Salma Kuhlmann , Karen Lange

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},\ldots , a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}\cdots a_{n} =a_{\sigma (1)} a_{\sigma (2)} \cdots a_{\sigma (n)}$, where…

Rings and Algebras · Mathematics 2022-03-16 Ferran Cedo , Eric Jespers , Georg Klein

All finite-dimensional Leibniz algebra bimodules of a Lie algebra $\mathfrak{sl}_2$ over a field of characteristic zero are described.

Representation Theory · Mathematics 2021-06-10 Tuuelbay Kurbanbaev , Rustam Turdibaev

Let $X_r$ be a finite type Dynkin diagram, and $\ell$ be a positive integer greater than or equal to two. The $Y$-system of type $X_r$ with level $\ell$ is a system of algebraic relations, whose solutions have been proved to have…

Combinatorics · Mathematics 2020-04-21 Yuma Mizuno

Finite dimensional subspaces spanned by exponential functions in the space of square integrable functions on a finite interval of the real line are considered. Their limiting positions are studied and described in terms of expo-polynomials.

Functional Analysis · Mathematics 2014-10-28 Ruslan Sharipov

The main goal of this paper is to study some properties of an extension of valuations from classical invariants. More specifically, we consider a valued field $(K,\nu)$ and an extension $\omega$ of $\nu$ to a finite extension $L$ of $K$.…

Commutative Algebra · Mathematics 2019-07-04 Steven Dale Cutkosky , Josnei Novacoski

We prove that over an algebraically closed field there is a representation embedding from the category of classical Kronecker-modules without the simple injective into the category of finite-dimensional modules over any…

Representation Theory · Mathematics 2023-05-30 Klaus Bongartz

We prove that persistently finite algebras are not created by completions of algebras, in any ordered discriminator variety. A persistently finite algebra is one without infinite simple extensions. We prove that finite measurable relation…

Logic · Mathematics 2025-02-12 H. Andréka , I. Németi

It was recently proven by Esnault, Shusterman and the second named author, that the \'etale fundamental group of a connected smooth projective variety over an algebraically closed field $k$ is finitely presented. In this note, we extend…

Algebraic Geometry · Mathematics 2023-05-29 Marcin Lara , Vasudevan Srinivas , Jakob Stix

We investigate the cluster-tilted algebras of finite representation type over an algebraically closed field. We give an explicit description of the relations for the quivers for finite representation type. As a consequence we show that a…

Representation Theory · Mathematics 2020-12-21 Aslak Bakke Buan , Bethany Marsh , Idun Reiten

Non-archimedean fields with restricted analytic functions may not support a full exponential function, but they always have partial exponentials defined in convex subrings. On face of this, we study the first order theory of the class of…

Logic · Mathematics 2025-02-05 Leonardo Ángel , Xavier Caicedo

We define the universal exponential extension of an algebraically closed differential field and investigate its properties in the presence of a nice valuation and in connection with linear differential equations. Next we prove normalization…

Commutative Algebra · Mathematics 2026-04-28 Matthias Aschenbrenner , Lou van den Dries , Joris van der Hoeven

The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…

Logic in Computer Science · Computer Science 2020-08-10 Fabian Zaiser , C. -H. Luke Ong

In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert…

Logic · Mathematics 2018-07-09 José L. Castiglioni , Hernán J. San Martín

We prove the analogue of Schanuel's conjecture for raising to the power of an exponentially transcendental real number. All but countably many real numbers are exponentially transcendental. We also give a more general result for several…

Number Theory · Mathematics 2011-08-05 Martin Bays , Jonathan Kirby , A. J. Wilkie

The central topic is this question: is a given $k$-\'etale algebra $\prod_lE_l/k$ the specialization of a given $k$-cover $f:X\rightarrow B$ at some point $t_0\in B(k)$? Our main tool is a {\it twisting lemma} that reduces the problem to…

Number Theory · Mathematics 2011-07-01 Pierre Dèbes , François Legrand
‹ Prev 1 4 5 6 7 8 10 Next ›