57 citations · 86 across the 14 of their papers we have counts for
Showing 2023 · math.LOShow all
2 papers · 2 filters
math.LO2023★ 2 cited
Incompleteness of boundedly axiomatizable theories
Ali Enayat, Albert Visser
Our main result (Theorem A) shows the incompleteness of any consistent sequential theory T formulated in a finite language such that T is axiomatized by a collection of sentences o…
math.LO2023★ 3 cited
Certified -sentences
Taishi Kurahashi, Albert Visser
In this paper, we study the employment of -sentences with certificates, i.e., -sentences where a number of principles is added to ensure that the witness is sufficiently…