English
Related papers

Related papers: A dichotomy for $T$-convex fields with a monomial …

200 papers

We make available some results about model theory cyclically ordered groups. We start with a classification of complete theories of divisible abelian cyclically ordered groups. Then we look at the cyclically ordered groups where the only…

Logic · Mathematics 2021-11-17 Gérard Leloup

We prove the following theorem: let $\widetilde{\mathcal R}$ be an expansion of the real field $\overline{\mathbb R}$, such that every definable set (I) is a uniform countable union of semialgebraic sets, and (II) contains a "semialgebraic…

Logic · Mathematics 2018-12-27 Pantelis E. Eleftheriou , Alex Savatovsky

In the paper we discuss the algebraic structure of topological full group $[[T]]$ of a Cantor minimal system $(X,T)$. We show that the topological full group $[[T]]$ has the structure similar to a union of permutational wreath products of…

Group Theory · Mathematics 2012-07-04 Rostislav Grigorchuk , Konstantin Medynets

In this work we introduce a new concept, namely, $\tau_{s}$-extending modules (rings) which is torsion-theoretic analogues of extending modules and then we extend many results from extending modules to this new concept. For instance we show…

Rings and Algebras · Mathematics 2022-01-03 Semra Dogruoz , Azime Tarhan

Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet…

Operator Algebras · Mathematics 2011-04-06 Roberto Longo , Feng Xu

The geometrical structure of a real four-dimensional space-time has been extended via the Conservation group with basic field variable being the orthonormal tetrad. Field equations were obtained from a variational principle which is…

General Relativity and Quantum Cosmology · Physics 2016-11-15 Edward Lee Green , Dave Pandres

In this paper we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.

Logic · Mathematics 2015-06-29 Annalisa Conversano , Alf Onshuus , Sergei Starchenko

We define, for any group $G$, finite approximations ; with this tool, we give a new presentation of the profinite completion $\hat{\pi} : G \to \hat{G}$ of an abtract group $G$. We then prove the following theorem : if $k$ is a finite prime…

Group Theory · Mathematics 2008-01-21 Colas Bardavid

We work in the category of locally definable groups in an o-minimal expansion of a field. Eleftheriou and Peterzil conjectured that every definably generated abelian connected group G in this category is a cover of a definable group. We…

Logic · Mathematics 2014-04-29 Alessandro Berarducci , Mário Edmundo , Marcello Mamino

Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of…

Differential Geometry · Mathematics 2015-12-03 Giorgio Trentinaglia , Chenchang Zhu

We define a notion of residue field domination for valued fields which generalizes stable domination in algebraically closed valued fields. We prove that a real closed valued field is dominated by the sorts internal to the residue field,…

Logic · Mathematics 2019-09-18 Clifton Ealy , Deirdre Haskell , Jana Maříková

We present a unified description of the low-energy limits of type II string theories. This is achieved by a formulation that doubles the space-time coordinates in order to realize the T-duality group O(10,10) geometrically. The…

High Energy Physics - Theory · Physics 2013-05-29 Olaf Hohm , Seung Ki Kwak , Barton Zwiebach

We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series and to lower central series of solvable…

Logic · Mathematics 2010-06-02 E. Baro , E. Jaligot , M. Otero

In this work the connection established in [7, 8] between a model of two linked polymers rings with fixed Gaussian linking number forming a 4-plat and the statistical mechanics of non-relativistic anyon particles is explored. The excluded…

High Energy Physics - Theory · Physics 2026-05-12 Neda Abbasi Taklimi , Franco Ferrari , Marcin R. Piatek

We consider d-minimal expansions of ordered fields. We demonstrate the existence of definable quotients of definable sets by definable equivalence relations when several technical conditions are satisfied. These conditions are satisfied…

Logic · Mathematics 2023-11-16 Masato Fujita

Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…

Commutative Algebra · Mathematics 2010-09-15 Camilo Sanabria

A new and extensive formalism is developed for monads and galaxies in non-standard enlargements. It is shown that monads and galaxies can be manipulated using order-preserving and order-reversing set-to-set maps, and that set properties…

Logic · Mathematics 2024-06-12 Niels Charlier , Hans Vernaeve

In a previous paper, the third author proved that finite-degree polynomial functors over infinite fields are topologically Noetherian. In this paper, we prove that the same holds for polynomial functors from free $R$-modules to finitely…

Commutative Algebra · Mathematics 2022-03-22 Arthur Bik , Alessandro Danelon , Jan Draisma

There exists a d-minimal expansion of the $\mathbb R$-vector space over $\mathbb R$ which defines every sequence. In this paper, we prove this assertion and the following more general assertion: Let $\mathcal R$ be either the ordered…

Logic · Mathematics 2024-09-09 Masato Fujita

In this paper, we study definably compact semigroups in o-minimal structures, aiming to extend the theory of definable groups to a broader algebraic setting. We show that any definably compact semigroup contains idempotents and admits a…

Logic · Mathematics 2025-07-28 Eduardo Magalhães