nLab Radu Diaconescu

Selected writings

Selected writings

The Diaconescu-Goodman-Myhill theorem in logic:

Introducing Diaconescu's theorem in topos theory:

On atomic toposes

category: people

Last revised on November 7, 2023 at 07:26:25. See the history of this page for a list of all contributions to it.