Carl Mummert

Publications

• An incompleteness theorem for models.
  Carl Mummert and Stephen Simpson.
  Journal of Symbolic Logic v. 29 n. 2, 2004, pp. 612-616.
  Preprint: ps pdf
• On the Reverse Mathematics of General Topology.
  PhD thesis, Penn State, 2005.
  Download: pdf
• Reverse Mathematics and comprehension.
  Carl Mummert and Stephen G. Simpson.
  Bulletin of Symbolic Logic v. 11 n. 4, 2005, pp. 526-533.
  Preprint: ps pdf
• Reverse mathematics of MF spaces.
  Carl Mummert.
  Journal of Mathematical Logic v. 6 n. 2, 2007, p. 203-232.
  Preprint: ps pdf
• Filters on computable posets.
  Steffen Lempp and Carl Mummert.
  Notre Dame Journal of Formal Logic, v. 47 n. 4, 2006, p. 479-485.
  Preprint: ps pdf
• Subsystems of second-order arithmetic between WKL0 and RCA0.
  Carl Mummert.
  Accepted for publication, Archive for Mathematical Logic.
  Preprint: ps pdf
• Finite Fields and Applications Gary Mullen and Carl Mummert
  AMS Student Mathematical Library v. 41, 2007. 175 pages.

Return to my home page.