Two-dimensional partial orderings: Undecidability

DOI10.2307/2273360MaRDI QIDQ3921202zbMATH OpenOpenAlexFDO

Authors Alfred B. Manaster, Joseph G. Rosenstein

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

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

Cites work

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

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

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