Image de couverture de livre

Scott Spectral Gaps are Bounded for Linear Orderings

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gonzalez, David, Harrison-Trainor, Matthew
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Scott spectral gaps for trees are bounded
par: Harrison-Trainor, Matthew, et autres
Publié: (2026)

Scott analysis, linear orders and almost periodic functions
par: Gonzalez, David, et autres
Publié: (2024)

On the computability of optimal Scott sentences
par: Alvir, Rachael, et autres
Publié: (2025)

Relative to any non-arithmetic set
par: Harrison-Trainor, Matthew
Publié: (2025)

Optimal Syntactic Definitions of Back-and-Forth Types
par: Chen, Ruiyuan, et autres
Publié: (2025)

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
par: Damaj, Jad, et autres
Publié: (2024)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
par: Harrison-Trainor, Matthew, et autres
Publié: (2024)

Characterizing relative decidability in terms of model completeness
par: Harrison-Trainor, Matthew, et autres
Publié: (2026)

Computable learning of natural hypothesis classes
par: Harrison-Trainor, Matthew, et autres
Publié: (2024)

Back-and-forth equivalent group von Neumann algebras
par: Goldbring, Isaac, et autres
Publié: (2024)

The Logic of Cardinality Comparison Without the Axiom of Choice
par: Harrison-Trainor, Matthew, et autres
Publié: (2022)

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

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

Iterated Priority Arguments in Descriptive Set Theory
par: Day, Adam, et autres
Publié: (2022)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
par: Harrison-Trainor, Matthew, et autres
Publié: (2022)

Computable Scott Sentences and the Friedman-Stanley embedding
par: Gonzalez, David, et autres
Publié: (2026)

Two results on complexities of decision problems of groups
par: Andrews, Uri, et autres
Publié: (2024)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)

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

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

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
par: Lyon, Tim S., et autres
Publié: (2023)

Bifurcation Logic: Separation Through Ordering
par: Galmiche, Didier, et autres
Publié: (2025)

Stably Embedded Pairs of Ordered Abelian Groups
par: Hils, Martin, et autres
Publié: (2023)

Scott-Karp analysis without sentences
par: Brunner, Andreas, et autres
Publié: (2026)

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

Isomorphic Subtypes in a Finite Generalized Ordered Type
par: Joseph, Jean S.
Publié: (2025)

Dichotomy results for classes of countable graphs
par: Cipriani, Vittorio, et autres
Publié: (2025)

Scott sentence complexities of linear orderings
par: Gonzalez, David, et autres
Publié: (2023)

Term Ordering Diagrams
par: Hajdu, Márton, et autres
Publié: (2025)

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

On proving consistency of equational theories in Bounded Arithmetic
par: Beckmann, Arnold, et autres
Publié: (2022)

A Model Companion for Abelian Lattice-Ordered Groups with a Valuation
par: Stokes-Waters, John
Publié: (2026)

Tolerance and the Bounds
par: Rohan French
Publié: (2021)

Branch and Bound for Piecewise Linear Neural Network Verification
par: Bunel, Rudy, et autres
Publié: (2019)

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

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
par: Lopez, Aliaume
Publié: (2024)

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

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

Shelah's Main Gap and the generalized Borel-reducibility
par: Moreno, Miguel
Publié: (2023)

Ramsey Theory and Bounding in Arithmetic
par: Cholak, Peter
Publié: (2026)