Quotients, pure existential completions and arithmetic universes
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913396067139584 |
|---|---|
| author | Maietti, Maria Emilia Trotta, Davide |
| author_facet | Maietti, Maria Emilia Trotta, Davide |
| contents | We provide a new description of Joyal's arithmetic universes through a characterization of the exact and regular completions of pure existential completions. We show that the regular and exact completions of the pure existential completion of an elementary doctrine $P$ are equivalent to the $\mathsf{reg}/\mathsf{lex}$ and $\mathsf{ex}/\mathsf{lex}$-completions, respectively, of the category of predicates of $P$. This result generalizes a previous one by the first author with F. Pasquali and G. Rosolini about doctrines equipped with Hilbert's $ε$-operators. Thanks to this characterization, each arithmetic universe in the sense of Joyal can be seen as the exact completion of the pure existential completion of the doctrine of predicates of its Skolem theory. In particular, the initial arithmetic universe in the standard category of ZFC-sets turns out to be the completion with exact quotients of the doctrine of recursively enumerable predicates. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2306_13610 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Quotients, pure existential completions and arithmetic universes Maietti, Maria Emilia Trotta, Davide Category Theory Logic 03G30, 18C10 We provide a new description of Joyal's arithmetic universes through a characterization of the exact and regular completions of pure existential completions. We show that the regular and exact completions of the pure existential completion of an elementary doctrine $P$ are equivalent to the $\mathsf{reg}/\mathsf{lex}$ and $\mathsf{ex}/\mathsf{lex}$-completions, respectively, of the category of predicates of $P$. This result generalizes a previous one by the first author with F. Pasquali and G. Rosolini about doctrines equipped with Hilbert's $ε$-operators. Thanks to this characterization, each arithmetic universe in the sense of Joyal can be seen as the exact completion of the pure existential completion of the doctrine of predicates of its Skolem theory. In particular, the initial arithmetic universe in the standard category of ZFC-sets turns out to be the completion with exact quotients of the doctrine of recursively enumerable predicates. |
| title | Quotients, pure existential completions and arithmetic universes |
| topic | Category Theory Logic 03G30, 18C10 |
| url | https://arxiv.org/abs/2306.13610 |