Imagen de Portada

Definability and Scott rank in separable Metric structures

Fuente: arXiv

Guardado en:

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

Ejemplares similares

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

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

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

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

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

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

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

Naturality and Definability III
por: Asgharzadeh, Mohsen, et al.
Publicado: (2023)

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

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

Definability in affine continuous logic
por: Bagheri, Seyed-Mohammad
Publicado: (2024)

Definable sets in Skolem arithmetic
por: Kamiński, Łukasz
Publicado: (2025)

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

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

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

Definable Coherent Ultrapowers and Elementary Extensions
por: Boney, Will
Publicado: (2016)

Mitchell rank for supercompactness
por: Carmody, Erin
Publicado: (2026)

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

Defining implication relation for classical logic
por: Fu, Li
Publicado: (2013)

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

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

Definability and Interpolation in Philosophy
por: van Benthem, Johan
Publicado: (2026)

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

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

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

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

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

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

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

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

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

Choiceless Computation and Symmetry: Limitations of Definability
por: Pago, Benedikt
Publicado: (2024)

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

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

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

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

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

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

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

Definable ranks
por: Krapp, Lothar Sebastian, et al.
Publicado: (2025)