Roland Hinnion

Publication Activity (10 Years)

Years Active: 1986-2012
Publications (10 Years): 0

Top Topics

Evolutionary Algorithm

Stereo Correspondence

Top Venues

Reports Math. Log.

Publications

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