Cover Image

Hyperdefinability of the Lie model for approximate subgroups

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Degasperi, Beatrice
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Speedability of computably approximable reals and their approximations
by: Barmpalias, George, et al.
Published: (2026)

On metric approximate subgroups
by: Hrushovski, E., et al.
Published: (2022)

The infinitesimal subgroup of interpretable groups in some dp-minimal valued fields
by: Halevi, Yatir, et al.
Published: (2025)

Lie rings in finite-dimensional theories
by: Invitti, Moreno
Published: (2025)

Almost cohomology of finite-dimensional Lie rings
by: Invitti, Moreno
Published: (2026)

Fixed point subgroups of a supertight automorphism
by: Karhumäki, Ulla
Published: (2024)

Model-theoretic properties of nilpotent groups and Lie algebras
by: d'Elbée, Christian, et al.
Published: (2023)

A two-sorted theory of nilpotent Lie algebras
by: d'Elbée, Christian, et al.
Published: (2024)

Approximate subgroups with bounded VC-dimension
by: Conant, Gabriel, et al.
Published: (2020)

Computably locally compact groups and their closed subgroups
by: Melnikov, Alexander G., et al.
Published: (2024)

An approximate zero-one law via the Dialectica interpretation
by: Powell, Thomas, et al.
Published: (2025)

Resource approximation for the $λμ$-calculus
by: Barbarossa, Davide
Published: (2024)

Completions of Kleene's second model
by: Terwijn, Sebastiaan A.
Published: (2023)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
by: Melani, Beatrice, et al.
Published: (2025)

Elekes-Szabó for groups, and approximate subgroups in weak general position
by: Bays, Martin, et al.
Published: (2021)

One-dimensional subgroups and connected components in non-abelian $p$-adic definable groups
by: Johnson, Will, et al.
Published: (2023)

On the structure of approximate rings
by: Krupiński, Krzysztof, et al.
Published: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)

Monotonicity and a Taylor approximation theorem for transseries
by: Mantova, Vincenzo
Published: (2026)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)

A formal Lie correspondence
by: Bagayoko, Vincent
Published: (2026)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
by: Schmoetten, Richard, et al.
Published: (2024)

Differentiable approximation of continuous definable maps that preserves the image
by: Carbone, Antonio
Published: (2023)

Existentially closed measure-preserving actions of approximately treeable groups
by: Goldbring, Isaac, et al.
Published: (2025)

Continuous approximate roots of polynomial equations via shape theory
by: Lau, Joshua, et al.
Published: (2025)

Chapter A structural equation model to measure logical competences
by: BACCI, Silvia, et al.
Published: (2022)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

The equivariant model structure on cartesian cubical sets
by: Awodey, Steve, et al.
Published: (2024)

Chang models over derived models with supercompact measures
by: Gappo, Takehiko, et al.
Published: (2023)

On approximations of Feynman path integrals
by: Hyttinen, Tapani
Published: (2022)

The uniqueness of the core model
by: Siskind, Benjamin
Published: (2025)

Locally approximating groups of homeomorphisms of manifolds
by: Koberda, Thomas, et al.
Published: (2024)

Locales as spaces in outer models
by: Bannister, Nathaniel
Published: (2024)

Extreme types and extremal models
by: Bagheri, Seyed-Mohammad
Published: (2024)

Independence relations in the Solovay model I
by: Zapletal, Jindrich
Published: (2025)

Some model theory of the Heisenberg group
by: Frącek, Maciej, et al.
Published: (2025)

Some model theory of quadratic geometries
by: Kestner, Charlotte, et al.
Published: (2024)

Measures and stability in a model, revisited
by: d'Elbée, Christian, et al.
Published: (2026)

Additivity of derived limits in the Cohen model
by: Bannister, Nathaniel
Published: (2023)