Cover Image

Definability and Scott rank in separable Metric structures

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Bejarano, Diego
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

On the computability of optimal Scott sentences
by: Alvir, Rachael, et al.
Published: (2025)

Scott spectral gaps for trees are bounded
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Scott Spectral Gaps are Bounded for Linear Orderings
by: Gonzalez, David, et al.
Published: (2024)

Computable Scott Sentences and the Friedman-Stanley embedding
by: Gonzalez, David, et al.
Published: (2026)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
by: de Jong, Tom
Published: (2024)

Scott analysis, linear orders and almost periodic functions
by: Gonzalez, David, et al.
Published: (2024)

Naturality and Definability III
by: Asgharzadeh, Mohsen, et al.
Published: (2023)

Definable separability and second-countability in o-minimal structures
by: Guerrero, Pablo Andújar
Published: (2024)

On matrix rank function over bounded arithmetics
by: Ken, Eitetsu, et al.
Published: (2023)

Definability in affine continuous logic
by: Bagheri, Seyed-Mohammad
Published: (2024)

Definable sets in Skolem arithmetic
by: Kamiński, Łukasz
Published: (2025)

A rank function for Fra\"ıssé classes and the rank property
by: López-Callejas, Carlos, et al.
Published: (2026)

Dynamic Probability Logics: Axiomatization & Definability
by: Chopoghloo, Somayeh, et al.
Published: (2024)

Hanf Locality and Invariant Elementary Definability
by: Lindell, Steven, et al.
Published: (2025)

Definable Coherent Ultrapowers and Elementary Extensions
by: Boney, Will
Published: (2016)

Mitchell rank for supercompactness
by: Carmody, Erin
Published: (2026)

Scott-Karp analysis without sentences
by: Brunner, Andreas, et al.
Published: (2026)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

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

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

Definability and Interpolation in Philosophy
by: van Benthem, Johan
Published: (2026)

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

Definable coordinate geometries over fields, part 1: theory
by: Madarász, Judit, et al.
Published: (2025)

Definable coordinate geometries over fields, part 2: applications
by: Madarász, Judit, et al.
Published: (2025)

Asymptotic Theories of Classes Defined by Forbidden Homomorphisms
by: Bodirsky, Manuel, et al.
Published: (2022)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

Definability of some $k$-ary Relations Over Second Order kinds of Logics
by: Costa, Simone, et al.
Published: (2025)

Stable Canonical Rules and Formulas for Pre-transitive Logics via Definable Filtration
by: Takahashi, Tenyo
Published: (2025)

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

T-Convexity, Tame Extensions and Definability of Hausdorff Limits in O-minimal Structures with Generic Derivations
by: Wang, Xiaoduo
Published: (2025)

Choiceless Computation and Symmetry: Limitations of Definability
by: Pago, Benedikt
Published: (2024)

There is no Definable Grauert Direct Image Theorem
by: Esnault, Hélène, et al.
Published: (2026)

Full Definability in a Profunctorial Model
by: Tsukada, Takeshi, et al.
Published: (2026)

Low rank MSO
by: Bojańczyk, Mikołaj, et al.
Published: (2025)

Realizing the totally unordered structure of ordinals
by: Fontanella, Laura, et al.
Published: (2025)

Probabilistic Strategies: Definability and the Tensor Completeness Problem
by: Bowler, Nathan, et al.
Published: (2025)

Definable quotients in locally o-minimal structures
by: Fujita, Masato, et al.
Published: (2022)

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

Definable ranks
by: Krapp, Lothar Sebastian, et al.
Published: (2025)