Fragments of Kripke-Platek set theory and the metamathematics of $$\alpha $$ -recursion theory.
| Autor: | Friedman, Sy-David1 sdf@logic.univie.ac.at, Li, Wei1 wei.li@univie.ac.at, Wong, Tin1 tin.lok.wong@univie.ac.at |
|---|---|
| Zdroj: | Archive for Mathematical Logic. Nov2016, Vol. 55 Issue 7/8, p899-924. 26p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|