First-order aspects of tree paths

DOI10.1093/JIGPAL/JZV026zbMATH Open1405.03078OpenAlexW1459790890MaRDI QIDQ4644528FDOQ4644528

Authors: Ruaan Kellerman 

Publication date: 8 January 2019

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

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

Recommendations

• First-order logic on finite trees
• Classes and theories of trees associated with a class of linear orders
• scientific article; zbMATH DE number 4051033
• Database Theory - ICDT 2005
• First-order properties of trees, star-free expressions, and aperiodicity

zbMATH Keywords

treefirst-order logicdefinabilitypath

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)

Cited In (6)

• Tree-Width for First Order Formulae
• Database Theory - ICDT 2005
• Classes and theories of trees associated with a class of linear orders
• First-order properties of trees, star-free expressions, and aperiodicity
• First-order theories of bounded trees
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644528)