Expressibility of properties of relations

DOI10.2307/2275768MaRDI QIDQ4858829zbMATH OpenOpenAlexFDO

Authors István Németi, Hajnal Andréka, Ivo Düntsch

Publication date 24 July 1996

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275768

zbMATH Keywords

transitivityalgebras of relationsrelation algebratrivialityrelation-preserving permutations

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• The Complexity of Defining a Relation on a Finite Graph
• Binary Relations and Permutation Groups
• On Definability of Relations by Only One Relation
• One variable is not enough for defining relation algebras, but two are
• Monadic structures over an ordered universal random graph and finite automata

Cites work

• scientific article; zbMATH DE number 3478824 (Why is no real title available?)
• A microcomputer based system for small relation algebras
• A nonpermutational integral relation algebra
• Boolean Algebras with Operators
• Cylindric algebras. Part II
• Definability with bounded number of bound variables
• Infinitary logics and 0-1 laws
• Properties of almost all graphs and complexes
• Upper and lower bounds for first order expressibility

Cited in

(5)

• Binary Relations and Permutation Groups
• Modal languages and bounded fragments of predicate logic
• scientific article; zbMATH DE number 4039353 (Why is no real title available?)
• A relation-algebraic approach to the region connection calculus
• On Definability of Relations by Only One Relation

Describes a project that uses

Uses Software

• nauty

This page was built for publication: Expressibility of properties of relations

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