Definability of closure operations in the \(h\)-quasiorder of labeled forests
From MaRDI portal
Publication:619316
DOI10.1007/s10469-010-9084-7zbMath1214.03023MaRDI QIDQ619316
Oleg V. Kudinov, Victor L. Selivanov, Anton V. Zhukov
Publication date: 24 January 2011
Published in: Algebra and Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10469-010-9084-7
05C05: Trees
06A07: Combinatorics of partially ordered sets
03C40: Interpolation, preservation, definability
Related Items
On the Wadge reducibility of \(k\)-partitions, A Gandy Theorem for Abstract Structures and Applications to First-Order Definability
Cites Work
- Unnamed Item
- Definability in the \(h\)-quasiorder of labeled forests
- Theories of orders on the set of words
- The quotient algebra of labeled forests modulo h-equivalence
- Hierarchies of Δ02‐measurable k ‐partitions
- Definability in the Homomorphic Quasiorder of Finite Labeled Forests
- Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests