Monadic representability of certain binary relations

DOI10.1017/S0004972700021614MaRDI QIDQ3312231zbMATH OpenOpenAlexFDO

Authors I. L. Humberstone

Publication date 1984

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0004972700021614

zbMATH Keywords

binary relationsmonadic representability

Mathematics Subject Classification ID

Classical first-order logic (03B10) Other classical set theory (including functions, relations, and set algebra) (03E20)

Recommendations

• Monadic binary relations and the monad systems at near-standard points
• Monadic decomposability of regular relations
• scientific article; zbMATH DE number 1033922
• On the reducibility of monadic equivalence relations
• Monadic second order definable relations on the binary tree
• On the relations between monadic semantics
• scientific article; zbMATH DE number 1036407
• Representable semilattice-ordered monoids
• scientific article; zbMATH DE number 3895062
• Relations in monadic third-order logic

Cited in

(5)

• Binary operations suffice to test collapsing of monoidal intervals
• Representation of functions and total antisymmetric relations in monadic third order logic
• scientific article; zbMATH DE number 1033922 (Why is no real title available?)
• First-order logic and first-order functions
• An intriguing logic with two implicational connectives

This page was built for publication: Monadic representability of certain binary relations

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