2006 | ||
---|---|---|
11 | EE | Roland Hinnion: Intensional Positive Set Theory. Reports on Mathematical Logic 40: 107-125 (2006) |
2003 | ||
10 | Roland Hinnion, Thierry Libert: Positive abstraction and extensionality. J. Symb. Log. 68(3): 828-836 (2003) | |
2002 | ||
9 | EE | Olivier Esser, Roland Hinnion: Tree-Properties for Ordered Sets. Math. Log. Q. 48(2): 213-219 (2002) |
2001 | ||
8 | EE | Olivier Esser, Roland Hinnion: Combinatorial Criteria for Ramifiable Ordered Sets. Math. Log. Q. 47(4): 539-555 (2001) |
2000 | ||
7 | EE | Olivier Esser, Roland Hinnion: Large Cardinals and Ramifiability for Directed Sets. Math. Log. Q. 46(1): 25-34 (2000) |
6 | EE | Daniel Dzierzgowski, Olivier Esser, Roland Hinnion: Fixed-points of Set-continuous Operators. Math. Log. Q. 46(2): 183-198 (2000) |
1999 | ||
5 | Olivier Esser, Roland Hinnion: Antifoundation and Transitive Closure in the System of Zermelo. Notre Dame Journal of Formal Logic 40(2): 197-205 (1999) | |
1998 | ||
4 | Roland Hinnion: Ramifiable Directed Sets. Math. Log. Q. 44: 216-228 (1998) | |
1997 | ||
3 | Roland Hinnion: Directed Sets and Malitz-Cauchy-Completions. Math. Log. Q. 43: 465-484 (1997) | |
1994 | ||
2 | Roland Hinnion: Naive Set Theory with Extensionality in Partial Logic and in Paradoxical Logic. Notre Dame Journal of Formal Logic 35(1): 15-40 (1994) | |
1989 | ||
1 | Marco Forti, Roland Hinnion: The Consistency Problem for Positive Comprehension Principles. J. Symb. Log. 54(4): 1401-1418 (1989) |
1 | Daniel Dzierzgowski | [6] |
2 | Olivier Esser | [5] [6] [7] [8] [9] |
3 | Marco Forti | [1] |
4 | Thierry Libert | [10] |