Computable isomorphisms of distributive lattices
From MaRDI portal
Publication:2327454
DOI10.1007/978-3-030-14812-6_3OpenAlexW2938684537MaRDI QIDQ2327454
M. M. Yamaleev, Nikolay Bazhenov, Manat Mustafa
Publication date: 15 October 2019
Full work available at URL: https://doi.org/10.1007/978-3-030-14812-6_3
distributive latticeHeyting algebraequivalence relationcomputable categoricitycomputable metric spacecomputable reducibility
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Minimal equivalence relations in hyperarithmetical and analytical hierarchies ⋮ Computable embeddability for algebraic structures
This page was built for publication: Computable isomorphisms of distributive lattices
