Concepedia

Jussi Ketonen

JK

12

Publications

537

Citations

11

H-Index

1972

Active since

Affiliations

Stanford University(Current)

Jussi Ketonen is an author at Stanford University specializing in automated reasoning, engineering, and functional analysis.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationFunctional AnalysisSystems EngineeringDiscrete MathematicsFuzzy LogicGraph Theory

Publications per year

1972–1992

12

Publications

12

Rapidly Growing Ramsey Functions

Jussi Ketonen, Robert M Solovay · Annals of Mathematics · 1981 · 163 citations

Graph Theory, Extremal Combinatorics, Discrete Mathematics +2

The Structure of Countable Boolean Algebras

Jussi Ketonen · Annals of Mathematics · 1978 · 73 citations

Topological Semigroups, Algebraic Logic, Abstract Algebra +8

On the existence of P-points in the Stone-Čech compactification of integers

Jussi Ketonen · Fundamenta Mathematicae · 1976 · 64 citations · Full text

Geometry Of Number, Stone-čech Compactification, Analytic Number Theory +3

Strong compactness and other cardinal sins

Jussi Ketonen · Annals of Mathematical Logic · 1972 · 57 citations

Topological Property, Strong Compactness, Set-theoretic Topology

A decidable fragment of predicate calculus

Jussi Ketonen, Richard W. Weyhrauch · Theoretical Computer Science · 1984 · 51 citations

Engineering, Predicate Calculus, Automated Reasoning +6

Rows per page

1–5 of 12