Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

Katarina Wennstam

Jumbo

Kurt Gödel, Kurt Godel, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Robert M. Solovay, USA) Feferman, Solomon (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, USA) Goldfarb, Warren (Professor, Professor, Harvard University, USA) Parsons, Charles (Professor, Professor, Harvard University, USA) Solovay, Robert M. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, S. Feferman

Sally Rooney

Martin Kragh

Kurt Gödel, Kurt Godel, Kurt G. Del, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman

Kurt Gödel, Kurt Godel, S. Feferman, John W. Dawson, Jr., Stephen C. Kleene, G. Moore, R. Solovay, Jean van Heijenoort, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Canada) Kleene, Stephen C. (Emeritus Professor of Mathematics and Computer Science, Emeritus Professor of Mathematics and Computer Science, University of Wisconsin, Canada) Moore, G. (, McMaster University, Ontario, USA) Solovay, R. (Professor of Mathematics, Professor of Mathematics, University of California, Berkeley, Solomon Feferman

Kurt Gödel, Kurt Godel, Kurt G?del, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, Wilfried Sieg, USA) Feferman, S. (Professor of Mathematics, Professor of Mathematics, Stanford University, USA) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Pennsylvania State University, Solomon Feferman, John W Dawson, Wilfred Sieg

California) Barwise, J. (Stanford University, California) Feferman, S. (Stanford University, J. Barwise, S. Feferman

Kurt Gödel, Kurt Godel, Kurt G?del, S. Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, R. Solovay, Stanford University) Feferman, S. (Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences, Professor of Mathematics and Philosophy and the Patrick Suppes Family Professor of Humanities and Sciences, Pennsylvania State University) Dawson, Jr., John W. (Professor of Mathematics, Professor of Mathematics, Professor of Philosophy) Goldfarb, Warren (Professor of Philosophy, both of Harvard University) Parsons, Charles (Edgar Pierce Professor of Philosophy, Edgar Pierce Professor of Philosophy, Berkeley) Solovay, R. (Emeritus Professor of Mathematics, Emeritus Professor of Mathematics, University of California, Solomon Feferman