arXiv:math/0606728 Abstract

Published 2006-06-28Version 1

We characterize the finite intervals of the Muchnik lattice by proving that they are a certain proper subclass of the finite distributive lattices.

Categories: math.LO

Keywords: finite intervals, muchnik lattice, proper subclass

Related articles:

arXiv:1003.4489 [math.LO] (Published 2010-03-23)

Intuitionistic Logic and Muchnik Degrees

arXiv:1109.6128 [math.LO] (Published 2011-09-28)

Strong jump traceability and Demuth randomness

arXiv:1803.07234 [math.LO] (Published 2018-03-20)

Remarks on formal languages and the model theory of monoids

arXiv Analytics