2 citations · 2 across the 2 of their papers we have counts for
2 papers
math.AC2022
Maximal ideals in countable rings, constructively
Ingo Blechschmidt, Peter Schuster
The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the rel…
cs.LO2021★ 2 cited
A General Glivenko-Gödel Theorem for Nuclei
Giulio Fellin, Peter Schuster
Glivenko's theorem says that, in propositional logic, classical provability of a formula entails intuitionistic provability of double negation of that formula. We generalise Gliven…