Keita Yokoyama

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

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

2 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 Keita Yokoyama: Non-standard analysis in ACA₀ and Riemann mapping theorem. Math. Log. Q. 53(2): 132-146 (2007)

	2007
3		Keita Yokoyama: Complex analysis in subsystems of second order arithmetic. Arch. Math. Log. 46(1): 15-35 (2007)
2		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		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]