Monadic representability of certain binary relations

DOI10.1017/S0004972700021614zbMath0531.04004OpenAlexW2004806255MaRDI QIDQ3312231

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)

Related Items (2)

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