Concepedia

Kenneth Kunen

KK

69

Publications

3.4K

Citations

30

H-Index

1968

Active since

Affiliations

University of Wisconsin–Madison(Current)

The University of Texas at Austin

Kenneth Kunen is an author at University of Wisconsin–Madison specializing in functional analysis, discrete mathematics, and engineering.

Top concepts

Functional AnalysisDiscrete MathematicsEngineeringAutomated ReasoningComputer ScienceGeometric Group TheoryInvariant MeasuresLanguageEducationSemantics

Publications per year

1968–2016

69

Publications

69

Negation in logic programming

Kenneth Kunen · The Journal of Logic Programming · 1987 · 441 citations

Non-classical Logic, Engineering, Automated Reasoning +5

Some applications of iterated ultrapowers in set theory

Kenneth Kunen · Annals of Mathematical Logic · 1970 · 255 citations

Iterated Ultrapowers, Extremal Set Theory, Model Theory

Elementary embeddings and infinitary combinatorics

Kenneth Kunen · Journal of Symbolic Logic · 1971 · 196 citations

Combinatorics On Word, Elementary Embeddings, Transitive Submodel +4

Signed data dependencies in logic programs

Kenneth Kunen · The Journal of Logic Programming · 1989 · 181 citations

Applied Logic, Formal Specification, Engineering +9

Ultrafilters and independent sets

Kenneth Kunen · Transactions of the American Mathematical Society · 1972 · 131 citations · Full text

Generalized Continuum Hypothesis, Independent Functions, Extremal Set Theory +4

Rows per page

1–5 of 69