scientific article; zbMATH DE number 4039851

MaRDI QIDQ3778719zbMATH OpenFDO

Authors Yu. M. Vazhenin

Publication date 1988

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

zbMATH Keywords

critical theoriesdecidable theorieshierarchies of restricted theoriesminimal undecidable theorysyntactical type

Mathematics Subject Classification ID

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

Recommendations

• Critical theories
• scientific article; zbMATH DE number 42538
• Theory structuralism in a rigid framework
• scientific article; zbMATH DE number 1795265
• The structuralist thesis reconsidered

Cited in

(10)

• The equality problem in nonassociative rings
• On positive and critical theories of some classes of rings
• Matrix hierarchies of first-order languages and their applications
• Nonassociative rings with a single defining relation whose elementary theories are decidable
• Critical theories of supervarieties of the variety of commutative associative rings
• Critical theories of certain nonassociative rings
• Critical theories of some classes of graphs and unary algebras
• scientific article; zbMATH DE number 4055566 (Why is no real title available?)
• The critical number of a variable in a function
• scientific article; zbMATH DE number 7091974 (Why is no real title available?)

This page was built for publication:

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