Composition with Algebra at the Background

DOI10.1007/978-3-642-38536-0_34MaRDI QIDQ4928503zbMATH OpenOpenAlexFDO

Authors Thomas Colcombet

Publication date 14 June 2013

Published in Computer Science – Theory and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-38536-0_34

Mathematics Subject Classification ID

Higher-order logic (03B16) Decidability of theories and sets of sentences (03B25) Interpolation, preservation, definability (03C40) Second- and higher-order model theory (03C85)

Recommendations

• On Monocomposition Algebras
• On well-orderd mono-unary algebras
• Monadic theory of a linear order versus the theory of its subsets with the lifted min/max operations
• Toward a theory of monomial preorders
• A Note on Absolutely Unorderable Combinatory Algebras
• scientific article; zbMATH DE number 5295854
• Variations on algebra: Monadicity and generalisations of equational theories
• Combination problems for commutative/monoidal theories or how algebra can help in equational unification
• Theories of ordered commutative monoids

Cited in

(5)

• Monadic theory of a linear order versus the theory of its subsets with the lifted min/max operations
• Definability in Rationals with Real Order in the Background
• An algebraic approach to MSO-definability on countable linear orderings
• Interpreting the monadic second order theory of one successor in expansions of the real line
• The Caucal hierarchy: interpretations in the (W)MSO+\(\mathsf{U}\) logic

This page was built for publication: Composition with Algebra at the Background

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