scientific article
From MaRDI portal
Publication:3884080
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.
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:
