Keita Yokoyama

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
j8		Stephen G. Simpson, Keita Yokoyama: Reverse mathematics and Peano categoricity. Ann. Pure Appl. Logic 164(3): 284-293 (2013)
j7		Keita Yokoyama: On the strength of Ramsey's theorem without Σ₁-induction. Math. Log. Q. 59(1-2): 108-111 (2013)
	2012
j6		Sam Sanders, Keita Yokoyama: The Dirac delta function in two settings of Reverse Mathematics. Arch. Math. Log. 51(1-2): 99-121 (2012)
	2011
j5		Stephen G. Simpson, Keita Yokoyama: A Nonstandard Counterpart of WWKL. Notre Dame Journal of Formal Logic 52(3): 229-243 (2011)
	2010
j4		Keita Yokoyama: Formalizing non-standard arguments in second-order arithmetic. J. Symb. Log. 75(4): 1199-1210 (2010)
	2007
j3		Keita Yokoyama: Complex analysis in subsystems of second order arithmetic. Arch. Math. Log. 46(1): 15-35 (2007)
j2		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)
j1		Keita Yokoyama: Non-standard analysis in ACA₀ and Riemann mapping theorem. Math. Log. Q. 53(2): 132-146 (2007)

Coauthor Index

Last update Sat May 25 12:30:03 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page