Papers
Valentin Goranko, Ruaan Kellerman, and Alberto Zanardo, Structural Theory of Trees. II. Completeness and Completions of Trees, Contributions to Discrete Mathematics, vol. 18 no. 2, pp. 210 - 233, 2023
Valentin Goranko, Ruaan Kellerman, and Alberto Zanardo, Structural Theory of Trees. I. Branching and Condensations of Trees, Contributions to Discrete Mathematics, vol. 18 no. 2, pp. 188 - 209, 2023
Ruaan Kellerman, First-order theories of bounded trees, Archive for Mathematical Logic, vol. 61 issue 1 - 2, pp. 263 - 297, 2022
Valentin Goranko and Ruaan Kellerman, Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees, Journal of Symbolic Logic, vol. 86 no. 3, pp. 1035 - 1065, 2021
Ruaan Kellerman, First-order aspects of tree paths, Logic Journal of the IGPL, vol. 24 no. 4, pp. 688 - 704, 2015
Valentin Goranko and Ruaan Kellerman, Classes and theories of trees associated with a class of linear orders, Logic Journal of the IGPL, vol. 19 no. 1, pp. 217 - 232, 2011
Ruaan Kellerman, First-Order Theories of Orthogonality Structures, Logic Journal of the IGPL, vol. 15 no. 3, pp. 255 - 270, 2007
Book chapters
Philippe Balbiani, Valentin Goranko, Ruaan Kellerman and Dimiter Vakarelov, Logical Theories for Fragments of Elementary Geometry, Handbook of Spatial Logics, pp. 343 - 428, Springer, 2007
Activities
64th Annual Congress of the South African Mathematical Society, Bloemfontein, South Africa, 29 November - 1 December 2021 (held online)
Logic Colloquium 2021 (2021 European Summer Meeting of the Association for Symbolic Logic), Poznań, Poland, 19 - 24 July 2021 (held online)
UJ Logic Workshop, Johannesburg, South Africa, 27 - 28 January 2020
Research visit to Valentin Goranko at Stockholm University, Sweden, 3 - 27 April 2018
UJ Logic Workshop, Johannesburg, South Africa, 29 - 30 January 2018
58th Annual Congress of the South African Mathematical Society, Johannesburg, South Africa, 4 - 6 November 2015
Model Theory Conference, Stellenbosch, South Africa, 9 - 13 March 2015
Research visit to Valentin Goranko at the Danish Technical University, Denmark, 8 - 31 August 2013
8th Scandinavian Logic Symposium, Roskilde, Denmark, 20 - 21 August 2012
53rd Annual Congress of the South African Mathematical Society, Pretoria, South Africa, 3 - 5 November 2010
Zuse-Collatz Colloquium, Pretoria, South Africa, 9 October 2010
52nd Annual Congress of the South African Mathematical Society, Johannesburg, South Africa, 2 - 4 November 2009
7th Panhellenic Logic Symposium, Patras, Greece, 15 - 19 July 2009
Logic Colloquium 2006 (2006 European Summer Meeting of the Association for Symbolic Logic), Nijmegen, The Netherlands, 27 July - 2 August 2006
1st World School on Universal Logic, Montreux, Switzerland, 26 - 30 March 2005
Refereeing
I have reviewed manuscripts for the following journals:
Quaestiones Mathematicae
Journal of Logic, Language and Information
DAL Seminar Series
I coordinate the seminar series in Discrete Mathematics, Algebra, and Logic (DAL) at the University of Pretoria. Please contact me if you are interested in giving a talk as part of this series.