Jussi Ketonen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A decision procedure revisited: Notes on direct logic, linear logic and its implementation Theoretical Computer Science	1992-06-28	Paper
A decidable fragment of predicate calculus Theoretical Computer Science	1984-01-01	Paper
Rapidly growing Ramsey functions Annals of Mathematics. Second Series	1981-01-01	Paper
Some combinatorial properties of ultrafilters Fundamenta Mathematicae	1980-01-01	Paper
scientific article; zbMATH DE number 3618138 (Why is no real title available?)	1979-01-01	Paper
The structure of countable Boolean algebras Annals of Mathematics. Second Series	1978-01-01	Paper
On the existence of P-points in the Stone-Čech compactification of integers Fundamenta Mathematicae	1976-01-01	Paper
Nonregular Ultrafilters and Large Cardinals	1976-01-01	Paper
Banach spaces and large cardinals Fundamenta Mathematicae	1974-01-01	Paper
Regularity of ultrafilters Israel Journal of Mathematics	1974-01-01	Paper
Some Combinatorial Principles	1974-01-01	Paper
Ultrafilters over measurable cardinals Fundamenta Mathematicae	1973-01-01	Paper
Strong compactness and other cardinal sins Annals of Mathematical Logic	1972-01-01	Paper
On nonregular ultrafilters Journal of Symbolic Logic	1972-01-01	Paper

Research outcomes over time

This page was built for person: Jussi Ketonen