Enayat Theories
From MaRDI portal
Publication:6325610
arXiv1909.08877MaRDI QIDQ6325610
Publication date: 19 September 2019
Abstract: In this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatized consistent sequential theory that interprets itself plus the (sentential or non-uniform) Tarski biconditionals? We provide a basic framework for the study of this question and discuss some solution attempts. We connect the question with some interesting conjectures. We briefly touch upon what happens if we consider uniform biconditionals.
First-order arithmetic and fragments (03F30) Nonclassical and second-order set theories (03E70) Gödel numberings and issues of incompleteness (03F40) Relative consistency and interpretations (03F25)
This page was built for publication: Enayat Theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325610)
