9 citations · 22 across the 12 of their papers we have counts for
12 papers
Independence questions in a finite axiom-schematization of first-order logic
Benoit Jubin
We review some independence results in a finite axiom-schematization of classical first-order logic introduced by Norman Megill. We also prove that a certain axiom scheme of this s…
On the independence of Robinson's set of axioms for propositional calculus
Benoît Jubin
We give a normal five-valued truth-table proving independence of one of the axioms in Robinson's set of axioms for propositional calculus from 1968, answering a question raised in…
Differential graded Lie groups and their differential graded Lie algebras
Benoit Jubin, Alexei Kotov, Norbert Poncin +1
In this paper we discuss the question of integrating differential graded Lie algebras (DGLA) to differential graded Lie groups (DGLG). We first recall the classical problem of inte…
Intrinsic volumes of sublevel sets
Benoît Jubin
We establish formulas that give the intrinsic volumes, or curvature measures, of sublevel sets of functions defined on Riemannian manifolds as integrals of functionals of the funct…
Closed Kac-Rice type formulas on Riemannian manifolds
Benoît Jubin
We establish a few formulas that compute the volume of the zero-set (or nodal set) of a function on a compact Riemannian manifold as integrals of functionals of the function and it…
On the magnitude homology of metric spaces
Benoit Jubin
Magnitude homology of enriched categories, and in particular of metric spaces, was recently introduced by T. Leinster and M. Shulman. In this article, we prove that metric spaces s…