Undecidable relativizations of algebras of relations

DOI10.2307/2586497zbMath0934.03080OpenAlexW2142365862MaRDI QIDQ4262581

Maarten Marx, Szabolcs Mikulás

Publication date: 25 April 2000

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

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

zbMATH Keywords

equational theorytiling problemcylindric-relativized set algebrascoordinatewise counting operationsrelativized representable relation algebras

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Taming logic
• Undecidability and nonperiodicity for tilings of the plane
• Finite algebras of relations are representable on finite sets
• Taming first-order logic

This page was built for publication: Undecidable relativizations of algebras of relations