Roland Hinnion

18 papers Journal 18

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	Ultrafilters (with dense elements) over closure spaces. Reports Math. Log. Roland Hinnion
2008	J	`jnl`	Topological Models for Extensional Partial Set Theory. Notre Dame J. Formal Log. Roland Hinnion, Thierry Libert
2007	J	`jnl`	Intensional solutions to the identity problem for partial sets. Reports Math. Log. Roland Hinnion
2006	J	`jnl`	Intensional Positive Set Theory. Reports Math. Log. Roland Hinnion
2003	J	`jnl`	Positive abstraction and extensionality. J. Symb. Log. Roland Hinnion, Thierry Libert
2002	J	`jnl`	Tree-Properties for Ordered Sets. Math. Log. Q. Olivier Esser, Roland Hinnion
2001	J	`jnl`	Combinatorial Criteria for Ramifiable Ordered Sets. Math. Log. Q. Olivier Esser, Roland Hinnion
2000	J	`jnl`	Fixed-points of Set-continuous Operators. Math. Log. Q. Daniel Dzierzgowski, Olivier Esser, Roland Hinnion
2000	J	`jnl`	Large Cardinals and Ramifiability for Directed Sets. Math. Log. Q. Olivier Esser, Roland Hinnion
1999	J	`jnl`	Antifoundation and Transitive Closure in the System of Zermelo. Notre Dame J. Formal Log. Olivier Esser, Roland Hinnion
1998	J	`jnl`	Ramifiable Directed Sets. Math. Log. Q. Roland Hinnion
1997	J	`jnl`	Directed Sets and Malitz-Cauchy-Completions. Math. Log. Q. Roland Hinnion
1994	J	`jnl`	Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. Notre Dame J. Formal Log. Roland Hinnion
1990	J	`jnl`	Stratified and positive comprehension seen as superclass rules over ordinary set theory. Math. Log. Q. Roland Hinnion
1989	J	`jnl`	Correction to "Embedding Properties and Anti-Foundation in Set Theory". Math. Log. Q. Roland Hinnion
1989	J	`jnl`	Embedding Properties and Anti-Foundation in Set Theory. Math. Log. Q. Roland Hinnion
1989	J	`jnl`	The Consistency Problem for Positive Comprehension Principles. J. Symb. Log. Marco Forti, Roland Hinnion
1986	J	`jnl`	Extensionality in Zermelo-Fraenkel Set Theory. Math. Log. Q. Roland Hinnion