Effective choice operations on constructive and positive models

DOI10.1007/BF02260926zbMath0793.03038OpenAlexW2012572086MaRDI QIDQ1317639

Yu. G. Ventsov

Publication date: 12 April 1994

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

Full work available at URL: https://doi.org/10.1007/bf02260926

zbMATH Keywords

recursive modelconstructivizationscomputable enumeration of r.e. subdiagrams in a finite languageeffective choice operationpositive enumerations of modeles

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computable structure theory, computable model theory (03C57) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Regular elements in P. I.-rings
• Some examples in PI ring theory
• Rings of quotients of some semiprime. P.I. rings
• Rings with involution and chain conditions on bi-ideals
• Prime Rings Satisfying a Polynomial Identity
• Some results on the center of a ring with polynomial identity
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Effective choice operations on constructive and positive models