English
Related papers

Related papers: An NIP structure which does not interpret an infin…

200 papers

A discrete (finite-difference) analogue of differential forms is considered, defined on simplicial complexes, including triangulations of continuous manifolds. Various operations are explicitly defined on these forms, including exterior…

Geometric Topology · Mathematics 2009-11-13 V. Dolotin , A. Morozov , Sh. Shakirov

We give an example of a finitely presented simple group containing a finitely generated subgroup which is not finitely presented.

Group Theory · Mathematics 2007-05-23 Diego Rattaggi

This article is devoted to the investigation of structure of wrap groups of fiber bundles over ultra-normed infinite fields and more generally over Cayley-Dickson algebras. Iterated wrap groups are studied as well. Their smashed products…

Group Theory · Mathematics 2018-12-18 S. V. Ludkovsky

We define a graph structure associated in a natural way to finite fields that nevertheless distinguishes between different models of isomorphic fields.

Number Theory · Mathematics 2020-12-24 Anders Karlsson , Gaëtan Kuhn

Tree sets are abstract structures that can be used to model various tree-shaped objects in combinatorics. Finite tree sets can be represented by finite graph-theoretical trees. We extend this representation theory to infinite tree sets.…

Combinatorics · Mathematics 2025-05-16 J. Pascal Gollin , Jay Lilian Kneip

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 study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups)…

Logic · Mathematics 2025-08-06 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

An infinite family of nonschurian separable association schemes is constructed.

Combinatorics · Mathematics 2021-05-26 Grigory Ryabov

We show that NIP fields have no Artin-Schreier extension, and that simple fields have only a finite number of them.

Logic · Mathematics 2010-09-29 Itay Kaplan , Thomas Scanlon , Frank O. Wagner

We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the…

Logic · Mathematics 2020-05-01 Will Johnson

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 define a new class of infinitary logics $\mathscr L^1_{\kappa,\alpha}$ generalizing Shelah's logic $\mathbb L^1_\kappa$ defined in \cite{MR2869022}. If $\kappa=\beth_\kappa$ and $\alpha <\kappa$ is infinite then our logic coincides with…

Logic · Mathematics 2024-02-22 Jouko Vaananen , Boban Velickovic

We classify pointed Hopf algebras with finite Gelfand-Kirillov dimension whose infinitesimal braiding has dimension 2 but is not of diagonal type, or equivalently is a block. These Hopf algebras are new and turn out to be liftings of either…

Quantum Algebra · Mathematics 2016-06-13 Nicolás Andruskiewitsch , Iván Angiono , István Heckenberger

We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs,…

Representation Theory · Mathematics 2018-01-23 Yury A. Neretin

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

Combining a characterisation by B\'elair, Kaplan, Scanlon and Wagner of certain $\rm NIP$ valued fields of characteristic $p$ with Dickson's construction of cyclic algebras, we provide examples of noncommutative $\rm NIP$ division ring of…

Logic · Mathematics 2019-03-04 Cédric Milliet

We introduce a class of noncommutative spectra and give the sheaf structure on the class of noncommutative spectra.

Rings and Algebras · Mathematics 2012-02-15 Keqin Liu

This is a guide to the construction of nonlinear number fields, which includes new points not found in our earlier article ``Geometric Galois theory, nonlinear number fields and a Galois group interpretation of the idele class group''.

Number Theory · Mathematics 2010-07-20 T. M. Gendron , A. Verjovsky

We show that an A-infinity algebra structure can be transferred to a projective resolution of the complex underlying any A-infinity algebra. Under certain connectedness assumptions, this transferred structure is unique up to homotopy. In…

K-Theory and Homology · Mathematics 2018-01-29 Jesse Burke

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