Image de couverture de livre

Metric Linear Orders and O-Minimality

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Anderson, Aaron, Bejarano, Diego
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Definability and Scott rank in separable Metric structures
par: Bejarano, Diego
Publié: (2024)

Examples and Nonexamples of Distal Metric Structures
par: Anderson, Aaron, et autres
Publié: (2025)

From learnable objects to learnable random objects
par: Anderson, Aaron, et autres
Publié: (2025)

NIP and Distal Metric Structures
par: Anderson, Aaron
Publié: (2023)

Verification of Linear Dynamical Systems via O-Minimality of the Real Numbers
par: Karimov, Toghrul
Publié: (2024)

On the Metric Temporal Logic for Continuous Stochastic Processes
par: Ikeda, Mitsumasa, et autres
Publié: (2023)

Unravelling Cyclic First-Order Arithmetic
par: Leigh, Graham E., et autres
Publié: (2025)

A Game for Counting Logic Formula Size and an Application to Linear Orders
par: Fournier, Gregoire, et autres
Publié: (2025)

Monadic Second-Order Logic of Permutations
par: Jelínek, Vít, et autres
Publié: (2025)

Induction and Recursion Principles in a Higher-Order Quantitative Logic for Probability
par: Bacci, Giorgio, et autres
Publié: (2025)

On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product
par: Abraham, Uri, et autres
Publié: (2023)

A Linear Temporal Logic of Frequencies on Series of Events
par: Antonelli, Melissa, et autres
Publié: (2026)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
par: Pshenitsyn, Tikhon
Publié: (2025)

Linear Arboreal Categories
par: Abramsky, Samson, et autres
Publié: (2023)

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
par: Artale, Alessandro, et autres
Publié: (2025)

Comodule Representations of Second-Order Functionals
par: Ahman, Danel, et autres
Publié: (2024)

Strongly Minimal Relics of T-convex Fields
par: Castle, Benjamin, et autres
Publié: (2024)

Uniform Bounds in D-Minimal Structures
par: Farris, Madie, et autres
Publié: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Proof Complexity of Linear Logics
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2026)

Tho Modal Logic of Minimal Upper Bounds
par: Knudstorp, Søren Brinck
Publié: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Permutation Models of Second Order
par: Gaßner, Christine
Publié: (2024)

Metric ideals and its Structures Autometrized Lattice Ordered Monoids
par: Ashale, Tekalign Regasa, et autres
Publié: (2024)

The Limits of Determinacy in Higher-Order Arithmetic
par: Aguilera, Juan Pablo, et autres
Publié: (2024)

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

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
par: Narusevych, Mykyta
Publié: (2026)

sp-Homogeneous Linear Orderings
par: Calvert, Wesley, et autres
Publié: (2025)

Generically Computable Linear Orderings
par: Calvert, Wesley, et autres
Publié: (2024)

Ultrafilters over Successor Cardinals and the Tukey Order
par: Benhamou, Tom, et autres
Publié: (2025)

Wright's First-Order Logic of Strict Finitism
par: Yamada, Takahiro
Publié: (2024)

Order structure of P-point ultrafilters and their relatives
par: Kuzeljevic, Borisa, et autres
Publié: (2024)

Minimal covers in the Weihrauch degrees
par: Lempp, Steffen, et autres
Publié: (2023)

Coalgebraic Behavioral Metrics
par: Baldan, Paolo, et autres
Publié: (2017)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
par: Ulrich, Danielle
Publié: (2024)

Borel Order Dimension
par: Raghavan, Dilip, et autres
Publié: (2024)

Uniform Local Weak o‐Minimality and ∗$*$‐Local Weak o‐Minimality
par: Masato Fujita
Publié: (2025)

Complexity of Linear Equations and Infinite Gadgets
par: Grebík, Jan, et autres
Publié: (2025)

Zeta Functions and the (Linear) Logic of Markov Processes
par: Seiller, Thomas
Publié: (2020)