1 paper · 1 filter
Marco Abbadini, Rodrigo Nicolau Almeida, Igor Arrieta
A longstanding open problem is whether every Heyting algebra is the lattice of truth values (i.e., of subterminal objects) of some elementary topos. A positive answer is known for…