On G. Spencer Brown's laws of form. - Bernhard Banaschewski (Notre Dame J. Formal Log., 1977)

Completions of Partially Ordered Sets. - Bernhard Banaschewski; Evelyn Nelson (SIAM J. Comput., 1982)

The Dual Cantor-Bernstein Theorem and the Partition Principle. - Bernhard Banaschewski; Gregory H. Moore (Notre Dame J. Formal Log., 1990)

Fixpoints Without the Natural Numbers. - Bernhard Banaschewski (Math. Log. Q., 1991)

Algebraic Closure without Choice. - Bernhard Banaschewski (Math. Log. Q., 1992)

Paracompactness revisited. - Bernhard Banaschewski; Ales Pultr (Appl. Categorical Struct., 1993)

Variants of openness. - Bernhard Banaschewski; Ales Pultr (Appl. Categorical Struct., 1994)

A New Proof that "Krull implies Zorn". - Bernhard Banaschewski (Math. Log. Q., 1994)

Choice Principles and Compactness Conditions. - Bernhard Banaschewski (Math. Log. Q., 1998)

Extension by Continuity in Pointfree Topology. - Bernhard Banaschewski; S. S. Hong (Appl. Categorical Struct., 2000)

The Axiom of Countable Choice and Pointfree Topology. - Bernhard Banaschewski (Appl. Categorical Struct., 2001)

Realcompactness and the Cozero Part of a Frame. - Bernhard Banaschewski; Christopher Gilmour (Appl. Categorical Struct., 2001)

Adjointness Aspects of the Down-Set Functor. - Bernhard Banaschewski; Ales Pultr (Appl. Categorical Struct., 2001)

f-Rings and the Stone-Weierstrass Theorem. - Bernhard Banaschewski (Order, 2001)

On the Function Ring Functor in Pointfree Topology. - Bernhard Banaschewski (Appl. Categorical Struct., 2005)

Excluded Middle versus Choice in a topos. - Bernhard Banaschewski (Math. Log. Q., 2005)

Integral Stone Rings. - Bernhard Banaschewski (Order, 2005)

A General View of Approximation. - Bernhard Banaschewski; Ales Pultr (Appl. Categorical Struct., 2006)

Preface. - Bernhard Banaschewski; Thierry Coquand; Giovanni Sambin (Ann. Pure Appl. Log., 2006)

A globalisation of the Gelfand duality theorem. - Bernhard Banaschewski; Christopher J. Mulvey (Ann. Pure Appl. Log., 2006)

The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology. - Bernhard Banaschewski (Appl. Categorical Struct., 2007)

Compact Hausdorff Approach Frames. - Bernhard Banaschewski; Robert Lowen; Christophe Van Olmen (Order, 2012)

Strong 0-dimensionality in Pointfree Topology. - Bernhard Banaschewski (TACL, 2013)

Essential Completeness in Categories of Completely Regular Frames. - Bernhard Banaschewski; Anthony W. Hager (Appl. Categorical Struct., 2013)

On the Maps of Pointfree Topology Which Preserve the Rings of Integervalued Continuous Functions. - Bernhard Banaschewski (Appl. Categorical Struct., 2018)

Remarks Concerning Certain Function Rings in Pointfree Topology. - Bernhard Banaschewski (Appl. Categorical Struct., 2018)