Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2306.13049 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Table of Contents:
- In this paper, we study the employment of $Σ_1$-sentences with certificates, i.e., $Σ_1$-sentences where a number of principles is added to ensure that the witness is sufficiently number-like. We develop certificates in some detail and illustrate their use by reproving some classical results and proving some new ones. An example of such a classical result is Vaught's theorem of the strong effective inseparability of $\mathsf{R}_0$. We also develop the new idea of a theory being ${\sf R}_{0{\sf p}}$-sourced. Using this notion, we can transfer a number of salient results from $\mathsf{R}_0$ to a variety of other theories.