Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren

DOI10.1002/MALQ.19750210131zbMath0318.02049OpenAlexW2030442665MaRDI QIDQ4079603

Helmut Wolter, H.Herre

Publication date: 1975

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19750210131

Mathematics Subject Classification ID

Trees (05C05) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80) Total orders (06A05)

Related Items (2)

The expressive power of Malitz quantifiers for linear orderings ⋮ Stationary logic of ordinals

This page was built for publication: Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren