Decision problem for separated distributive lattices

DOI10.2307/2273334zbMath0508.03016OpenAlexW2130384176MaRDI QIDQ4745812

Yuri Gurevich

Publication date: 1983

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

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

zbMATH Keywords

lattice of recursively enumerable setsfirst order theory of Boolean pairsmonadic theory of finite trees

Mathematics Subject Classification ID

Models of other mathematical theories (03C65)

Related Items (1)

THE ∀∃ THEORY OF PEANO Σ₁ SENTENCES

Cites Work

• The elementary theory of recursively enumerable sets

This page was built for publication: Decision problem for separated distributive lattices