Satisfaction classes with approximate disjunctive correctness
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866912789458583552 |
|---|---|
| author | Enayat, Ali |
| author_facet | Enayat, Ali |
| contents | We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct full truth class over a model M of PA implies that Con(PA) holds in M. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2308_07463 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Satisfaction classes with approximate disjunctive correctness Enayat, Ali Logic Primary 03F30, 03C62, Secondary 03F25 We present two new constructions of satisfaction/truth classes over models of PA (Peano Arithmetic) that provide a foil to the fact that the existence of a disjunctively correct full truth class over a model M of PA implies that Con(PA) holds in M. |
| title | Satisfaction classes with approximate disjunctive correctness |
| topic | Logic Primary 03F30, 03C62, Secondary 03F25 |
| url | https://arxiv.org/abs/2308.07463 |