2 citations · 4 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 1 cited
Cut elimination for Zermelo set theory
Gilles Dowek, Alexandre Miquel
We show how to express intuitionistic Zermelo set theory in deduction modulo (i.e. by replacing its axioms by rewrite rules) in such a way that the corresponding notion of proof en…
cs.LO2023★ 2 cited
Relative normalization
Gilles Dowek, Alexandre Miquel
G{ö}del's second incompleteness theorem forbids to prove, in a given theory U, the consistency of many theories-in particular, of the theory U itself-as well as it forbids to prove…
math.AT2023★ 1 cited
Implicative Assemblies
Félix Castro, Alexandre Miquel, Krzysztof Worytkiewicz
Implicative algebras, recently discovered by Miquel, are combinatorial structures unifying classical and intuitionistic realizability as well as forcing. In this paper we introduce…