Imagen de Portada

Metric Linear Orders and O-Minimality

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Anderson, Aaron, Bejarano, Diego
Formato:	Preprint
Publicado:	2025
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Definability and Scott rank in separable Metric structures
por: Bejarano, Diego
Publicado: (2024)

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

From learnable objects to learnable random objects
por: Anderson, Aaron, et al.
Publicado: (2025)

NIP and Distal Metric Structures
por: Anderson, Aaron
Publicado: (2023)

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

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

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

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

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

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

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

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

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

Linear Arboreal Categories
por: Abramsky, Samson, et al.
Publicado: (2023)

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

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

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

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

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

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

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

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

Permutation Models of Second Order
por: Gaßner, Christine
Publicado: (2024)

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

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

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

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

sp-Homogeneous Linear Orderings
por: Calvert, Wesley, et al.
Publicado: (2025)

Generically Computable Linear Orderings
por: Calvert, Wesley, et al.
Publicado: (2024)

Ultrafilters over Successor Cardinals and the Tukey Order
por: Benhamou, Tom, et al.
Publicado: (2025)

Wright's First-Order Logic of Strict Finitism
por: Yamada, Takahiro
Publicado: (2024)

Order structure of P-point ultrafilters and their relatives
por: Kuzeljevic, Borisa, et al.
Publicado: (2024)

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

Coalgebraic Behavioral Metrics
por: Baldan, Paolo, et al.
Publicado: (2017)

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

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
por: Ulrich, Danielle
Publicado: (2024)

Borel Order Dimension
por: Raghavan, Dilip, et al.
Publicado: (2024)

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

Complexity of Linear Equations and Infinite Gadgets
por: Grebík, Jan, et al.
Publicado: (2025)

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