nLab Andreas Blass

• Homepage

Selected writings

On small violations of choice:

• Andreas Blass, Injectivity, projectivity, and the axiom of choice, Trans. Amer. Math. Soc. 255 (1979) 31-59 [doi:10.1090/S0002-9947-1979-0542870-6]

On classifying toposes…

…and forcing:

• Andreas Blass, Andrej Ščedrov, Classifying topoi and finite forcing, Journal of Pure and Applied Algebra 28 (1983) 111-140 [doi:10.1016/0022-4049(83)90085-3]

… and the axiom of infinity:

• Andreas Blass, Classifying topoi and the axiom of infinity , Algebra Universalis 26 (1989) 341-345 [doi:10.1007/BF01211840]

On the converse to the basis theorem:

• Andreas Blass, Existence of bases implies the axiom of choice, Contemporary Mathematics 31 (1984) pp. 31-33, doi:10.1090/conm/031, (author pdf).

On objective number theory:

• Andreas Blass, Seven trees in one, Journal of Pure and Applied Algebra, 103 1 (1995) 1–21 [arXiv:math/9405205, doi:10.1016/0022-4049(95)00098-H]

On set theory with commentary on ETCC:

• Andreas Blass, Yuri Gurevich, Why Sets?, Bull. Europ. Assoc. Theoret. Comp. Sci. 84 (2004) 139-156. [doi:10.1007/978-3-540-78127-1_11, pdf, pdf]

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

• Yuri Gurevich, Andreas Blass, Quantum circuits with classical channels and the principle of deferred measurements, Theoretical Computer Science 920 (2022) 21–32 [arXiv:2107.08324, doi:10.1016/j.tcs.2022.02.002]

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

• Yuri Gurevich, Andreas Blass, Software science view on quantum circuit algorithms [arXiv:2209.13731]