Expressibility of properties of relations

DOI10.2307/2275768zbMATH Open0842.03045OpenAlexW2022352899MaRDI QIDQ4858829FDOQ4858829

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

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

zbMATH Keywords

transitivityalgebras of relationsrelation algebratrivialityrelation-preserving permutations

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

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

Cited In (5)

• Binary Relations and Permutation Groups
• Modal languages and bounded fragments of predicate logic
• Title not available (Why is that?)
• A relation-algebraic approach to the region connection calculus
• On Definability of Relations by Only One Relation

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)