Browsing Natural and Agricultural Sciences by Author "Kellerman, Ruaan"

Browsing Natural and Agricultural Sciences by Author "Kellerman, Ruaan"

Sort by: Order: Results:

  • Classes and theories of trees associated with a class of linear orders 
    Goranko, Valentin; Kellerman, Ruaan (Oxford University Press, 2011-02)
    Given a class of linear order types C, we identify and study several different classes of trees, naturally associated with C in terms of how the paths in those trees are related to the order types belonging to C. We ...
  • First-order aspects of tree paths 
    Kellerman, Ruaan (Oxford University Press, 2015-08)
    Tree paths are investigated using first-order logic. The following results are obtained: (i) every definable path can be defined by a firstorder formula using at most one parameter chosen from the path itself; (ii) a ...