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