On the decidability of the theory of linear orderings with generalized quantifiers

DOI10.4064/FM-107-1-21-32zbMath0362.02036OpenAlexW784746800MaRDI QIDQ4135491

Hans-Peter Tuschik

Publication date: 1980

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211121

zbMATH Keywords

generalized quantifierstheory of linear orderings

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items (2)

The expressive power of Malitz quantifiers for linear orderings ⋮ Stationary Logic and Ordinals

This page was built for publication: On the decidability of the theory of linear orderings with generalized quantifiers