Enviar Registro por Correo electrónico: A model-theoretic approach to proof theory /