scientific article; zbMATH DE number 3689355

MaRDI QIDQ3884080zbMATH OpenFDO

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

Publication date 1980

zbMATH Keywords

generalized quantifierscardinality quantifiersgeneralization of Ehrenfeucht's game

Mathematics Subject Classification ID

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

Cited in

(10)

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

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)