Extensionality in Zermelo-Fraenkel Set Theory. - Roland Hinnion (Math. Log. Q., 1986)

The Consistency Problem for Positive Comprehension Principles. - Marco Forti; Roland Hinnion (J. Symb. Log., 1989)

Embedding Properties and Anti-Foundation in Set Theory. - Roland Hinnion (Math. Log. Q., 1989)

Correction to "Embedding Properties and Anti-Foundation in Set Theory". - Roland Hinnion (Math. Log. Q., 1989)

Stratified and positive comprehension seen as superclass rules over ordinary set theory. - Roland Hinnion (Math. Log. Q., 1990)

Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. - Roland Hinnion (Notre Dame J. Formal Log., 1994)

Directed Sets and Malitz-Cauchy-Completions. - Roland Hinnion (Math. Log. Q., 1997)

Ramifiable Directed Sets. - Roland Hinnion (Math. Log. Q., 1998)

Antifoundation and Transitive Closure in the System of Zermelo. - Olivier Esser; Roland Hinnion (Notre Dame J. Formal Log., 1999)

Fixed-points of Set-continuous Operators. - Daniel Dzierzgowski; Olivier Esser; Roland Hinnion (Math. Log. Q., 2000)

Large Cardinals and Ramifiability for Directed Sets. - Olivier Esser; Roland Hinnion (Math. Log. Q., 2000)

Combinatorial Criteria for Ramifiable Ordered Sets. - Olivier Esser; Roland Hinnion (Math. Log. Q., 2001)

Tree-Properties for Ordered Sets. - Olivier Esser; Roland Hinnion (Math. Log. Q., 2002)

Positive abstraction and extensionality. - Roland Hinnion; Thierry Libert (J. Symb. Log., 2003)

Intensional Positive Set Theory. - Roland Hinnion (Reports Math. Log., 2006)

Intensional solutions to the identity problem for partial sets. - Roland Hinnion (Reports Math. Log., 2007)

Topological Models for Extensional Partial Set Theory. - Roland Hinnion; Thierry Libert (Notre Dame J. Formal Log., 2008)

Ultrafilters (with dense elements) over closure spaces. - Roland Hinnion (Reports Math. Log., 2012)