Copertina

Generically Computable Linear Orderings

Fuente: arXiv

Salvato in:

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

Documenti analoghi

sp-Homogeneous Linear Orderings
di: Calvert, Wesley, et al.
Pubblicazione: (2025)

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)

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

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

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

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

Isomorphic Subtypes in a Finite Generalized Ordered Type
di: Joseph, Jean S.
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)

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

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)

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

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)

A Curry-Howard Correspondence for Linear, Reversible Computation
di: Chardonnet, Kostia, et al.
Pubblicazione: (2023)

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)

Bridging Computational Notions of Depth
di: Bienvenu, Laurent, et al.
Pubblicazione: (2024)

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

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

Dynamic Probability Logic: Decidability & Computability
di: Chopoghloo, Somayeh, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

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

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)

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

On Fidel Vakarelov construction for Monadic Godel algebras
di: Alonso, Maria Valentina, et al.
Pubblicazione: (2024)

Computing with Infinite Objects: the Gray Code Case
di: Spreen, Dieter, et al.
Pubblicazione: (2021)

Normality, Relativization, and Randomness
di: Calvert, Wesley, et al.
Pubblicazione: (2023)

Probabilistic Linear Logic Programming with an Application to Bayesian Network Computations (Extended Version)
di: Acclavio, Matteo, et al.
Pubblicazione: (2026)

Ordered Completion for Non-Locally Tight mini-gringo Programs
di: Heuer, Jan
Pubblicazione: (2025)

Delay-Optimum Adder Circuits with Linear Size
di: Brenner, Ulrich, et al.
Pubblicazione: (2024)

AD$^+$ implies that $ω_1$ is a $Θ$-Berkeley cardinal
di: Blue, Douglas, et al.
Pubblicazione: (2024)

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