scientific article

zbMath0638.03013MaRDI QIDQ3778719

Yu. M. Vazhenin

Publication date: 1988

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

decidable theorieshierarchies of restricted theoriesminimal undecidable theorysyntactical typecritical theories

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Applications of logic to commutative algebra (13L05)

Related Items (7)

Critical theories of some classes of graphs and unary algebras ⋮ Unnamed Item ⋮ Critical theories of supervarieties of the variety of commutative associative rings ⋮ The equality problem in nonassociative rings ⋮ Critical theories of certain nonassociative rings ⋮ Nonassociative rings with a single defining relation whose elementary theories are decidable ⋮ On positive and critical theories of some classes of rings

This page was built for publication: