Hola,
Un gusto saludarles. Les había propuesto comenzar por el artículo sobre 
pero creo que el nivel de dificultad es mucho mayor al del artículo de quote (en particular por la propia Teoría de Conjuntos). Empezaré por trabajar sobre este artículo: Dependent Choice, quote and the clock de J-L Krivine.
Cordiales saludos,
Mauricio Guillermo.