A necessary and sufficient condition for embedding principally decomposable finite lattices into the computable enumerable degrees preserving greatest element - researchr publication

researchr

You are not signed in
Sign in
Sign up

Burkhard Englert. A necessary and sufficient condition for embedding principally decomposable finite lattices into the computable enumerable degrees preserving greatest element. Annals of Pure and Applied Logic, 112(1):1-26, 2001.

Abstract is missing.

runs on WebDSL