13 citations · 24 across the 3 of their papers we have counts for
Showing 1996 · math.LOShow all
2 papers · 2 filters
math.LO1996★ 5 cited
Looking from the inside and from the outside
Alessandra Carbone, S. Semmes
One often sees a sharp distinction in mathematics between descriptions from the outside and from the inside. Think of defining a set in the plane through an algebraic equation, or…
math.LO1996★ 6 cited
Some Combinatorics behind Proofs
Alessandra Carbone
We try to bring to light some combinatorial structure underlying formal proofs in logic. We do this through the study of the Craig Interpolation Theorem which is properly a stateme…