:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Anderson, Aaron, Yaacov, Itaï Ben
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2508.09073
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Stability in affine logic
by: Yaacov, Itaï Ben, et al.
Published: (2025)

NIP and Distal Metric Structures
by: Anderson, Aaron
Published: (2023)

Extremal models and direct integrals in affine logic
by: Yaacov, Itaï Ben, et al.
Published: (2024)

Globally valued fields: foundations
by: Yaacov, Itaï Ben, et al.
Published: (2024)

Locally $\aleph_0$-categorical theories and locally Roelcke precompact groups
by: Yaacov, Itaï Ben, et al.
Published: (2026)

Combinatorial Bounds in Distal Structures
by: Anderson, Aaron
Published: (2021)

Metric Linear Orders and O-Minimality
by: Anderson, Aaron, et al.
Published: (2025)

Limits of definable families and dilations in nilmanifolds
by: Peterzil, Ya'acov, et al.
Published: (2024)

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

A very sharp threshold for first order logic distinguishability of random graphs
by: Benjamini, Itai, et al.
Published: (2022)

From learnable objects to learnable random objects
by: Anderson, Aaron, et al.
Published: (2025)

Semisimple groups interpretable in various valued fields
by: Halevi, Yatir, et al.
Published: (2023)

On groups interpretable in various valued fields
by: Halevi, Yatir, et al.
Published: (2022)

The Vandermonde determinant identity in higher dimension
by: Yaacov, Itaï Ben
Published: (2014)

Everything I always wanted to know about resultants and Chow forms (but was too lazy to ask)
by: Yaacov, Itaï Ben
Published: (2026)

Metric ideals and its Structures Autometrized Lattice Ordered Monoids
by: Ashale, Tekalign Regasa, et al.
Published: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
by: Ikeda, Mitsumasa, et al.
Published: (2023)

Characterizing LTL Formulas by Examples
by: Cate, Balder ten, et al.
Published: (2026)

Characterising Modal Formulas with Examples
by: Cate, Balder ten, et al.
Published: (2023)

Examples and counterexamples of injective types
by: de Jong, Tom, et al.
Published: (2026)

Definability and Scott rank in separable Metric structures
by: Bejarano, Diego
Published: (2024)

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Coalgebraic Behavioral Metrics
by: Baldan, Paolo, et al.
Published: (2017)

Distal Expansions of the Integers and the $p$-adic Fields
by: Okura, Koki
Published: (2026)

On The Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2025)

On the Metric Nature of (Differential) Logical Relations
by: Lago, Ugo Dal, et al.
Published: (2026)

Borel line graphs
by: Anderson, James, et al.
Published: (2023)

On the strength of ultrafilters above choiceless large cardinals and their Prikry forcings
by: Adkisson, William, et al.
Published: (2025)

Supercompact Measures and the Galvin Property
by: Benhamou, Tom, et al.
Published: (2025)

On $Σ_1$-Definable Closed Unbounded Sets
by: Ben-Neria, Omer, et al.
Published: (2023)

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
by: Ben-Neria, Omer, et al.
Published: (2024)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

SDSC:A Structure-Aware Metric for Semantic Signal Representation Learning
by: Lee, Jeyoung, et al.
Published: (2025)

On the Complexity of Robust Markov Decision Processes and Bisimulation Metrics
by: Suilen, Marnix, et al.
Published: (2026)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
by: Ben-Naim, Jonathan, et al.
Published: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
by: Lyon, Tim S.
Published: (2022)

Universal Quantitative Algebra for Fuzzy Relations and Generalised Metric Spaces
by: Mio, Matteo, et al.
Published: (2023)

Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques
by: D'Angelo, Keri, et al.
Published: (2024)

On the Intermediate Models of Strongly Compact Prikry Forcing
by: Benhamou, Tom, et al.
Published: (2026)

Metric Dynamic Equilibrium Logic
by: Becker, Arvid, et al.
Published: (2024)