Relational structures constructible by quantifier free definable operations
From MaRDI portal
Publication:5444700
DOI10.2178/jsl/1203350786zbMath1130.03024MaRDI QIDQ5444700
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
monatic second-order logic; \(m\)-ary patch-width; \(m\)-constructibility; spectra of monadic sentences
DB lookup for MSC labels failed