Interpretable groups are definable

DOI10.1142/S0219061314500020zbMath1337.03053arXiv1110.6581OpenAlexW1965210706MaRDI QIDQ2878779

Janak Ramakrishnan, Pantelis E. Eleftheriou, Yaa'cov Peterzil

Publication date: 5 September 2014

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

Full work available at URL: https://arxiv.org/abs/1110.6581

zbMATH Keywords

o-minimalitydefinable groupselimination of imaginariesinterpretable groups

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) General properties and structure of real Lie groups (22E15) Model theory of ordered structures; o-minimality (03C64)

Related Items

Invariance of o-minimal cohomology with definably compact supports ⋮ Groups definable in two orthogonal sorts ⋮ Division rings with ranks ⋮ Euler characteristic of imaginaries in o‐minimal structures ⋮ Topologizing interpretable groups in \(p\)-adically closed fields ⋮ INTERPRETABLE SETS IN DENSE O-MINIMAL STRUCTURES ⋮ On Pillay's conjecture in the general case ⋮ Linearity of groups definable in o-minimal structures ⋮ Fundamental group in o-minimal structures with definable Skolem functions ⋮ CHARACTERIZING O-MINIMAL GROUPS IN TAME EXPANSIONS OF O-MINIMAL STRUCTURES

Cites Work

• On central extensions and definably compact groups in o-minimal structures
• On groups and fields definable in o-minimal structures
• Constructing a group-interval in \(O\)-minimal structures
• Solvable groups definable in o-minimal structures.
• Local analysis for semi-bounded groups
• Type-definable and invariant groups in o-minimal structures
• Returning to semi-bounded sets
• Some remarks on definable equivalence relations in O-minimal structures
• A trichotomy theorem for o-minimal structures
• Dedekind Completeness and the Algebraic Complexity of o-Minimal Structures
• Definably simple groups in o-minimal structures
• DEFINABLY COMPACT ABELIAN GROUPS

This page was built for publication: Interpretable groups are definable