Groups in NTP2
Nadja Hempel (ICJ), Alf Onshuus
TL;DR
This paper proves the existence of certain algebraic envelopes (abelian, solvable, nilpotent) for groups definable within models of an NTP2 theory, advancing understanding of their structure.
Contribution
It establishes the existence of definable envelopes for various group classes in NTP2 theories, a novel structural result in model theory.
Findings
Existence of abelian envelopes
Existence of solvable envelopes
Existence of nilpotent envelopes
Abstract
We prove the existence of abelian, solvable and nilpotent definable envelopes for groups definable in models of an NTP2 theory.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · Logic, Reasoning, and Knowledge · Computability, Logic, AI Algorithms