Relational structures constructible by quantifier free definable operations

DOI10.2178/jsl/1203350786zbMath1130.03024OpenAlexW2058152795MaRDI QIDQ5444700

Saharon Shelah, Mor Doron

Publication date: 25 February 2008

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

Full work available at URL: https://projecteuclid.org/euclid.jsl/1203350786

zbMATH Keywords

monatic second-order logic\(m\)-ary patch-width\(m\)-constructibilityspectra of monadic sentences

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Second- and higher-order model theory (03C85)

Cites Work

• The monadic second-order logic of graphs. VII: Graphs as relational structures
• Monadic second-order definable graph transductions: a survey
• Structural properties of context-free sets of graphs generated by vertex replacement
• Recognizability, hypergraph operations, and logical types
• Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität
• On spectra of sentences of monadic second order logic with counting

This page was built for publication: Relational structures constructible by quantifier free definable operations