Solubility of theories in a certain calculus

DOI10.1007/BF01157066zbMath0524.03023MaRDI QIDQ585191

Alexandre 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

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

Cites Work

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

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