Bernhard Banaschewski in nLab
Bernhard Banaschewski (1926-2022)]
Selected writings
-
B. Banaschewski, A. Pultr, Variants of openness, Appl. Cat. Struc. 2 (1994) 1-21 [doi:10.1007/BF00873038]
-
B. Banaschewski, A. Pultr, Booleanization, Cah. Top. Géom. Diff. Cat. XXXVII 1 (1996) 41-60 [numdam:CTGDC_1996__37_1_41_0]
On the Stone-Weierstrass theorem in constructive mathematics:
- B. Banaschewski, C. J. Mulvey, A constructive proof of the Stone-Weierstrass theorem, J. Pure Appl. Algebra 116 (1997) 25-40 [doi:10.1016/S0022-4049(96)00160-0]
On the Boolean algebra underlying Spencer Brown’s “Laws of form”:
- B. Banaschewski, On G. Spencer Brown’s laws of form, Notre Dame J. Formal Logic 18 3 (1977) 507-509 [doi:10.1305/ndjfl/1093888028]
On algebraic closures of fields in the absence of the axiom of choice:
- Bernhard Banaschewski, Algebraic closure without choice, Mathematical Logic Quarterly, Volume 38, Issue 1, 1992, Pages 383-385, [doi:10.1002/malq.19920380136]
Last revised on January 28, 2024 at 04:31:59. See the history of this page for a list of all contributions to it.