Dr R (Ruaan) Kellerman

Tel: +2712 420-2572
Fax: +2712 420-3893
E-mail: [email protected]
Office: Mathematics Building 2-28

Position: Senior Lecturer
Academic qualifications: MSc(UJ), PhD(Wits)

Fields of interest: Model theory, Mathematical logic, algebra
Research interests: Logical theories of trees, logical theories of trees

Open Access version of Articles

Website: www.kellerman.info

ORCID: Ruaan Kellerman (0000-0002-1945-3240) - ORCID

Publications over the past five years:

Journal articles

Goranko V, Kellerman R, Zanardo A Structural Theory of Trees. I. Branching and Condensations of Trees. To appear in Contributions to Discrete Mathematics

Goranko V, Kellerman R, Zanardo A Structural Theory of Trees. II. Completeness and Completions of Trees. To appear in Contributions to Discrete Mathematics

Kellerman R, Goranko V Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. The Journal of Symbolic Logic 86(3)(2021) 1035-1065

Goranko V, Kellerman R Classes and theories of trees associated with a class of linear orders. Logic Journal of the IGPL, 19(1)(2011), 217-232

Kellerman R First-order aspects of tree paths. Logic Journal of the IGPL, 23(4)(2015), 688-704

Goranko V, Kellerman R Approximating trees as coloured linear orders and complete axiomatisations of some classes of trees. To appear in Journal of Symbolic Logic

Kellerman R First-order theories of bounded trees. To appear in Archive for Mathematical Logic

Share this page