English
Related papers

Related papers: A P-adic structure which does not interpret an inf…

200 papers

We construct examples of non-schematic algebraic spaces that become schemes after finite ground field extensions.

Algebraic Geometry · Mathematics 2021-09-14 Stefan Schröer

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…

Logic · Mathematics 2021-03-30 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to non-semisimple orbits, have infinite dimension. We spell out a new criterium to show that a…

Quantum Algebra · Mathematics 2018-06-01 Nicolás Andruskiewitsch , Giovanna Carnovale , Gastón Andrés García

We present a new structure theorem for finite fields of odd order that relates multiplicative and additive structure in an interesting way. This theorem has several applications, including an improved understanding of Dickson and Chebyshev…

Number Theory · Mathematics 2021-05-04 Antonia W. Bluher

We use cell decomposition techniques to study additive reducts of p- adic fields. We consider a very general class of fields, including fields with infinite residue fields, which we study using a multi-sorted language. The results are used…

Logic · Mathematics 2012-05-21 Eva Leenknegt

We propose a new definition of so called Hamiltonian forms in n-plectic geometry and show that they have a non-trivial Lie infinity-algebra structure.

Differential Geometry · Mathematics 2012-12-21 Mirco Richter

We consider a new kind of interpretation over relational structures: finite sets interpretations. Those interpretations are defined by weak monadic second-order (WMSO) formulas with free set variables. They transform a given structure into…

Logic in Computer Science · Computer Science 2017-01-11 Thomas Colcombet , Christof Löding

We introduce a simplified framework for ord-transitive models and Shelah's non elementary proper (nep) theory. We also introduce a new construction for the countable support nep iteration.

Logic · Mathematics 2015-09-07 Jakob Kellner

We survey some results on the structure of the groups which are definable in theories of fields involved in the applications of model theory to Diophantine geometry. We focus more particularly on separably closed fields of finite degree of…

Logic · Mathematics 2007-05-23 Elisabeth Bouscaren

We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups. We also obtain a characterization of Abelian groups interpretable in this theory.

Logic · Mathematics 2024-11-01 Rizos Sklinos

In this article we prove various results about transferring or lifting $\mathrm{A}_\infty$-algebra structures along quasi-isomorphisms over a commutative ring.

K-Theory and Homology · Mathematics 2025-10-24 Janina C. Letz

We define nodal finite dimensional algebras and describe their structure over an algebraically closed field. For a special class of such algebras (type A) we find a criterion of tameness.

Representation Theory · Mathematics 2015-01-27 Yuriy A. Drozd , Vasyl V. Zembyk

The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…

Logic · Mathematics 2017-02-23 Matthew Harrison-Trainor

We give sufficient conditions for a first order expansion of the real line to define the standard model of the monadic second order theory of one successor. Such an expansion does not satisfy any of the combinatorial tameness properties…

Logic · Mathematics 2016-12-07 Philipp Hieronymi , Erik Walsberg

The tilting correspondence is a fundamental property of perfectoid fields. In this note, we show that the tilting construction can also be used to detect perfectoid fields among nonarchimedean fields. In particular, for $K$ a complete…

Number Theory · Mathematics 2023-01-24 Ehsan Shahoseini , Kiran S. Kedlaya

We classify fields having finitely many finite non-commutative (not necessarily central) division algebras over them. In the process, we introduce the notion of anti-closure of a field and also make comments on fields having a linear…

Rings and Algebras · Mathematics 2023-09-18 Snehinh Sen

A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…

Logic · Mathematics 2014-08-26 Wojciech Dzik , Michal M. Stronkowski

We construct a nil algebra over a countable field which has finite but non-zero Gelfand-Kirillov dimension.

Rings and Algebras · Mathematics 2007-05-23 T H Lenagan , Agata Smoktunowicz

I shall describe a general model-theoretic task to construct expansions of pseudofinite structures and discuss several examples of particular relevance to computational complexity. Then I will present one specific situation where finding a…

Logic · Mathematics 2017-02-10 Jan Krajicek

Let $p$ be a nonzero complex number. Recently, a class of infinite rank Lie conformal algebras $\mathfrak{B}(p)$ was introduced in [13]. In this paper, we study the structure theory of this class of Lie conformal algebras. Specifically, we…

Rings and Algebras · Mathematics 2019-05-13 Wei Wang , Chunguang Xia , Li Liu