* [Homepage](http://www.math.lsa.umich.edu/~ablass/) ## Selected writings On [[small violations of choice]]: * {#Blass79} [[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](https://doi.org/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 [<a href="https://doi.org/10.1016/0022-4049(83)90085-3">doi:10.1016/0022-4049(83)90085-3</a>] ... and the [[axiom of infinity]]: * [[Andreas Blass]], _Classifying topoi and the axiom of infinity_ , Algebra Universalis **26** (1989) 341-345 [[doi:10.1007/BF01211840](https://doi.org/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](https://doi.org/10.1090/conm/031), ([author pdf](https://dept.math.lsa.umich.edu/~ablass/bases-AC.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](https://arxiv.org/abs/math/9405205), <a href="https://doi.org/10.1016/0022-4049(95)00098-H">doi:10.1016/0022-4049(95)00098-H</a>] 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](https://doi.org/10.1007/978-3-540-78127-1_11), [pdf](https://web.eecs.umich.edu/~gurevich/Opera/172.pdf), [pdf](http://www.math.lsa.umich.edu/~ablass/set.pdf)] On formal statement and [[proof]] of the [[deferred measurement principle]] of [[quantum circuits]]: * {#GurevichBlass21} [[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](https://arxiv.org/abs/2107.08324), [doi:10.1016/j.tcs.2022.02.002](https://doi.org/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](https://arxiv.org/abs/2209.13731)] category:people