Related papers: An NIP structure which does not interpret an infin…
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…
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…
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…
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…
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…
A finitely generated solvable group with unbounded iterated identity is constructed.
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.
In this article we consider alternative definitions-descriptions of a set being Infinite within the primitive Axiomatic System of Zermelo.
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…
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…
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.
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…
We study the structure of an algebraically closed field with extra function resembling the classical exponentiation on complex numbers.
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…
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…
We construct a finitely generated group that does not satisfy the generalized Burghelea conjecture.
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…
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…
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…
We develop a structure theory for nilpotent symplectic alternating algebras.