Some properties of algebraic reducibility of constructivizations

DOI10.1007/BF02215287zbMath0734.03020OpenAlexW2013377132MaRDI QIDQ810499

S. T. Fedoryaev

Publication date: 1990

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/187539

zbMATH Keywords

Boolean algebrapartially ordered setsalgebraic reducibility of constructivizations

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Related Items (1)

Structures computable in polynomial time. II

Cites Work

• Constructivizable models with a linear structure of algebraic reducibility

This page was built for publication: Some properties of algebraic reducibility of constructivizations