Carl Mummert

List of publications from the DBLP Bibliography Server - FAQ

2008

2 EE Carl Mummert: Subsystems of second-order arithmetic between RCA₀ and WKL₀. Arch. Math. Log. 47(3): 205-210 (2008)

2005

1 EE Carl Mummert, Stephen G. Simpson: Reverse mathematics and pi¹₂ comprehension. Bulletin of Symbolic Logic 11(4): 526-533 (2005)

2008
2	EE	Carl Mummert: Subsystems of second-order arithmetic between RCA₀ and WKL₀. Arch. Math. Log. 47(3): 205-210 (2008)
2005
1	EE	Carl Mummert, Stephen G. Simpson: Reverse mathematics and pi¹₂ comprehension. Bulletin of Symbolic Logic 11(4): 526-533 (2005)

Coauthor Index