Enayat theories

Albert Visser*

*Corresponding author for this work

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

In this paper we study solution attempts for a problem posed by Ali Enayat: can there be a finitely axiomatised 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.

Original languageEnglish
Pages (from-to)2073-2117
Number of pages45
JournalIfCoLoG Journal of Logics and their Applications
Volume8
Issue number7
Publication statusPublished - 2021

Fingerprint

Dive into the research topics of 'Enayat theories'. Together they form a unique fingerprint.

Cite this