The theory of semisets - Vopenka, Petr (Studies in logic and the foundations of mathematics, 1972)
Provability, Computability and Reflection.