8 citations · 17 across the 19 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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
Satisfaction classes with approximate disjunctive correctness
Ali Enayat
We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct fu…