Two-dimensional partial orderings: Undecidability

DOI10.2307/2273360zbMath0468.03008OpenAlexW2003367401MaRDI QIDQ3921202

Joseph G. Rosenstein, Alfred B. Manaster

Publication date: 1980

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

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

zbMATH Keywords

dimensionpartial orderings

Mathematics Subject Classification ID

Partial orders, general (06A06) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

Cites Work

• Certain logical reduction and decision problems
• Planar lattices and planar graphs
• Undecidability and nonperiodicity for tilings of the plane
• Nonrecursive tilings of the plane. I
• Planar Lattices

This page was built for publication: Two-dimensional partial orderings: Undecidability