:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Murwanashyaka, Juvenal
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2509.14222
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A non-sequential arithmetical theory with pairing
by: Murwanashyaka, Juvenal
Published: (2025)

A weak theory of building blocks
by: Juvenal Murwanashyaka
Published: (2024)

Notes on Interpretability between Weak First-order Theories: Theories of Sequences
by: Kristiansen, Lars, et al.
Published: (2024)

Inconsistency of Reinhardt cardinals with $\mathsf{ZF}$
by: McCallum, Rupert
Published: (2026)

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

A Friedman--Sheard-style Theory for Classical Realisability
by: Hayashi, Daichi, et al.
Published: (2025)

(Non-)well-founded derivations in the provability logic $\mathsf{GLP}$
by: Shamkanov, Daniyar
Published: (2025)

Theories of Frege structure equivalent to Feferman's system $\mathsf{T}_0$
by: Hayashi, Daichi
Published: (2024)

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

A realization theorem for the modal logic of transitive closure $\mathsf{K}^+$
by: Shamkanov, Daniyar
Published: (2024)

The global $Σ^1_{n+1}$-Uniformization Property and $\mathsf{BPFA}$
by: Hoffelner, Stefan
Published: (2024)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
by: Lorenz Halbeisen, et al.
Published: (2024)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
by: Suzuki, Yudai, et al.
Published: (2024)

Gödel-Dummett and $\mathsf{BD_2}$: Linearity and Depth-Two Branching in Kripke Semantics
by: Arroyo, Vicent Navarro
Published: (2026)

On Friedman's Property
by: Jakob, Hannes
Published: (2024)

Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$)
by: Manríquez, Jonathan Cancino
Published: (2025)

The Lattice Problem for Models of $\mathsf{PA}$
by: Abdul-Quader, Athar, et al.
Published: (2024)

Does $\mathsf{DC}$ imply $\mathsf{AC}_ω$, uniformly?
by: Andretta, Alessandro, et al.
Published: (2023)

The exponential logic of sequentialization
by: Alcolei, Aurore, et al.
Published: (2023)

On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
by: Chen, Lijie, et al.
Published: (2024)

The $\mathsf{HOD}$ Hypothesis and a supercompact cardinal
by: Cheng, Yong
Published: (2018)

Forcing and classes of $\mathsf{HYP}$-dominating functions
by: Greenberg, Noam, et al.
Published: (2026)

On the learning power of Friedman-Stanley jumps
by: Cipriani, Vittorio, et al.
Published: (2025)

A Universe with a $Δ^1_n$-definable well-order of the reals, $\mathsf{CH}$ and $Π^1_n$-Uniformization
by: Hoffelner, Stefan
Published: (2025)

The $\mathsf{AC}^0$-Complexity Of Visibly Pushdown Languages
by: Göller, Stefan, et al.
Published: (2023)

A logical limit law for the sequential model of preferential attachment graphs
by: Özdemir, Alperen
Published: (2024)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)

Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)

On sequential theorems in Reverse Mathematics
by: Normann, Dag, et al.
Published: (2024)

A Cut-free, Sound and Complete Russellian Theory of Definite Descriptions
by: Indrzejczak, Andrzej, et al.
Published: (2024)

Maintaining $\mathsf{CMSO}_2$ properties on dynamic structures with bounded feedback vertex number
by: Majewski, Konrad, et al.
Published: (2021)

A Cut-free Sequent Calculus for Basic Intuitionistic Dynamic Topological Logic
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2025)

Editorial correction for L. Halbeisen, R. Plati, and Saharon Shelah, “Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$”, https://doi.org/10.1002/malq.202300024
Published: (2024)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Reverse mathematics of a uniform Kruskal-Friedman theorem
by: Freund, Anton
Published: (2021)

Point-free MV-topologies
by: Ortiz, Marby Zuley Bolaños, et al.
Published: (2026)

Non-meager $\mathsf{P}$-filters, Miller-measurability, and a question of Hrušák
by: Medini, Andrea
Published: (2026)

On the universal theory of the free pseudocomplemented distributive lattice
by: Carai, Luca, et al.
Published: (2024)

The finite Friedman-Stanley jumps: generic dichotomies for Borel homomorphisms
by: Shani, Assaf
Published: (2024)

The first fatal axiom for weakened sequential products on finite MV-effect algebras: Local obstruction, exact low-rank classification, and the rank-one boundary case
by: Higuchi, Joaquim Reizi
Published: (2026)