dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Roland Hinnion Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Hinnion, Thierry Libert: Topological Models for Extensional Partial Set Theory. Notre Dame Journal of Formal Logic 49(1): 39-53 (2008)
2006
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Hinnion: Intensional Positive Set Theory. Reports on Mathematical Logic 40: 107-125 (2006)
2003
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Hinnion, Thierry Libert: Positive abstraction and extensionality. J. Symb. Log. 68(3): 828-836 (2003)
2002
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Esser, Roland Hinnion: Tree-Properties for Ordered Sets. Math. Log. Q. 48(2): 213-219 (2002)
2001
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Esser, Roland Hinnion: Combinatorial Criteria for Ramifiable Ordered Sets. Math. Log. Q. 47(4): 539-555 (2001)
2000
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Esser, Roland Hinnion: Large Cardinals and Ramifiability for Directed Sets. Math. Log. Q. 46(1): 25-34 (2000)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Dzierzgowski, Olivier Esser, Roland Hinnion: Fixed-points of Set-continuous Operators. Math. Log. Q. 46(2): 183-198 (2000)
1999
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlivier Esser, Roland Hinnion: Antifoundation and Transitive Closure in the System of Zermelo. Notre Dame Journal of Formal Logic 40(2): 197-205 (1999)
1998
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Hinnion: Ramifiable Directed Sets. Math. Log. Q. 44: 216-228 (1998)
1997
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland Hinnion: Directed Sets and Malitz-Cauchy-Completions. Math. Log. Q. 43: 465-484 (1997)
1994
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoland 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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Forti, Roland Hinnion: The Consistency Problem for Positive Comprehension Principles. J. Symb. Log. 54(4): 1401-1418 (1989)

Coauthor Index

1Daniel Dzierzgowski [6]
2Olivier Esser [5] [6] [7] [8] [9]
3Marco Forti [1]
4Thierry Libert [10] [12]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page