Uniform versions of some axioms of second order arithmetic.
| Autor: | Sakamoto, Nobuyuki1 s99m15@math.tohoku.ac.jp, Yamazaki, Takeshi2 yamazaki@mi.cias.osakafu-u.ac.jp |
|---|---|
| Zdroj: | Mathematical Logic Quarterly. Nov2004, Vol. 50 Issue 6, p587-593. 7p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|