:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Invitti, Moreno
Format:	Preprint
Published:	2026
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2602.20626
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Omega-categorical groups and rings of finite dimension
by: Invitti, Moreno
Published: (2025)

On the cohomology of finite-dimensional nilpotent groups and Lie rings
by: Zamour, Samuel
Published: (2025)

Skew Braces from a model-theoretic point of view 1
by: Ferrara, Maria, et al.
Published: (2025)

Almost sure OTM-realizability
by: Carl, Merlin
Published: (2024)

Almost real closed fields with real analytic structure
by: Nguyen, Kien Huu, et al.
Published: (2024)

The short exact sequence in definable Galois cohomology
by: Meretzky, David
Published: (2024)

Almost free algebras: from the word problem to elimination of quantifiers
by: Jia, Yifan, et al.
Published: (2026)

Soluble Lie rings of finite Morley rank
by: Deloro, Adrien, et al.
Published: (2024)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
by: He, Jialiang, et al.
Published: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
by: Winkler, Lorenz, et al.
Published: (2025)

Compositional Verification of Almost-Sure Büchi Objectives in MDPs
by: van der Vegt, Marck, et al.
Published: (2025)

Robust Almost-Sure Reachability in Multi-Environment MDPs
by: van der Vegt, Marck, et al.
Published: (2023)

Almost free modules, perfect decomposition and Enochs's conjecture
by: Cortés-Izurdiaga, Manuel, et al.
Published: (2024)

Hyperdefinability of the Lie model for approximate subgroups
by: Degasperi, Beatrice
Published: (2025)

Almost-Sure Termination by Guarded Refinement
by: Gregersen, Simon Oddershede, et al.
Published: (2024)

Overlap Algebras as Almost Discrete Locales
by: Ciraulo, Francesco
Published: (2016)

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)

Almost Free Non-Archimedean Banach Spaces and Relation to Large Cardinals
by: Mihara, Tomoki
Published: (2026)

Computational techniques for sheaf cohomology of locally profinite sets
by: Schachner, Mark
Published: (2026)

From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting
by: Kassing, Jan-Christoph, et al.
Published: (2023)

Decomposition of Borel graphs and cohomology
by: Ishikura, Hiroki
Published: (2025)

Endogenies and linearization in the non-virtually connected case
by: Invitti, Moreno
Published: (2025)

Spectral embedding through weak* limit of finite-dimensional approximations
by: Nonez, Fabrice
Published: (2026)

Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting
by: Kassing, Jan-Christoph, et al.
Published: (2024)

A PSPACE Algorithm for Almost-Sure Rabin Objectives in Multi-Environment MDPs
by: Suilen, Marnix, et al.
Published: (2024)

Deciding the Value of Two-Clock Almost Non-Zeno Weighted Timed Games
by: Vialard, Isa
Published: (2025)

The Annotated Dependency Pair Framework for Almost-Sure Termination of Probabilistic Term Rewriting
by: Kassing, Jan-Christoph, et al.
Published: (2024)

Torsion-free abelian groups of finite rank and fields of finite transcendence degree
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

On p-Lie algebras of finite Morley rank
by: Zamour, Samuel
Published: (2026)

Extension realizing affine datum: low-dimensional cohomology
by: Wires, Alexander
Published: (2023)

Hilbert's tenth problem for finitely generated rings
by: Koymans, Peter, et al.
Published: (2026)

Function spaces for orbit-finite sets
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

Almost Surely Asymptotically Constant Graph Neural Networks
by: Adam-Day, Sam, et al.
Published: (2024)

Disproving (Positive) Almost-Sure Termination of Probabilistic Term Rewriting via Random Walks
by: Kassing, Jan-Christoph, et al.
Published: (2026)

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity
by: Kassing, Jan-Christoph, et al.
Published: (2024)

Almost disjoint families and some automorphic and injective properties of $\ell_\infty/c_0$
by: Koszmider, Piotr, et al.
Published: (2025)

Duality for finitely valued algebras
by: Abbadini, Marco, et al.
Published: (2025)

Permutations, substitutions and finite axiomatizability
by: Andréka, Hajnal, et al.
Published: (2025)