Roland Hinnion

Affiliations:
  • Université libre de Bruxelles


According to our database1, Roland Hinnion authored at least 18 papers between 1986 and 2012.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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

2008
Topological Models for Extensional Partial Set Theory.
Notre Dame J. Formal Log., 2008

2007
Intensional solutions to the identity problem for partial sets.
Reports Math. Log., 2007

2006
Intensional Positive Set Theory.
Reports Math. Log., 2006

2003
Positive abstraction and extensionality.
J. Symb. Log., 2003

2002
Tree-Properties for Ordered Sets.
Math. Log. Q., 2002

2001
Combinatorial Criteria for Ramifiable Ordered Sets.
Math. Log. Q., 2001

2000
Large Cardinals and Ramifiability for Directed Sets.
Math. Log. Q., 2000

Fixed-points of Set-continuous Operators.
Math. Log. Q., 2000

1999
Antifoundation and Transitive Closure in the System of Zermelo.
Notre Dame J. Formal Log., 1999

1998
Ramifiable Directed Sets.
Math. Log. Q., 1998

1997
Directed Sets and Malitz-Cauchy-Completions.
Math. Log. Q., 1997

1994
Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic.
Notre Dame J. Formal Log., 1994

1990
Stratified and positive comprehension seen as superclass rules over ordinary set theory.
Math. Log. Q., 1990

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

Embedding Properties and Anti-Foundation in Set Theory.
Math. Log. Q., 1989

The Consistency Problem for Positive Comprehension Principles.
J. Symb. Log., 1989

1986
Extensionality in Zermelo-Fraenkel Set Theory.
Math. Log. Q., 1986


  Loading...