Albert Visser
Albert Visser has a total of 1 co-authors. Here are the top co-authors by number of shared publications:
- Ali Enayat
University of Gothenburg
1 shared publication
Latest Publications
- Open Access
Incompleteness of boundedly axiomatizable theories
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 of bounded quantifier-alternation-depth. Our proof employs an appropriate reduction mechanism to rule out the possibility of completeness by simply invoking Tarski's Undefinability of Truth theorem. We also use the proof strategy of Theorem A to obtain other incompleteness results (as in Theorems A+; B and B+).
Open AccessIncompleteness of boundedly axiomatizable theories
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 of bounded quantifier-alternation-depth. Our proof employs an appropriate reduction mechanism to rule out the possibility of completeness by simply invoking Tarski's Undefinability of Truth theorem. We also use the proof strategy of Theorem A to obtain other incompleteness results (as in Theorems A+; B and B+).