Keita Yokoyama

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007

3 EE Keita Yokoyama: Complex analysis in subsystems of second order arithmetic. Arch. Math. Log. 46(1): 15-35 (2007)

2 EE Nobuyuki Sakamoto, Keita Yokoyama: The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. Arch. Math. Log. 46(5-6): 465-480 (2007)

1 EE Keita Yokoyama: Non-standard analysis in ACA₀ and Riemann mapping theorem. Math. Log. Q. 53(2): 132-146 (2007)

2007
3	EE	Keita Yokoyama: Complex analysis in subsystems of second order arithmetic. Arch. Math. Log. 46(1): 15-35 (2007)
2	EE	Nobuyuki Sakamoto, Keita Yokoyama: The Jordan curve theorem and the Schönflies theorem in weak second-order arithmetic. Arch. Math. Log. 46(5-6): 465-480 (2007)
1	EE	Keita Yokoyama: Non-standard analysis in ACA₀ and Riemann mapping theorem. Math. Log. Q. 53(2): 132-146 (2007)

Coauthor Index

1 Nobuyuki Sakamoto [2]