L(aa)‐Elementary Types of Well‐Orderings
From MaRDI portal
Publication:3669390
DOI10.1002/malq.19820283310zbMath0519.03028OpenAlexW2043805091MaRDI QIDQ3669390
Publication date: 1982
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19820283310
monadic second-order logicordinalsstationary logic\(L(aa)\)-elementary types of well-orderings\(L(aa)\)-theory
Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)