Undecidable Extensions of Monadic Second Order Successor Arithmetic
From MaRDI portal
Publication:5588641
DOI10.1002/malq.19710170143zbMath0193.31203OpenAlexW2022485134MaRDI QIDQ5588641
Publication date: 1971
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19710170143
Related Items
Degrees of Transducibility ⋮ The Degree of Squares is an Atom ⋮ A note on undecidable extensions of monadic second order successor arithmetic ⋮ On the bounded monadic theory of well-ordered structures
This page was built for publication: Undecidable Extensions of Monadic Second Order Successor Arithmetic