Search the dblp DataBase

Publications of Author

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