Critical theories
From MaRDI portal
Publication:1109020
DOI10.1007/BF00975011zbMath0655.03005OpenAlexW4235161224MaRDI QIDQ1109020
Publication date: 1988
Published in: Siberian Mathematical Journal (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00975011
decidable theoriescritical theories.Zbl 0638.03013hierarchies of restricted theoriesminimal undecidable theorysyntactical type
Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25) Applications of logic to commutative algebra (13L05)
Related Items (7)
The Chebyshev norm on the Lie algebra of the motion group of a compact homogeneous Finsler manifold ⋮ Algorithmic problems and hierarchies of first-order languages ⋮ Doubling property for bilipschitz homogeneous geodesic surfaces ⋮ Universal algebras ⋮ On \(\delta \)-homogeneous Riemannian manifolds ⋮ Homogeneous manifolds with intrinsic metric. II ⋮ Mappings of homogeneous groups and imbeddings of functional spaces
Cites Work
This page was built for publication: Critical theories
