Solvable Lie groups definable in o-minimal theories

TL;DR

This paper provides a complete characterization of solvable real Lie groups that can be defined within o-minimal expansions of the real field, bridging model theory and Lie group theory.

Contribution

It offers a novel classification of solvable Lie groups in the context of o-minimal structures, expanding understanding of definability in model theory.

Findings

Complete classification of solvable Lie groups definable in o-minimal theories

Bridging model theory and Lie group structures

New insights into definability conditions for Lie groups

Abstract

In this paper we completely characterize solvable real Lie groups definable in o-minimal expansions of the real field.