Horst Herrlich

23 papers B 3Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
2016 J jnl
Finiteness Classes and Small Violations of Choice.
Notre Dame J. Formal Log.
Horst Herrlich, Paul E. Howard, Eleftherios Tachtsis
2016 J jnl
Unique Nearness Structures.
Appl. Categorical Struct.
H. L. Bentley, Horst Herrlich
2011 J jnl
The Finite and the Infinite.
Appl. Categorical Struct.
Horst Herrlich
2010 J jnl
Odd-sized partitions of Russell-sets.
Math. Log. Q.
Horst Herrlich, Eleftherios Tachtsis
2009 — book
Abstract and Concrete Categories - The Joy of Cats.
Jirí Adámek, Horst Herrlich, George E. Strecker
2004 J jnl
Merotopological Spaces.
Appl. Categorical Struct.
H. L. Bentley, Horst Herrlich
2003 J jnl
The axiom of choice holds iff maximal closed filters exist.
Math. Log. Q.
Horst Herrlich
2002 J jnl
Weak Factorization Systems and Topological Functors.
Appl. Categorical Struct.
Jirí Adámek, Horst Herrlich, Jirí Rosický, Walter Tholen
2001 J jnl
Free Factorizations.
Appl. Categorical Struct.
Lutz Schröder, Horst Herrlich
2000 J jnl
Free Adjunction of Morphisms.
Appl. Categorical Struct.
Lutz Schröder, Horst Herrlich
2000 J jnl
Nearness, Subfitness and Sequential Regularity.
Appl. Categorical Struct.
Horst Herrlich, Ales Pultr
2000 J jnl
On Countable Products of Finite Hausdorff Spaces.
Math. Log. Q.
Horst Herrlich, Kyriakos Keremedis
1999 J jnl
Powers of 2.
Notre Dame J. Formal Log.
Kyriakos Keremedis, Horst Herrlich
1998 J jnl
Categorical Properties of Probabilistic Convergence Spaces.
Appl. Categorical Struct.
Horst Herrlich, Dexue Zhang
1996 J jnl
Compactness and the axiom of choice.
Appl. Categorical Struct.
Horst Herrlich
1994 J jnl
Essential extensions of Hausdorff spaces.
Appl. Categorical Struct.
Horst Herrlich
1993 J jnl
Compact
Appl. Categorical Struct.
Horst Herrlich
1993 J jnl
Some open categorical problems in Top.
Appl. Categorical Struct.
Horst Herrlich, Miroslav Husek
1989 — ed.
Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]
Categorial Methods in Computer Science
Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski, Gerhard Preuß
1988 — conf
The Construct PRO of Projection Spaces: Its Internal Structure.
Categorial Methods in Computer Science
Horst Herrlich, Hartmut Ehrig
1985 B conf
Cartesian Closed Categories, Quasitopoi and Topological Universes.
Mathematical Foundations of Programming Semantics
Jirí Adámek, Horst Herrlich
1985 B conf
Concrete Categories and Injectivity.
Mathematical Foundations of Programming Semantics
H. Bargenda, Horst Herrlich, George E. Strecker
1985 B conf
Galois Connections.
Mathematical Foundations of Programming Semantics
Horst Herrlich, Miroslav Husek