Some properties of algebraic reducibility of constructivizations

DOI10.1007/BF02215287MaRDI QIDQ810499zbMATH OpenOpenAlexFDO

Authors 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

algebraic reducibility of constructivizationsBoolean algebrapartially ordered sets

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57)

Review text

In the paper under review the author studies the notion of algebraic reducibility of constructivizations. The author introduces for any \(n\in \omega\), \(n>0\), the notion of n-algebraic reducibility of constructivizations (which is the usual algebraic reducibility of constructivizations reduced to relations with n free variables) and studies the relationship between these reducibilities. Further, it is shown that any finite Boolean algebra is the structure of algebraic reducibility for some suitable partially ordered set. Moreover, in some natural sense the class of partially ordered sets is complete.

Recommendations

• Constructivizable models with a linear structure of algebraic reducibility
• Algebraic dependences and reducibilities of constructivizations in universal domains
• Strong Reducibilities of Enumerations and Partial Enumerated Algebras
• scientific article; zbMATH DE number 4085634
• scientific article; zbMATH DE number 4053594

Cites work

• Constructivizable models with a linear structure of algebraic reducibility

Cited in

(12)

• Structures computable in polynomial time. II
• Algebraic dependences and reducibilities of constructivizations in universal domains
• Completeness, reducibility, primarity and purity for algebras: results and problems
• Constructivizable models with a linear structure of algebraic reducibility
• scientific article; zbMATH DE number 4164818 (Why is no real title available?)
• scientific article; zbMATH DE number 4053594 (Why is no real title available?)
• scientific article; zbMATH DE number 4085634 (Why is no real title available?)
• Reducts of some structures over the reals
• scientific article; zbMATH DE number 1929453 (Why is no real title available?)
• Some properties of an algebra of all sets of naturals e-reducible to a fixed set
• scientific article; zbMATH DE number 5235741 (Why is no real title available?)
• Term Rewriting and Applications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q810499)