English
Related papers

Related papers: Ellis enveloping semigroups in real closed fields

200 papers

Our aim is to find some new links between linear (circular) orderability of groups and topological dynamics. We suggest natural analogs of the concept of algebraic orderability for topological groups involving order-preserving actions on…

Dynamical Systems · Mathematics 2022-09-29 Michael Megrelishvili

We produce two separate algebraic descriptions of the isomorphism classes of the solvable subgroups of the group PLo(I) of piecewise-linear orientation-preserving homeomorphisms of the unit interval under the operation of composition, and…

Group Theory · Mathematics 2007-05-23 Collin Bleak

We consider definable topological dynamics for $NIP$ groups admitting certain decompositions in terms of specific classes of definably amenable groups. For such a group, we find a description of the Ellis group of its universal definable…

Logic · Mathematics 2019-02-20 Grzegorz Jagiella

The notions of a {\em 2-precontact space}\/ and a {\em 2-contact space}\/ are introduced. Using them, new representation theorems for precontact and contact algebras are proved. It is shown that there are bijective correspondences between…

General Topology · Mathematics 2015-11-24 Georgi Dimov , Dimiter Vakarelov

As an example of the categorical apparatus of pseudo algebras over 2-theories, we show that pseudo algebras over the 2-theory of categories can be viewed as pseudo double categories with folding or as appropriate 2-functors into…

Category Theory · Mathematics 2011-11-09 Thomas M. Fiore

Real algebraic geometry is the study of semi-algebraic sets, subsets of $\R^k$ defined by Boolean combinations of polynomial equalities and inequalities. The focus of this thesis is to study quantitative results in real algebraic geometry,…

Algebraic Geometry · Mathematics 2013-08-01 Salvador Barone

We study a non-commutative generalization of Stone duality that connects a class of inverse semigroups, called Boolean inverse $\wedge$-semigroups, with a class of topological groupoids, called Hausdorff Boolean groupoids. Much of the paper…

Category Theory · Mathematics 2012-03-16 Mark V Lawson

We prove that non-abelian definable, definably simple groups in 1-h-minimal henselian valued fields are essentially already linear algebraic groups. Here, the group is assumed to live in the home sort. We have a similar result in pure…

Logic · Mathematics 2026-01-14 Jakub Gismatullin , Immanuel Halupczok , Dugald Macpherson

Weakly dicomplemented lattices are bounded lattices equipped with two unary operations to encode a negation on {\it concepts}. They have been introduced to capture the equational theory of concept algebras \cite{Wi00}. They generalize…

Logic · Mathematics 2010-02-05 Leonard Kwuida , Hajime Machida

We consider a global semianalytic set defined by real analytic functions definable in an o-minimal structure. When the o-minimal structure is polynomially bounded, we show that the closure of this set is a global semianalytic set defined by…

Logic · Mathematics 2020-02-11 Masato Fujita

We construct for every proper algebraic space over a ground field an Albanese map to a para-abelian variety, which is unique up to unique isomorphism. This holds in the absence of rational points or ample sheaves, and also for reducible or…

Algebraic Geometry · Mathematics 2023-11-10 Bruno Laurent , Stefan Schröer

The new class of integrable mappings and chains is introduced. Corresponding (1+2) integrable systems invariant with respect to such discrete transformations are represented in explicit form. Soliton like solutions of them are represented…

High Energy Physics - Theory · Physics 2007-05-23 A. N. Leznov

We introduce the {\it Ellis semigroup} of a nonautonomous discrete dynamical system $(X,f_{1,\infty})$ when $X$ is a metric compact space. The underlying set of this semigroup is the pointwise closure of $\{f\sp{n}_1 \, |\, n\in…

General Topology · Mathematics 2016-02-29 S. García-Ferreira , M. Sanchis

In this note we shall generalize the Stone duality between compact totally disconnected spaces and Boolean algebras to a duality between all complete non-Archimedean uniform spaces and Boolean algebras.

General Topology · Mathematics 2011-05-12 Joseph Van Name

We study extended associative semigroups (briefly, EAS), an algebraic structure used to define generalizations of the operad of associative algebras, and the subclass of commutative extended diassociative semigroups (briefly, CEDS), which…

Rings and Algebras · Mathematics 2025-11-04 Loïc Foissy

A classification, according to invariant theory, of non-constant invariant Abel ODEs known as solvable and found in the literature is presented. A set of new integrable classes depending on one or no parameters, derived from the analysis of…

Mathematical Physics · Physics 2009-10-31 E. S. Cheb-Terrab , A. D. Roche

We show that every semialgebraic set admits a semialgebraic triangulation such that each closed simplex is $C^1$ differentiable. As an application, we give a straightforward definition of the integration $\int_X \omega$ over a compact…

Algebraic Geometry · Mathematics 2017-08-08 Toru Ohmoto , Masahiro Shiota

We study equations over boolean algebras with distinguished elements. We prove the criteria, when a boolean algebra is equationally Noetherian, weakly equationally Noetherian, $\mathbf{q}_\omega$-compact or $\mathbf{u}_\omega$-compact. Also…

Rings and Algebras · Mathematics 2013-05-30 Artem N. Shevlyakov

We generalize the notion of semi-normalized classes of systems of differential equations, study properties of such classes and extend the algebraic method of group classification to them. In particular, we prove the important theorems on…

Mathematical Physics · Physics 2024-09-02 Celestin Kurujyibwami , Dmytro R. Popovych , Roman O. Popovych

Semi-algebraic set is a subset of the real space defined by polynomial equations and inequalities. In this paper, we consider the problem of deciding whether two given points in a semi-algebraic set are connected. We restrict to the case…

Symbolic Computation · Computer Science 2024-06-13 Cordian Riener , Robin Schabert , Thi Xuan Vu