:: Library Catalog

Cover Image

Saved in:

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

Similar Items

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

Examples and Nonexamples of Distal Metric Structures
by: Anderson, Aaron, et al.
Published: (2025)

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

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

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
by: Karimov, Toghrul
Published: (2024)

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

Unravelling Cyclic First-Order Arithmetic
by: Leigh, Graham E., et al.
Published: (2025)

A Game for Counting Logic Formula Size and an Application to Linear Orders
by: Fournier, Gregoire, et al.
Published: (2025)

Monadic Second-Order Logic of Permutations
by: Jelínek, Vít, et al.
Published: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
by: Pshenitsyn, Tikhon
Published: (2025)

Linear Arboreal Categories
by: Abramsky, Samson, et al.
Published: (2023)

Comodule Representations of Second-Order Functionals
by: Ahman, Danel, et al.
Published: (2024)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
by: Bacci, Giorgio, et al.
Published: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
by: Abraham, Uri, et al.
Published: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
by: Antonelli, Melissa, et al.
Published: (2026)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
by: Artale, Alessandro, et al.
Published: (2025)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
by: Gheorghiu, Alexander V., et al.
Published: (2023)

Strongly Minimal Relics of T-convex Fields
by: Castle, Benjamin, et al.
Published: (2024)

Uniform Bounds in D-Minimal Structures
by: Farris, Madie, et al.
Published: (2026)

Minimal covers in the Weihrauch degrees
by: Lempp, Steffen, et al.
Published: (2023)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Tho Modal Logic of Minimal Upper Bounds
by: Knudstorp, Søren Brinck
Published: (2024)

Effective weak convergence and tightness of measures in computable Polish spaces
by: Rojas, Diego A.
Published: (2024)

Slightly Non-Linear Higher-Order Tree Transducers
by: Nguyên, Lê Thành Dũng, et al.
Published: (2024)

Permutation Models of Second Order
by: Gaßner, Christine
Published: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
by: Seiller, Thomas
Published: (2020)

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

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

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

The Limits of Determinacy in Higher-Order Arithmetic
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
by: Masato Fujita
Published: (2025)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
by: Barloy, Corentin, et al.
Published: (2025)

Impredicativity in Linear Dependent Type Theory
by: Speight, Sam, et al.
Published: (2026)

Definability of the Integrability Locus in Polynomially Bounded o-Minimal Structures
by: Brown, L. C.
Published: (2025)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
by: Narusevych, Mykyta
Published: (2026)

Borel Order Dimension
by: Raghavan, Dilip, et al.
Published: (2024)

sp-Homogeneous Linear Orderings
by: Calvert, Wesley, et al.
Published: (2025)

Generically Computable Linear Orderings
by: Calvert, Wesley, et al.
Published: (2024)