Bernhard Banaschewski

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