nLab Andreas Blass

Selected writings

Selected writings

On small violations of choice:

On classifying toposes

…and forcing:

… and the axiom of infinity:

On the converse to the basis theorem:

On objective number theory:

On set theory with commentary on ETCC:

On formal statement and proof of the deferred measurement principle of quantum circuits:

On a formal quantum programming language-perspective on quantum circuits:

category: people

Last revised on October 27, 2022 at 11:58:20. See the history of this page for a list of all contributions to it.