Bernhard Banaschewski

According to our database, Bernhard Banaschewski authored at least 26 papers between 1977 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2018

Remarks Concerning Certain Function Rings in Pointfree Topology.

Bernhard Banaschewski

Appl. Categorical Struct., 2018

On the Maps of Pointfree Topology Which Preserve the Rings of Integervalued Continuous Functions.

Bernhard Banaschewski

Appl. Categorical Struct., 2018

2013

Essential Completeness in Categories of Completely Regular Frames.

Bernhard Banaschewski, Anthony W. Hager

Appl. Categorical Struct., 2013

Strong 0-dimensionality in Pointfree Topology.

Bernhard Banaschewski

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Compact Hausdorff Approach Frames.

Bernhard Banaschewski, Robert Lowen, Christophe Van Olmen

Order, 2012

2007

The Stone-Cech Compactification and the Cozero Lattice in Pointfree Topology.

Bernhard Banaschewski

Appl. Categorical Struct., 2007

2006

A globalisation of the Gelfand duality theorem.

Bernhard Banaschewski, Christopher J. Mulvey

Ann. Pure Appl. Log., 2006

Preface.

Bernhard Banaschewski, Thierry Coquand, Giovanni Sambin

Ann. Pure Appl. Log., 2006

A General View of Approximation.

Bernhard Banaschewski, Ales Pultr

Appl. Categorical Struct., 2006

2005

Integral Stone Rings.

Bernhard Banaschewski

Order, 2005

Excluded Middle versus Choice in a topos.

Bernhard Banaschewski

Math. Log. Q., 2005

On the Function Ring Functor in Pointfree Topology.

Bernhard Banaschewski

Appl. Categorical Struct., 2005

2001

f-Rings and the Stone-Weierstrass Theorem.

Bernhard Banaschewski

Order, 2001

Adjointness Aspects of the Down-Set Functor.

Bernhard Banaschewski, Ales Pultr

Appl. Categorical Struct., 2001

Realcompactness and the Cozero Part of a Frame.

Bernhard Banaschewski, Christopher Gilmour

Appl. Categorical Struct., 2001

The Axiom of Countable Choice and Pointfree Topology.

Bernhard Banaschewski

Appl. Categorical Struct., 2001

2000

Extension by Continuity in Pointfree Topology.

Bernhard Banaschewski, S. S. Hong

Appl. Categorical Struct., 2000

1998

Choice Principles and Compactness Conditions.

Bernhard Banaschewski

Math. Log. Q., 1998

1994

A New Proof that "Krull implies Zorn".

Bernhard Banaschewski

Math. Log. Q., 1994

Variants of openness.

Bernhard Banaschewski, Ales Pultr

Appl. Categorical Struct., 1994

1993

Paracompactness revisited.

Bernhard Banaschewski, Ales Pultr

Appl. Categorical Struct., 1993

1992

Algebraic Closure without Choice.

Bernhard Banaschewski

Math. Log. Q., 1992

1991

Fixpoints Without the Natural Numbers.

Bernhard Banaschewski

Math. Log. Q., 1991

1990

The Dual Cantor-Bernstein Theorem and the Partition Principle.

Bernhard Banaschewski, Gregory H. Moore

Notre Dame J. Formal Log., 1990

1982

Completions of Partially Ordered Sets.

Bernhard Banaschewski, Evelyn Nelson

SIAM J. Comput., 1982

1977

On G. Spencer Brown's laws of form.

Bernhard Banaschewski

Notre Dame J. Formal Log., 1977