Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor

DOI10.1002/MALQ.19790251906zbMath0429.03008OpenAlexW1982671329MaRDI QIDQ3866078

Helmut Wolter, H.Herre

Publication date: 1979

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

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

zbMATH Keywords

inaccessible cardinalgeneralized continuum hypothesisChang quantifiertheories of linear orderings in logics with cardinality quantifiers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Continuum hypothesis and Martin's axiom (03E50) Logic with extra quantifiers and operators (03C80) Total orders (06A05)

Related Items (1)

The expressive power of Malitz quantifiers for linear orderings

This page was built for publication: Entscheidbarkeit der Theorie der Linearen Ordnung in Logiken mit Mächtigkeitsquantoren bzw. mit Chang‐Quantor