Definability in first order theories of graph orderings

DOI10.1007/978-3-319-27683-0_23MaRDI QIDQ5283438zbMATH OpenOpenAlexFDO

Authors

Publication date 21 July 2017

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-27683-0_23

zbMATH Keywords

definabilitygraphslogical theorypartial order

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Interpolation, preservation, definability (03C40) Models of other mathematical theories (03C65)

Recommendations

• Definability in first-order theories of graph orderings
• Definability in the substructure ordering of simple graphs
• Definability in the embeddability ordering of finite directed graphs. II
• Monadic second-order definable graph orderings
• Defining recursive predicates in graph orders

Cites work

• A mathematical introduction to logic.
• Definability in substructure orderings. I: Finite semilattices
• Definability in substructure orderings. II: Finite ordered sets
• Definability in substructure orderings. III: Finite distributive lattices
• Definability in substructure orderings. IV: Finite lattices
• Definability in the embeddability ordering of finite directed graphs
• Definability in the Infix Order on Words
• Definability in the substructure ordering of simple graphs
• Definability in the Subword Order
• Experimental descriptive complexity
• Graph minors. XX: Wagner's conjecture
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1361465 (Why is no real title available?)
• scientific article; zbMATH DE number 795221 (Why is no real title available?)
• scientific article; zbMATH DE number 2203240 (Why is no real title available?)
• Theories of orders on the set of words
• Undecidability of linear inequalities in graph homomorphism densities
• UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES

Cited in

(15)

• Definability in the embeddability ordering of finite directed graphs
• Definability in the embeddability ordering of finite directed graphs. II
• Definability in the substructure ordering of simple graphs
• Definability in the substructure ordering of finite directed graphs
• Monadic second-order definable graph orderings
• On first-order definable colorings
• Well-Quasi Orders and Hierarchy Theory
• First-order Definable Retraction Problems for Posets and Reflexive Graphs
• First-Order Definability of Trees and Sparse Random Graphs
• A Gandy theorem for abstract structures and applications to first-order definability
• Elementary Properties of the Finite Ranks
• Defining recursive predicates in graph orders
• Definability in first-order theories of graph orderings
• Definability of recursive predicates in the induced subgraph order
• Segment transit function of the induced path function of graphs and its first-order definability

This page was built for publication: Definability in first order theories of graph orderings

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