Copertina

sp-Homogeneous Linear Orderings

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Calvert, Wesley, Cenzer, Douglas, Gonzalez, David, Harizanov, Valentina, Ng, Keng Meng
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Generically Computable Linear Orderings
di: Calvert, Wesley, et al.
Pubblicazione: (2024)

Computability in infinite Galois theory and algorithmically random algebraic fields
di: Calvert, Wesley, et al.
Pubblicazione: (2023)

In Memory of Martin Davis
di: Calvert, Wesley, et al.
Pubblicazione: (2024)

The subTuring degrees
di: Kihara, Takayuki, et al.
Pubblicazione: (2024)

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

Primitive recursive categoricity spectra of functional structures
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

Primitive recursive categoricity spectra
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

Computability in infinite Galois theory and algorithmically random algebraic fields
di: Wesley Calvert, et al.
Pubblicazione: (2024)

The computational content of multidimensional discontinuity
di: Hölzl, Rupert, et al.
Pubblicazione: (2024)

Computable topological groups
di: Koh, Heer Tern, et al.
Pubblicazione: (2022)

Computable classifications of continuous, transducer, and regular functions
di: Franklin, Johanna N. Y., et al.
Pubblicazione: (2020)

On Cohesive Products of Fields
di: Dimitrov, Rumen, et al.
Pubblicazione: (2026)

The singleton degrees of the $Σ^0_2$ sets are not dense
di: Kent, Thomas F., et al.
Pubblicazione: (2024)

Conjunctive reducibilities and completeness
di: Chitaia, Irakli, et al.
Pubblicazione: (2026)

Finite final segments of the d.c.e. Turing degrees
di: Lempp, Steffen, et al.
Pubblicazione: (2024)

Terminating Hybrid Tableaus for Ordered Models
di: Nishimura, Yuki
Pubblicazione: (2025)

Failure Modes for Structural Highness Notions
di: Calvert, Wesley, et al.
Pubblicazione: (2025)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

Bifurcation Logic: Separation Through Ordering
di: Galmiche, Didier, et al.
Pubblicazione: (2025)

Stably Embedded Pairs of Ordered Abelian Groups
di: Hils, Martin, et al.
Pubblicazione: (2023)

Simple Homogeneous Structures and Indiscernible Sequence Invariants
di: Baldwin, John, et al.
Pubblicazione: (2024)

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

Isomorphic Subtypes in a Finite Generalized Ordered Type
di: Joseph, Jean S.
Pubblicazione: (2025)

Possibility Frames and Forcing for Modal Logic
di: Holliday, Wesley H.
Pubblicazione: (2025)

Term Ordering Diagrams
di: Hajdu, Márton, et al.
Pubblicazione: (2025)

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

Interpolation in Non-Classical Logics
di: Fussner, Wesley
Pubblicazione: (2025)

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

On Homogeneous Model of Fluted Languages
di: Kojelis, Daumantas
Pubblicazione: (2024)

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

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

Linear Arboreal Categories
di: Abramsky, Samson, et al.
Pubblicazione: (2023)

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

Homogeneity in Coxeter groups and split crystallographic groups
di: André, Simon, et al.
Pubblicazione: (2025)

Enriched Categories for Parameterized Circuit Semantics
di: Wesley, Scott
Pubblicazione: (2025)

Translating Workflow Nets into the Partially Ordered Workflow Language
di: Kourani, Humam, et al.
Pubblicazione: (2025)

Ordered groups of formal series, and a conjugacy problem
di: Bagayoko, Vincent
Pubblicazione: (2025)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
di: Fiuk, Oskar, et al.
Pubblicazione: (2025)

Revisiting Assumptions Ordering in CAR-Based Model Checking
di: Dong, Yibo, et al.
Pubblicazione: (2024)

Strongly Dependent Ordered Abelian Groups and Henselian Fields
di: Halevi, Yatir, et al.
Pubblicazione: (2017)