An theory without the existence axiom
arXiv:2407.13082
Abstract
Answering a question of Dobrowolski, Kim and Ramsey, we find an theory that does not satisfy the existence axiom.
12 pages
arXiv:2407.13082
Answering a question of Dobrowolski, Kim and Ramsey, we find an theory that does not satisfy the existence axiom.
12 pages