Bernhard Banaschewski

Publication Activity (10 Years)

Years Active: 1977-2018
Publications (10 Years): 2

Top Topics

Topology Preservation

Top Venues

Appl. Categorical Struct.

Publications

Bernhard Banaschewski
Remarks Concerning Certain Function Rings in Pointfree Topology. Appl. Categorical Struct. 26 (5) (2018)
Bernhard Banaschewski
On the Maps of Pointfree Topology Which Preserve the Rings of Integervalued Continuous Functions. Appl. Categorical Struct. 26 (3) (2018)
Bernhard Banaschewski
Strong 0-dimensionality in Pointfree Topology. TACL (2013)
Bernhard Banaschewski, Anthony W. Hager
Essential Completeness in Categories of Completely Regular Frames. Appl. Categorical Struct. 21 (2) (2013)
Bernhard Banaschewski, Robert Lowen, Christophe Van Olmen
Compact Hausdorff Approach Frames. Order 29 (1) (2012)
Bernhard Banaschewski
The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology. Appl. Categorical Struct. 15 (5-6) (2007)
Bernhard Banaschewski
The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology. Appl. Categorical Struct. 15 (5-6) (2007)
Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin
Preface. Ann. Pure Appl. Log. 137 (1-3) (2006)
Bernhard Banaschewski, Christopher J. Mulvey
A globalisation of the Gelfand duality theorem. Ann. Pure Appl. Log. 137 (1-3) (2006)
Bernhard Banaschewski, Ales Pultr
A General View of Approximation. Appl. Categorical Struct. 14 (2) (2006)
Bernhard Banaschewski
Excluded Middle versus Choice in a topos. Math. Log. Q. 51 (3) (2005)
Bernhard Banaschewski
Integral Stone Rings. Order 22 (2) (2005)
Bernhard Banaschewski
On the Function Ring Functor in Pointfree Topology. Appl. Categorical Struct. 13 (4) (2005)
Bernhard Banaschewski
f-Rings and the Stone-Weierstrass Theorem. Order 18 (2) (2001)
Bernhard Banaschewski, Christopher Gilmour
Realcompactness and the Cozero Part of a Frame. Appl. Categorical Struct. 9 (4) (2001)
Bernhard Banaschewski, Ales Pultr
Adjointness Aspects of the Down-Set Functor. Appl. Categorical Struct. 9 (4) (2001)
Bernhard Banaschewski
The Axiom of Countable Choice and Pointfree Topology. Appl. Categorical Struct. 9 (3) (2001)
Bernhard Banaschewski, S. S. Hong
Extension by Continuity in Pointfree Topology. Appl. Categorical Struct. 8 (3) (2000)
Bernhard Banaschewski
Choice Principles and Compactness Conditions. Math. Log. Q. 44 (1998)
Bernhard Banaschewski, Ales Pultr
Variants of openness. Appl. Categorical Struct. 2 (4) (1994)
Bernhard Banaschewski
A New Proof that "Krull implies Zorn". Math. Log. Q. 40 (1994)
Bernhard Banaschewski, Ales Pultr
Paracompactness revisited. Appl. Categorical Struct. 1 (2) (1993)
Bernhard Banaschewski
Algebraic Closure without Choice. Math. Log. Q. 38 (1) (1992)
Bernhard Banaschewski
Fixpoints Without the Natural Numbers. Math. Log. Q. 37 (8) (1991)
Bernhard Banaschewski, Gregory H. Moore
The Dual Cantor-Bernstein Theorem and the Partition Principle. Notre Dame J. Formal Log. 31 (3) (1990)
Bernhard Banaschewski, Evelyn Nelson
Completions of Partially Ordered Sets. SIAM J. Comput. 11 (3) (1982)
Bernhard Banaschewski
On G. Spencer Brown's laws of form. Notre Dame J. Formal Log. 18 (3) (1977)