First-order aspects of tree paths

DOI10.1093/JIGPAL/JZV026zbMath1405.03078OpenAlexW1459790890MaRDI QIDQ4644528

Ruaan Kellerman

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/e874555d7733049e7a14e34170dbdb571dfd5215

zbMATH Keywords

treefirst-order logicpathdefinability

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) Classical first-order logic (03B10) Properties of classes of models (03C52) Models of other mathematical theories (03C65)

Related Items (1)

First-order theories of bounded trees

This page was built for publication: First-order aspects of tree paths