57 citations · 86 across the 14 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.LO2019
Enayat Theories
Albert Visser
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 (senten…
math.LO2019
On Guaspari's problem about partially conservative sentences
Taishi Kurahashi, Yuya Okawa, V. Yu. Shavrukov +1
We investigate sentences which are simultaneously partially conservative over several theories. First, we generalize Bennet's results on this topic to the case of more than two the…
cs.LO2019★ 4 cited
Lewisian Fixed Points I: Two Incomparable Constructions
Tadeusz Litak, Albert Visser
Our paper is the first study of what one might call "reverse mathematics of explicit fixpoints". We study two methods of constructing such fixpoints for formulas whose principal co…