Calculus with the quantifier of elementary equivalence

DOI10.1007/BF00971555zbMath0536.03020OpenAlexW2094740153MaRDI QIDQ791519

Aleksandr Georgievich Pinus

Publication date: 1984

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

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

zbMATH Keywords

elementary equivalence quantifierquantifiers for comparing structuresundecidability of theories with generalized quantifiers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Second- and higher-order model theory (03C85) Abstract model theory (03C95)

Cites Work

• Unnamed Item
• An application of games to the completeness problem for formalized theories
• A Quantifier for Isomorphisms
• Boolean valued models and generalized quantifiers
• Axioms for abstract model theory
• Zum Entscheidungsproblem für Theorien in Logiken mit Monadischen Verallgemeinerten Quantoren

This page was built for publication: Calculus with the quantifier of elementary equivalence