Solubility of theories in a certain calculus

DOI10.1007/BF01157066zbMATH Open0524.03023MaRDI QIDQ585191FDOQ585191

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 first order properties of products of algebraic systems
• The relative expressive power of some logics extending first-order logic
• The Theory of Abelian Groups With the Quantifier (≦ x)

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)