scientific article; zbMATH DE number 3689355

MaRDI QIDQ3884080zbMATH OpenFDO

Authors Andreas Baudisch, Hans-Peter Tuschik, Martin Weese, Detlef Seese

Publication date 1980

zbMATH Keywords

cardinality quantifiersgeneralization of Ehrenfeucht's gamegeneralized quantifiers

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Logic with extra quantifiers and operators (03C80) Trees (05C05) Total orders (06A05) Boolean algebras (Boolean rings) (06E99) Applications of logic to group theory (20A15) Abelian groups (20K99)

Cited in

(10)

• The expressive power of Malitz quantifiers for linear orderings
• First-order logic and its infinitary quantifier extensions over countable words
• A game-theoretic equivalence to the Hahn-Banach theorem
• Expressing cardinality quantifiers in monadic second-order logic over chains
• Some model theory of modules. III. On infiniteness of sets definable in modules
• Undecidable Theories in Stationary Logic
• Stationary Logic and Ordinals
• The Härtig quantifier: a survey
• The structure of the models of decidable monadic theories of graphs
• Trees, grids, and MSO decidability: from graphs to matroids

This page was built for publication:

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