Kenneth Kunen

Publication Activity (10 Years)

Years Active: 1968-2012
Publications (10 Years): 0

Top Topics

Multiresolution

Mathematical Functions

Top Venues

Publications

Kenneth Kunen, Jean A. Larson, Juris Steprans
Continuous Maps on Aronszajn Trees. Order 29 (2) (2012)
Kenneth Kunen
Forcing and Differentiable Functions. Order 29 (2) (2012)
Kenneth Kunen, Dilip Raghavan
Gregory trees, the continuum, and Martin's axiom. J. Symb. Log. 74 (2) (2009)
Kenneth Kunen, Franklin D. Tall
The Real Line in Elementary Submodels of Set Theory. J. Symb. Log. 65 (2) (2000)
Kenneth Kunen
Nonconstructive Computational Mathematics. J. Autom. Reason. 21 (1) (1998)
Kenneth Kunen
The Semantics of Answer Literals. J. Autom. Reason. 17 (1) (1996)
Kenneth Kunen
A Ramsey Theorem in Boyer-Moore Logic. J. Autom. Reason. 15 (2) (1995)
Joan Hart, Kenneth Kunen
Single Axioms for Odd Exponent Groups. J. Autom. Reason. 14 (3) (1995)
Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen
Polynomial-Time Compression. Comput. Complex. 2 (1992)
Kenneth Kunen
Single Axioms for Groups. J. Autom. Reason. 9 (3) (1992)
Kenneth Kunen
Declarative Semantics of Logic Programming. Bull. EATCS 44 (1991)
Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen
On the Structure and Complexity of Infinite Sets with Minimal Perfect Hash Functions. FSTTCS (1991)
H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth
Descriptive Set Theory Over Hyperfinite Sets. J. Symb. Log. 54 (4) (1989)
Kenneth Kunen
Signed Data Dependencies in Logic Programs. J. Log. Program. 7 (3) (1989)
Kenneth Kunen
Some Remarks on the Completed Database. ICLP/SLP (1988)
Kenneth Kunen
Where Ma First Fails. J. Symb. Log. 53 (2) (1988)
Kenneth Kunen
Negation in Logic Programming. J. Log. Program. 4 (4) (1987)
Kenneth Kunen
Answer Sets and Negation-as-Failure. ICLP (1987)
W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak
Completeness Results for Inequality Provers. Artif. Intell. 27 (3) (1985)
Tim Carlson, Kenneth Kunen, Arnold W. Miller
. J. Symb. Log. 49 (1) (1984)
Kenneth Kunen, Donald H. Pelletier
On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals. J. Symb. Log. 48 (2) (1983)
John Addison, Jon Barwise, H. Jerome Keisler, Kenneth Kunen, Yiannis N. Moschovakis
The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. J. Symb. Log. 44 (3) (1979)
Kenneth Kunen
Saturated Ideals. J. Symb. Log. 43 (1) (1978)
Jon Barwise, Kenneth Kunen, Joseph S. Ullian
Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. J. Symb. Log. 43 (2) (1978)
Kenneth Kunen
Elementary Embeddings and Infinitary Combinatorics. J. Symb. Log. 36 (3) (1971)
Kenneth Kunen, Karel Prikry
On Descendingly Incomplete Ultrafilters. J. Symb. Log. 36 (4) (1971)
Kenneth Kunen
Implicit Definability and Infinitary Languages. J. Symb. Log. 33 (3) (1968)