Undecidable Extensions of Monadic Second Order Successor Arithmetic

DOI10.1002/MALQ.19710170143MaRDI QIDQ5588641zbMATH OpenOpenAlexFDO

Authors Dirk Stiefkes

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

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(4)

• Degrees of transducibility
• The degree of squares is an atom
• On the bounded monadic theory of well-ordered structures
• A note on undecidable extensions of monadic second order successor arithmetic

This page was built for publication: Undecidable Extensions of Monadic Second Order Successor Arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5588641)