Copertina

Failure Modes for Structural Highness Notions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Calvert, Wesley, Franklin, Johanna N. Y., Turetsky, Dan
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 03C57 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Learning Families of Algebraic Structures from Text
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2024)

Notions of rank and independence in countably categorical theories
di: Koponen, Vera
Pubblicazione: (2025)

A Lopez-Escobar Theorem for Continuous Domains
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2023)

Team Semantics and Independence Notions in Quantum Physics
di: Abramsky, Samson, et al.
Pubblicazione: (2021)

Punctually Standard and Nonstandard Models of Natural Numbers
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2026)

Glivenko's theorems from an ecumenical perspective
di: Pereira, Luiz Carlos, et al.
Pubblicazione: (2026)

Local-Order-Invariant Logic on Classes of Bounded Degree
di: Aoki, Derek
Pubblicazione: (2025)

A New Ehrenfeucht-Fraïssé Game for Dependence Logic
di: Puljujärvi, Joni, et al.
Pubblicazione: (2026)

A Tame Generic Structure with Non-Algebraic Geometric Closure
di: Jalili, Somaye, et al.
Pubblicazione: (2020)

Logic in Mathematics and Computer Science
di: Zach, Richard
Pubblicazione: (2024)

Proof Compression via Subatomic Logic and Guarded Substitutions
di: Barrett, Victoria, et al.
Pubblicazione: (2025)

Agent Interpolation for Knowledge
di: Bílková, Marta, et al.
Pubblicazione: (2025)

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
di: Barroso-Nascimento, Victor, et al.
Pubblicazione: (2025)

Cut elimination for propositional cyclic proof systems with fixed-point operators
di: Hori, Hiromasa, et al.
Pubblicazione: (2023)

Interpolation and the Exchange Rule
di: Fussner, Wesley, et al.
Pubblicazione: (2023)

A Note on Proper Relational Structures
di: Bjorndahl, Adam, et al.
Pubblicazione: (2025)

Two strong undefinability results in inquisitive and team semantics
di: Barbero, Fausto
Pubblicazione: (2024)

Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
di: Santo, José Espírito, et al.
Pubblicazione: (2020)

Structural focalization
di: Simmons, Robert J.
Pubblicazione: (2011)

Preservation Theorems Through the Lens of Topology
di: Lopez, Aliaume
Pubblicazione: (2020)

Quantifier elimination for lovely pairs of strongly geometric fields
di: Kovacsics, Pablo Cubides, et al.
Pubblicazione: (2026)

Y is a least fixed point combinator
di: Helfer, Joseph
Pubblicazione: (2025)

Reordered Computable Numbers
di: Janicki, Philip
Pubblicazione: (2023)

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

On the computational properties of ambivalent sets and functions
di: Normann, Dag, et al.
Pubblicazione: (2026)

A Guide to Krivine Realizability for Set Theory
di: Matthews, Richard
Pubblicazione: (2023)

Symmetries in Sorting
di: Choudhury, Vikraman, et al.
Pubblicazione: (2025)

Modal logic, fundamentally
di: Holliday, Wesley H.
Pubblicazione: (2024)

A general approach to asymptotic elimination of aggregation functions and generalized quantifiers
di: Koponen, Vera, et al.
Pubblicazione: (2023)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
di: Bodirsky, Manuel, et al.
Pubblicazione: (2020)

Exploring the abyss in Kleene's computability theory
di: Sanders, Sam
Pubblicazione: (2023)

On some computational properties of open sets
di: Normann, Dag, et al.
Pubblicazione: (2024)

Belief in Simplicial Complexes
di: Sink, Philip, et al.
Pubblicazione: (2025)

Normal forms in cubical type theory
di: Huang, Xu
Pubblicazione: (2026)

Relational Models for the Lambek Calculus with Intersection and Constants
di: Kuznetsov, Stepan L.
Pubblicazione: (2022)

Finite Hilbert systems for Weak Kleene logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Knowability as continuity: a topological account of informational dependence
di: Baltag, Alexandru, et al.
Pubblicazione: (2024)

Axiomatizing the Logic of Ordinary Discourse
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Generating proof systems for three-valued propositional logics
di: Greati, Vitor, et al.
Pubblicazione: (2024)

Reasoning Around Paradox with Grounded Deduction
di: Ford, Bryan
Pubblicazione: (2024)