Jussi Ketonen

Jussi Antero Ketonen (s. 1952) on suomalaissyntyinen Yhdysvalloissa asuva matemaatikko. Hän asuu nykyisin Palo Altossa Kaliforniassa. Hän on nuorin tohtoriksi väitellyt suomalaissyntyinen henkilö.

Ketosen vanhemmat ovat professori Oiva Ketonen ja maisteri Sirkka Elina Munter.

Ketonen valmistui filosofian kandidaatiksi Åbo Akademista 15-vuotiaana vuonna 1968. Hän väitteli vuonna 1971 19-vuotiaana tohtoriksi Wisconsinin yliopistossa. Väitöskirjan nimi oli Everything You Wanted to Know About Ultrafilters But Were Afraid to Ask.

Ketonen on ollut naimisissa vuodesta 1973 yhdysvaltalaisen kirjailijan Rachel Lodenin (s. 1948) kanssa.

• Strong compactness and other cardinal sins, Ann. Math. Logic 5, 47-76, 1972
• Banach spaces and large cardinals. Fundamenta Mathematicae, 81:291{303), 1974
• Miroslav Benda and Jussi Ketonen : On regularity of ultrafilters. Israel J. Math. 17, 231-240, 1974
• On the existence of P-points in the Stone-Cech compactification of integers. Fundamenta Mathematicae, 92:91–94, 1976
• The structure of countable Boolean algebras. Annals of Mathematics 108 (1): 41–89, 1978
• Efficient theorem proving in set theory. In P. Suppes (Ed.), University-level computer-assisted instruction at Stanford: 1968-1980. Stanford University, Institute for Mathematical Studies in the Social Sciences,1981
• Jussi Ketonen and Robert M. Solovay : Rapidly growing Ramsey functions. Annals of. Mathematics, 113(2):267–314, 1981
• Jussi Kctonen and Joseph S. Weening : The Language of an Interactive Proof Check. Department of Computer Science, Stanford University, Report No. STAN-E-83-992, Decembcr 1983 (Pdf-tiedostona)
• Gianluigi Bellin and Jussi Ketonen : A decision procedure revisited : Notes on direct logic, linear logic and its implementation. Theoretical Computer Science 95 : 115-142, 1992 (Pdf-tiedostona)
• On a decidable fragment of predicate calculus. (Pdf-tiedostona)