Concepedia

Kenneth Kunen

KK

Statistics

Publications

68

Citations

3.3K

H-Index

30

Active since

1968

Affiliations

University of Wisconsin–Madison(Current)

University of Wisconsin System

The University of Texas at Austin

Kenneth Kunen is an author at University of Wisconsin–Madison specializing in natural sciences, mathematics, and set theory.

Publications per year

1968–2016

68

Publications

68

Negation in logic programming

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

Computing, Computer Science, Artificial Intelligence +7

Some applications of iterated ultrapowers in set theory

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

Natural Sciences, Mathematics, Set Theory +9

Elementary embeddings and infinitary combinatorics

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

Natural Sciences, Mathematics, Combinatorics +10

Signed data dependencies in logic programs

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

Computing, Computer Engineering, Computer Science +13

Ultrafilters and independent sets

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

Natural Sciences, Mathematics, Discrete Mathematics +6

1–5 of 68