English
Related papers

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

200 papers

Let M be a manifold, and G a Lie group which satisfies the unique extension property. An (M,G) manifold N is a manifold endowed with an atlas (U_i,f_i) where f_i is a diffeomorphism between U_i and an open set of M such that the coordinates…

Number Theory · Mathematics 2007-05-23 Aristide Tsemo

We construct uncountably categorical 3-nilpotent groups of exponent p > 3. They are not one-based and do not allow the interpretation of an infinite field. Therefore they are counterexamples to Zilbers Conjecture. First 2-nilpotent new…

Logic · Mathematics 2022-01-10 Andreas Baudisch

We discuss the equivalence between a string theory and the two-dimensional Yang-Mills theory with SU(N) gauge group for finite N. We find a sector which can be interpreted as a sum of covering maps from closed string world-sheets to the…

High Energy Physics - Theory · Physics 2009-11-10 Toshihiro Matsuo , So Matsuura

A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is undecidable for every nonempty finite $\Sigma \subseteq \mbox{Th}(K; \mathcal{L})$. We extend a construction of Ziegler and (among other…

Logic · Mathematics 2023-07-21 Brian Tyrrell

We explore "semibounded" expansions of arbitrary ordered groups; namely, expansions that do not define a field on the whole universe. We show that if $\mathcal R=\langle R, <, +, \dots\rangle$ is a semibounded o-minimal structure and…

Logic · Mathematics 2021-06-24 Pantelis E. Eleftheriou , Alex Savatovsky

A finitely generated solvable group with unbounded iterated identity is constructed.

Group Theory · Mathematics 2018-08-03 Roman Mikhailov

We give a source of examples of H_infinity ring structures that do not lift to E_infinity ring structures, based on Mandell's equivalence between certain cochain algebras and spaces.

Algebraic Topology · Mathematics 2013-11-05 Tyler Lawson

In this article we consider alternative definitions-descriptions of a set being Infinite within the primitive Axiomatic System of Zermelo.

Logic · Mathematics 2015-09-03 George Chailos

We investigate structural implications arising from the condition that a given directed graph does not interpret, in the sense of primitive positive interpretation with parameters or orbits, every finite structure. Our results generalize…

Logic in Computer Science · Computer Science 2023-02-24 Libor Barto , Bertalan Bodor , Marcin Kozik , Antoine Mottet , Michael Pinsker

Let $L/K$ be a finite Galois extension of fields with Galois group $G$. It is known that $L/K$ admits exactly two Hopf-Galois structures when $G$ is non-abelian simple. In this paper, we extend this result to the case when $G$ is…

Group Theory · Mathematics 2022-12-08 Cindy Tsang

We produce a connected real Lie group that, as a first order structure in the group language, interprets the real field expanded with a predicate for the integers. Moreover, the domain of our interpretation is definable in the group.

Logic · Mathematics 2021-08-20 Annalisa Conversano , Marcello Mamino

We prove some structure results for isometries between noncommutative Lp spaces associated to von Neumann algebras. We find that an isometry T: Lp(M_1) to Lp(M_2) (1 le p < infty, p not 2) can be canonically expressed in a certain simple…

Operator Algebras · Mathematics 2007-05-23 David Sherman

We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.

Logic · Mathematics 2007-05-23 Boris Zilber

The objective of this paper is to determine the finite dimensional, indecomposable representations of the algebra that is generated by two complex structures over the real numbers. Since the generators satisfy relations that are similar to…

Representation Theory · Mathematics 2008-04-24 Steven Gindi

A set of coordinates in the non parametric loop-space is introduced. We show that these coordinates transform under infinite dimensional linear representations of the diffeomorphism group. An extension of the group of loops in terms of…

General Relativity and Quantum Cosmology · Physics 2009-10-22 Cayetano Di Bartolo , Rodolfo Gambini , Jorge Griego

We construct a finitely generated group that does not satisfy the generalized Burghelea conjecture.

K-Theory and Homology · Mathematics 2019-05-03 A. Dranishnikov , M. Hull

With this paper, we gain a better understanding of the set of near-field structures on a fixed scalar group. If we were able to describe all near-field structures on a fixed scalar group, we could describe all near-vector spaces. The…

Rings and Algebras · Mathematics 2022-11-21 Sophie Marques , Leandro Boonzaaier

We show that every fsg group externally definable in an NIP structure is definably isomorphic to a group interpretable in it. Our proof relies on honest definitions and a group chunk result reconstructing a hyper-definable group from its…

Logic · Mathematics 2025-07-01 Artem Chernikov

We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a…

Logic · Mathematics 2018-12-05 Katharina Dupont , Assaf Hasson , Salma Kuhlmann

We develop a structure theory for nilpotent symplectic alternating algebras.

Rings and Algebras · Mathematics 2024-07-08 Layla Sorkatti , Gunnar Traustason
‹ Prev 1 3 4 5 6 7 10 Next ›