1. and Parts of the continuum: towards a modern ontology of science. In: The Poznan Studies in the Philosophy of Science and the Humanities (L. Nowak, ed.). Forthcoming.
2. and Approximation spaces of type-free sets. In: Lecture Notes in Artificial Intelligence 2005, (Springer-Verlag, Berlin et al. 2000), 98-105.
3. A generalized Cantor theorem
4. On the Consistency of a Positive Theory
5. Une théorie positive des ensembles. Cahiers du centre de logique, no. 13, Centre national de recherches en logique, Academia-Bruylant, Louvain-La-Neuve 2004.