scientific article

zbMath0442.03011MaRDI QIDQ3884080

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

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

generalized quantifierscardinality quantifiersgeneralization of Ehrenfeucht's game

Mathematics Subject Classification ID

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

Related Items (10)

Trees, grids, and MSO decidability: from graphs to matroids ⋮ First-order logic and its infinitary quantifier extensions over countable words ⋮ The Härtig quantifier: a survey ⋮ A game-theoretic equivalence to the Hahn-Banach theorem ⋮ The expressive power of Malitz quantifiers for linear orderings ⋮ 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 ⋮ The structure of the models of decidable monadic theories of graphs

This page was built for publication: