Search results
Results: 23
Number of items: 23
-
van den Berg, B., & Heunen, C. (2014). Extending obstruction to noncommutative functorial spectra. Theory and Applications of Categories, 29, 457-474. Article 17. http://www.tac.mta.ca/tac/volumes/29/17/29-17abs.html -
van den Berg, B., & Moerdijk, I. (2014). The axiom of multiple choice and models for constructive set theory. Journal of Mathematical Logic, 14(1), Article 1450005. https://doi.org/10.1142/S0219061314500056
-
van den Berg, B. (2013). The Herbrand topos. Mathematical Proceedings of the Cambridge Philosophical Society, 155(2), 361-374. https://doi.org/10.1017/S0305004113000303
Page 3 of 3