Solubility of theories in a certain calculus

DOI10.1007/BF01157066MaRDI QIDQ585191zbMATH OpenFDO

Authors A. A. Ivanov

Publication date 1983

Published in Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

generalized quantifiersreal closed fieldsalgebraically closed fieldsdecidability of theoriestorsion-free abelian groups

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Decidability of theories and sets of sentences (03B25)

Cites work

• The Theory of Abelian Groups With the Quantifier (≦ x)
• The first order properties of products of algebraic systems
• The relative expressive power of some logics extending first-order logic

This page was built for publication: Solubility of theories in a certain calculus

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