Some theorems in generalized calculuses

DOI10.1007/BF00970312zbMath0543.03021OpenAlexW2080346898MaRDI QIDQ795827

Alexandre A. Ivanov

Publication date: 1983

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

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

zbMATH Keywords

generalized quantifiersBaudisch quantifierfirst order languagetheory of algebraically closed fieldstheory of real-closed fields

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Axiomatic model classes (08C10) Quantifier elimination, model completeness, and related topics (03C10)

Cites Work

• On the semantics of the Henkin quantifier
• The Theory of Abelian Groups With the Quantifier (≦ x)
• The relative expressive power of some logics extending first-order logic
• Unnamed Item

This page was built for publication: Some theorems in generalized calculuses