Critical theories

DOI10.1007/BF00975011MaRDI QIDQ1109020zbMATH OpenOpenAlexFDO

Authors Yu. M. Vazhenin

Publication date 1988

Published in Siberian Mathematical Journal (Search for Journal in Brave)

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

zbMATH Keywords

critical theories.Zbl 0638.03013decidable 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)

Review text

See the review in Zbl 0638.03013.

Cites work

• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• scientific article; zbMATH DE number 3153134 (Why is no real title available?)
• scientific article; zbMATH DE number 3805807 (Why is no real title available?)
• scientific article; zbMATH DE number 3318637 (Why is no real title available?)

Cited in

(8)

• Algorithmic problems and hierarchies of first-order languages
• Universal algebras
• Homogeneous manifolds with intrinsic metric. II
• scientific article; zbMATH DE number 4039851 (Why is no real title available?)
• On \(\delta \)-homogeneous Riemannian manifolds
• Doubling property for bilipschitz homogeneous geodesic surfaces
• Mappings of homogeneous groups and imbeddings of functional spaces
• The Chebyshev norm on the Lie algebra of the motion group of a compact homogeneous Finsler manifold

This page was built for publication: Critical theories

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