$\omega$-consistency for Different Arrays of Quantifiers
Logic
2024-10-15 v1
Abstract
We study the formalized v statement by allowing the occurrence of different arrays of quantifiers in it. We prove that for some specific arrays of quantifiers we get consistency statements that are S-equivalent to the original -consistency statement (S denotes the basis theory to develop metamathematics). We end our paper by creating a theory of truth that proves each -consistency-statement.
Cite
@article{arxiv.2410.09195,
title = {$\omega$-consistency for Different Arrays of Quantifiers},
author = {Paulo Guilherme Santos},
journal= {arXiv preprint arXiv:2410.09195},
year = {2024}
}