A NOTE ON PREDICATIVE ORDINAL ANALYSIS I : ITERATED COMPREHENSION AND TRANSFINITE INDUCTION
| Autor: | KENTARO, SATO |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 2019 Mar 01. 84(1), 226-265. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
| Autor: | KENTARO, SATO |
|---|---|
| Zdroj: | The Journal of Symbolic Logic, 2019 Mar 01. 84(1), 226-265. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|