Shelah-Stupp's iteration and Muchnik's iteration

DOI10.3233/FI-2018-1667MaRDI QIDQ4643216zbMATH OpenOpenAlexWikidataFDO

Authors Didier Caucal, Teodor Knapik

Publication date 24 May 2018

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2018-1667

zbMATH Keywords

infinite-state systemsMuchnik's iterationShelah-Stupp's iterationstructure-building operations

Mathematics Subject Classification ID

Higher-order logic (03B16) Decidability of theories and sets of sentences (03B25)

Recommendations

• Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic
• The Monadic Theory of Tree-like Structures
• Monadic second-order logic on tree-like structures
• An Extension of Muchnik's Theorem
• scientific article; zbMATH DE number 1191239

Cited in

(5)

• Shelah-Stupp's and Muchnik's iterations revisited
• scientific article; zbMATH DE number 1191239 (Why is no real title available?)
• scientific article; zbMATH DE number 870913 (Why is no real title available?)
• Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic
• \(\lambda\)-structures and \(s\)-structures: translating the iteration strategies

This page was built for publication: Shelah-Stupp's iteration and Muchnik's iteration

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