1 citations · 1 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
math.LO2025
A non-sequential arithmetical theory with pairing
Juvenal Murwanashyaka
Albert Visser has shown that Robinson's and Gregorczyk's are not sequential by showing that these theories are not even poly-pair theories, which, in…
math.LO2025
Friedman's is not parameter-free sequential
Juvenal Murwanashyaka
Harvey Friedman's is a weak set theory given by the following non-logical axioms: $ \mathsf{(W)} \; \forall x y \, \exists z \, \forall u \left[ \, u \in z \leftrig…