SUFFICIENT CONDITIONS FOR THE EXISTENCE OF UNDECIDABLE INDIRECTLY REFLECTIVE SENTENCES

DOI10.17223/19988621/35/2MaRDI QIDQ5042804zbMATH OpenOpenAlexFDO

Authors V. M. Zyuz'kov

Publication date 26 October 2022

Published in Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika (Search for Journal in Brave)

Full work available at URL http://mathnet.ru/eng/vtgu456

zbMATH Keywords

formal arithmeticindirect reflexionundecidable sentences

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Cites work

• scientific article; zbMATH DE number 53543 (Why is no real title available?)
• scientific article; zbMATH DE number 3467029 (Why is no real title available?)
• scientific article; zbMATH DE number 7591884 (Why is no real title available?)
• Introduction to mathematical logic

This page was built for publication: SUFFICIENT CONDITIONS FOR THE EXISTENCE OF UNDECIDABLE INDIRECTLY REFLECTIVE SENTENCES

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