Copertina

Failure of an higher analogue of Mho

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Feldman, Ido
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Fodor space in generalized descriptive set theory
di: Feldman, Ido, et al.
Pubblicazione: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

An analogue of U-rank for atomic classes
di: Baldwin, John T., et al.
Pubblicazione: (2025)

Shelah's conjecture fails for higher cardinalities
di: Marangelis, Georgios
Pubblicazione: (2024)

Neural Network Verification using Partial Multi-Neuron Relaxation
di: Shmuel, Ido, et al.
Pubblicazione: (2026)

Trace definability IV: higher arity notions
di: Walsberg, Erik
Pubblicazione: (2026)

Stationary Reflection and the Failure OF SCH at $\aleph_{ω_1}$
di: Benhamou, Tom, et al.
Pubblicazione: (2024)

Finite model property of pretransitive analogues of (w)K4 and GL
di: Dvorkin, Lev
Pubblicazione: (2024)

A Kunen-Like Model with a Critical Failure of the Continuum Hypothesis
di: Ben-Neria, Omer, et al.
Pubblicazione: (2024)

$\mathsf{MA} (\mathcal{I}$) and a Failure of Separation on the third Level
di: Hoffelner, Stefan
Pubblicazione: (2025)

The ZFC analogue of the Halpern-Levy theorem
di: Stefanović, Nedeljko
Pubblicazione: (2023)

Toward higher-order infinite time Turing machines: simulational $Γ$-machines
di: Bournez, Olivier, et al.
Pubblicazione: (2025)

Ultra-Galois theory and an analogue of the Kronecker--Weber theorem for rational function fields over ultra-finite fields
di: Nguyen, Dong Quan Ngoc
Pubblicazione: (2024)

The higher dimensional propositional calculus
di: Bucciarelli, Antonio, et al.
Pubblicazione: (2022)

Failure divergence refinement for Event-B
di: Stock, Sebastian, et al.
Pubblicazione: (2025)

Formal model theory and higher topology
di: Ivan Di Liberti
Pubblicazione: (2024)

Failure of singular compactness for Hom
di: Asgharzadeh, Mohsen, et al.
Pubblicazione: (2025)

Naturality for higher-dimensional path types
di: Benjamin, Thibaut, et al.
Pubblicazione: (2025)

Crash-Stop Failures in Asynchronous Multiparty Session Types
di: Barwell, Adam D., et al.
Pubblicazione: (2023)

A type-theoretic approach to semistrict higher categories
di: Rice, Alex
Pubblicazione: (2025)

Non-trivial higher homotopy of first-order theories
di: Campion, Tim, et al.
Pubblicazione: (2023)

An introduction to higher walks
di: Bergfalk, Jeffrey
Pubblicazione: (2024)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)

Indiscernible extraction at small large cardinals from a higher-arity stability notion
di: Hanson, James E.
Pubblicazione: (2025)

A denotationally-based program logic for higher-order store
di: Aagaard, Frederik Lerbjerg, et al.
Pubblicazione: (2023)

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

Reversible Computation with Stacks and "Reversible Management of Failures"
di: Palazzo, Matteo, et al.
Pubblicazione: (2025)

Demystifying $μ$
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
di: Afshari, Bahareh, et al.
Pubblicazione: (2024)

On the logical structure of some maximality and well-foundedness principles equivalent to choice principles
di: Herbelin, Hugo
Pubblicazione: (2024)

The strength of the dominance rule
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2024)

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

A Coalgebraic Semantics for Intuitionistic Modal Logic
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

Decidability of Quasi-Dense Modal Logics
di: Ostropolski-Nalewaja, Piotr, et al.
Pubblicazione: (2024)

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

The Category of Iterative Sets in Homotopy Type Theory and Univalent Foundations
di: Gratzer, Daniel, et al.
Pubblicazione: (2024)

Incompleteness theorems via Turing category
di: Savelyev, Yasha
Pubblicazione: (2024)

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
di: Lyon, Tim S.
Pubblicazione: (2024)

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
di: De Domenico, Andrea, et al.
Pubblicazione: (2024)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
di: Kihara, Takayuki
Pubblicazione: (2024)