Copertina

Characterizing relative decidability in terms of model completeness

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Harrison-Trainor, Matthew, Tan, Liam
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Relative to any non-arithmetic set
di: Harrison-Trainor, Matthew
Pubblicazione: (2025)

A Relation on ${(ω, <)}$ of Intermediate Degree Spectrum on a Cone
di: Damaj, Jad, et al.
Pubblicazione: (2024)

Measuring the complexity of characterizing $[0, 1]$, $S^1$, and $\mathbb{R}$ up to homeomorphism
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2024)

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

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

Computable learning of natural hypothesis classes
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2024)

Back-and-forth equivalent group von Neumann algebras
di: Goldbring, Isaac, et al.
Pubblicazione: (2024)

Optimal Syntactic Definitions of Back-and-Forth Types
di: Chen, Ruiyuan, et al.
Pubblicazione: (2025)

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

The Logic of Cardinality Comparison Without the Axiom of Choice
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2022)

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

On the local consequence of modal Product logic: standard completeness and decidability
di: Vidal, Amanda
Pubblicazione: (2023)

Iterated Priority Arguments in Descriptive Set Theory
di: Day, Adam, et al.
Pubblicazione: (2022)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
di: Harrison-Trainor, Matthew, et al.
Pubblicazione: (2022)

Generation and decidability for periodic l-pregroups
di: Galatos, Nikolaos, et al.
Pubblicazione: (2024)

The domino problem is decidable for robust tilesets
di: Aubrun, Nathalie, et al.
Pubblicazione: (2024)

Cauchy-completions and the rule of unique choice in relational doctrines
di: Dagnino, Francesco, et al.
Pubblicazione: (2024)

Intuitionistic modal logic LIK4 is decidable
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Universal quantification makes automatic structures hard to decide
di: Haase, Christoph, et al.
Pubblicazione: (2023)

Two results on complexities of decision problems of groups
di: Andrews, Uri, et al.
Pubblicazione: (2024)

A syntactic proof of decidability for the logic of bunched implication BI
di: Ramanayake, Revantha
Pubblicazione: (2016)

The Fertile Steppe: Computability Logic and the decidability of one of its fragments
di: Spadoni, Stella
Pubblicazione: (2025)

Intuitionistic modal logics: new and simpler decidability proofs for FIK and LIK
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Alignment complete relational Hoare logics for some and all
di: Nagasamudram, Ramana, et al.
Pubblicazione: (2023)

Hyperbolicity and model-complete fields
di: Szachniewicz, Michał, et al.
Pubblicazione: (2024)

Definability and decidability for rings of integers in totally imaginary fields
di: Springer, Caleb
Pubblicazione: (2022)

Structural completeness in quasivarieties
di: Aglianó, Paolo, et al.
Pubblicazione: (2024)

The complete classification for quantified equality constraints
di: Zhuk, Dmitriy, et al.
Pubblicazione: (2021)

Redex -> Coq: towards a theory of decidability of Redex's reduction semantics
di: Soldevila, Mallku, et al.
Pubblicazione: (2024)

Relative model completeness of henselian valued fields with finite ramification and various value groups
di: De Mase, Anna
Pubblicazione: (2023)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
di: Hansen, Helle Hvid, et al.
Pubblicazione: (2025)

Simply typed convertibility is TOWER-complete even for safe lambda-terms
di: Nguyên, Lê Thành Dũng
Pubblicazione: (2023)

Dichotomy results for classes of countable graphs
di: Cipriani, Vittorio, et al.
Pubblicazione: (2025)

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

The completeness and congruences of quasi-Boolean algebras
di: Liu, Xiaohao, et al.
Pubblicazione: (2025)

Independence relations in the Solovay model I
di: Zapletal, Jindrich
Pubblicazione: (2025)

Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
di: Khani, Mohsen, et al.
Pubblicazione: (2021)

Strong completeness for the predicate logic of the continuous t-norms
di: Castaño, Diego, et al.
Pubblicazione: (2024)

Axiomatic theories of supervaluational truth: completing the picture
di: Dopico, Pablo, et al.
Pubblicazione: (2024)