There are no minimal essentially undecidable theories

DOI10.1093/LOGCOM/EXAD005MaRDI QIDQ6636679FDOQ6636679

Authors: Juvenal Murwanashyaka, Fedor N. Pakhomov, Albert Visser 

Publication date: 12 November 2024

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

zbMATH Keywords

interpretabilityessential undecidability

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cited In (1)

• Essential hereditary undecidability

This page was built for publication: There are no minimal essentially undecidable theories

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