Numbered distributive semilattices

DOI10.3103/S1055134407030029zbMath1249.03085MaRDI QIDQ3115346

S. Yu. Podzorov

Publication date: 20 February 2012

Published in: Siberian Advances in Mathematics (Search for Journal in Brave)

zbMATH Keywords

distributive latticenumberingdistributive semilatticeconstructivizationpositive structureLachlan semilattice

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25) Semilattices (06A12) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Related Items (2)

A \(\Delta^{0}_{2}\)-poset with no positive presentation ⋮ Upper Semilattices in Many-One Degrees

This page was built for publication: Numbered distributive semilattices