Completeness as (TOPol) reconstruction of (LOGic)

In the context of the Brazilian seminar Lógicos em Quarentena, organized by the Sociedade Brasileira de Lógica, I gave the lecture Completeness as (TOPol) reconstruction of (LOGic).

Here are the slides: