V. Aranda, “Weak and Post completeness in the Hilbert school”, RHV, no. 14, pp. 449–466, Dec. 2019.