Groups definable in ordered vector spaces over ordered division rings

DOI10.2178/jsl/1203350776zbMath1130.03028OpenAlexW2096219423MaRDI QIDQ5444690

Pantelis E. Eleftheriou, Sergei Starchenko

Publication date: 25 February 2008

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.jsl/1203350776

zbMATH Keywords

o-minimal structuresdefinably compact groupso-minimal fundamental groupquotient by lattice

Mathematics Subject Classification ID

Compact groups (22C05) Ordered topological linear spaces, vector lattices (46A40) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64)

Related Items

Definable groups as homomorphic images of semi-linear and field-definable groups, Definable quotients of locally definable groups, The universal covering map in o-minimal expansions of groups, Sets, groups, and fields definable in vector spaces with a bilinear form, Product cones in dense pairs, Invariance results for definable extensions of groups, Structure theorems in tame expansions of o-minimal structures by a dense set, Coverings by open cells, Semilinear stars are contractible, Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures, Definable groups in models of Presburger arithmetic, On Pillay's conjecture in the general case, On central extensions and definably compact groups in o-minimal structures, The universal covering homomorphism in o‐minimal expansions of groups, Groups definable in linear o-minimal structures: the non-compact case, Fundamental group in o-minimal structures with definable Skolem functions, A semi-linear group which is not affine, On the Euler characteristic of definable groups, Returning to semi-bounded sets, Compact domination for groups definable in linear o-minimal structures, Definable group extensions in semi-bounded o-minimal structures, Non-standard lattices and o-minimal groups

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A descending chain condition for groups definable in o-minimal structures
• On groups and fields definable in o-minimal structures
• Linear o-minimal structures
• Euler characteristic in semialgebraic and other o-minimal groups
• Solvable groups definable in o-minimal structures.
• Intersection theory for o-minimal manifolds
• Locally definable groups in o-minimal structures
• o-MINIMAL FUNDAMENTAL GROUP, HOMOLOGY AND MANIFOLDS
• TYPE-DEFINABILITY, COMPACT LIE GROUPS, AND o-MINIMALITY
• DEFINABLY COMPACT ABELIAN GROUPS