Hierarchies of Tarskian truth predicates
arXiv:2202.00851
Abstract
Hierarchies of non self-applicative truth predicates take us beyond Gamma_0.
11 pages
arXiv:2202.00851
Hierarchies of non self-applicative truth predicates take us beyond Gamma_0.
11 pages