:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Degasperi, Beatrice
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2512.14250
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Speedability of computably approximable reals and their approximations
par: Barmpalias, George, et autres
Publié: (2026)

On metric approximate subgroups
par: Hrushovski, E., et autres
Publié: (2022)

The infinitesimal subgroup of interpretable groups in some dp-minimal valued fields
par: Halevi, Yatir, et autres
Publié: (2025)

Fixed point subgroups of a supertight automorphism
par: Karhumäki, Ulla
Publié: (2024)

Lie rings in finite-dimensional theories
par: Invitti, Moreno
Publié: (2025)

Approximate subgroups with bounded VC-dimension
par: Conant, Gabriel, et autres
Publié: (2020)

Almost cohomology of finite-dimensional Lie rings
par: Invitti, Moreno
Publié: (2026)

Model-theoretic properties of nilpotent groups and Lie algebras
par: d'Elbée, Christian, et autres
Publié: (2023)

A two-sorted theory of nilpotent Lie algebras
par: d'Elbée, Christian, et autres
Publié: (2024)

Computably locally compact groups and their closed subgroups
par: Melnikov, Alexander G., et autres
Publié: (2024)

Elekes-Szabó for groups, and approximate subgroups in weak general position
par: Bays, Martin, et autres
Publié: (2021)

A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators
par: Melani, Beatrice, et autres
Publié: (2025)

Resource approximation for the $λμ$-calculus
par: Barbarossa, Davide
Publié: (2024)

An approximate zero-one law via the Dialectica interpretation
par: Powell, Thomas, et autres
Publié: (2025)

Completions of Kleene's second model
par: Terwijn, Sebastiaan A.
Publié: (2023)

One-dimensional subgroups and connected components in non-abelian $p$-adic definable groups
par: Johnson, Will, et autres
Publié: (2023)

On the structure of approximate rings
par: Krupiński, Krzysztof, et autres
Publié: (2026)

A formal Lie correspondence
par: Bagayoko, Vincent
Publié: (2026)

Chapter A structural equation model to measure logical competences
par: BACCI, Silvia, et autres
Publié: (2022)

A Construction of the Lie Algebra of a Lie Group in Isabelle/HOL
par: Schmoetten, Richard, et autres
Publié: (2024)

Axiomatizing approximate inclusion
par: Häggblom, Matilda
Publié: (2025)

Axiomatization of approximate exclusion
par: Häggblom, Matilda
Publié: (2024)

Monotonicity and a Taylor approximation theorem for transseries
par: Mantova, Vincenzo
Publié: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
par: Coquand, Thierry, et autres
Publié: (2026)

A concrete model for a typed linear algebraic lambda calculus
par: Díaz-Caro, Alejandro, et autres
Publié: (2018)

Differentiable approximation of continuous definable maps that preserves the image
par: Carbone, Antonio
Publié: (2023)

Existentially closed measure-preserving actions of approximately treeable groups
par: Goldbring, Isaac, et autres
Publié: (2025)

Continuous approximate roots of polynomial equations via shape theory
par: Lau, Joshua, et autres
Publié: (2025)

On approximations of Feynman path integrals
par: Hyttinen, Tapani
Publié: (2022)

The equivariant model structure on cartesian cubical sets
par: Awodey, Steve, et autres
Publié: (2024)

Locally approximating groups of homeomorphisms of manifolds
par: Koberda, Thomas, et autres
Publié: (2024)

Rough Approximate subgroups
par: Fanlo, A. Rodriguez, et autres
Publié: (2022)

Chang models over derived models with supercompact measures
par: Gappo, Takehiko, et autres
Publié: (2023)

The uniqueness of the core model
par: Siskind, Benjamin
Publié: (2025)

Locales as spaces in outer models
par: Bannister, Nathaniel
Publié: (2024)

Extreme types and extremal models
par: Bagheri, Seyed-Mohammad
Publié: (2024)

On merge-models
par: Buffière, Hector, et autres
Publié: (2026)

Spectral embedding through weak* limit of finite-dimensional approximations
par: Nonez, Fabrice
Publié: (2026)

Independence relations in the Solovay model I
par: Zapletal, Jindrich
Publié: (2025)

Some model theory of the Heisenberg group
par: Frącek, Maciej, et autres
Publié: (2025)