nLab Bernhard Banaschewski

Bernhard Banaschewski (1926-2022)]

Selected writings

On the Stone-Weierstrass theorem in constructive mathematics:

On the Boolean algebra underlying Spencer Brown’s “Laws of form”:

On algebraic closures of fields in the absence of the axiom of choice:

category: people

Last revised on January 28, 2024 at 04:31:59. See the history of this page for a list of all contributions to it.