Abstract

In a letter to Michael Makkai of 1989, Ieke Moerdijk proved a classification theorem for finitary first-order theories which are axiomatized by coherent sequents and he asked for a generalization of his result to infinitary logic for geometric theories.
It was only in 2009 that Olivia Caramello came with a more
... read more