3 problems

Let $\mathcal T$ be the class of theories under consideration. For a consistent universal sentence $\Phi$, let $HCS(\Phi)$ be its Herbrand Consistency Search problem: given finitel…

Let $T\in\mathcal T$ be a theory axiomatized by a universal sentence, and let $HCS(T)$ denote its Herbrand Consistency Search problem. Universal-theory Herbrand consistency conject…

Let ${\rm IDelta}_0$ be the bounded-induction theory of arithmetic, let ${\rm Omega}_n$ denote the corresponding family of axioms, and let ${\rm HCon}^*({\rm IDelta}_0)$ denote the…