Group construction in non-trivial geometric C-minimal structures
classification
🧮 math.LO
keywords
definablegeometricgroupminimalassumedbijectionboundedcanonical
read the original abstract
We show that an infinite group is definable in any non trivial geometric $C$-minimal structure which is definably maximal and does not have any definable bijection between a bounded interval and an unbounded one in its canonical tree. No kind of linearity is assumed.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.