One-dimensional groups definable in o-minimal structures
From MaRDI portal
Publication:1339385
DOI10.1016/0022-4049(94)90128-7zbMath0815.03025MaRDI QIDQ1339385
Publication date: 1 December 1994
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0022-4049(94)90128-7
12L05: Decidability and field theory
20A15: Applications of logic to group theory
03C60: Model-theoretic algebra
03B25: Decidability of theories and sets of sentences
12J15: Ordered fields
Related Items
SOLVABLE LIE GROUPS DEFINABLE IN O-MINIMAL THEORIES, Intersection theory for o-minimal manifolds, Fusing o-minimal structures
Cites Work
- One-dimensional Nash groups
- On groups and fields definable in o-minimal structures
- One-dimensional groups over an o-minimal structure
- Euler characteristic in semialgebraic and other o-minimal groups
- A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
- Definable Sets in Ordered Structures. I