Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Kenneth Kunen

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j24]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/order/Kunen12
- ask others
Kenneth Kunen: Forcing and Differentiable Functions. Order 29(2): 293-310 (2012)
[j23]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/order/KunenLS12
- ask others
Kenneth Kunen, Jean A. Larson, Juris Steprans: Continuous Maps on Aronszajn Trees. Order 29(2): 311-316 (2012)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j22]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/KunenR09
- ask others
Kenneth Kunen, Dilip Raghavan: Gregory trees, the continuum, and Martin's axiom. J. Symb. Log. 74(2): 712-720 (2009)
2000
[j21]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/KunenT00
- ask others
Kenneth Kunen, Franklin D. Tall: The Real Line in Elementary Submodels of Set Theory. J. Symb. Log. 65(2): 683-691 (2000)

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1998
[j20]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/Kunen98
- ask others
Kenneth Kunen: Nonconstructive Computational Mathematics. J. Autom. Reasoning 21(1): 69-97 (1998)
1996
[j19]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/Kunen96
- ask others
Kenneth Kunen: The Semantics of Answer Literals. J. Autom. Reasoning 17(1): 83-95 (1996)
1995
[j18]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/HartK95
- ask others
Joan Hart, Kenneth Kunen: Single Axioms for Odd Exponent Groups. J. Autom. Reasoning 14(3): 383-412 (1995)
[j17]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/Kunen95
- ask others
Kenneth Kunen: A Ramsey Theorem in Boyer-Moore Logic. J. Autom. Reasoning 15(2): 217-235 (1995)
1992
[j16]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cc/GoldsmithHK92
- ask others
Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen: Polynomial-Time Compression. Computational Complexity 2: 18-39 (1992)
[j15]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jar/Kunen92
- ask others
Kenneth Kunen: Single Axioms for Groups. J. Autom. Reasoning 9(3): 291-308 (1992)
1991
[j14]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/eatcs/Kunen91
- ask others
Kenneth Kunen: Declarative Semantics of Logic Programming. Bulletin of the EATCS 44: 147-167 (1991)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fsttcs/GoldsmithHK91
- ask others
Judy Goldsmith, Lane A. Hemachandra, Kenneth Kunen: On the Structure and Complexity of Infinite Sets with Minimal Perfect Hash Functions. FSTTCS 1991: 212-223

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[j13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Kunen89
- ask others
Kenneth Kunen: Signed Data Dependencies in Logic Programs. J. Log. Program. 7(3): 231-245 (1989)
[j12]
- view
  - electronic edition @ projecteuclid.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/KeislerKML89
- ask others
H. Jerome Keisler, Kenneth Kunen, Arnold W. Miller, Steven C. Leth: Descriptive Set Theory Over Hyperfinite Sets. J. Symb. Log. 54(4): 1167-1180 (1989)
1988
[j11]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Kunen88
- ask others
Kenneth Kunen: Where Ma First Fails. J. Symb. Log. 53(2): 429-433 (1988)
[c2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/Kunen88
- ask others
Kenneth Kunen: Some Remarks on the Completed Database. ICLP/SLP 1988: 978-992
1987
[j10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Kunen87
- ask others
Kenneth Kunen: Negation in Logic Programming. J. Log. Program. 4(4): 289-308 (1987)
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/iclp/Kunen87
- ask others
Kenneth Kunen: Answer Sets and Negation-as-Failure. ICLP 1987: 219-228
1985
[j9]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/ai/BledsoeKS85
- ask others
W. W. Bledsoe, Kenneth Kunen, Robert E. Shostak: Completeness Results for Inequality Provers. Artif. Intell. 27(3): 255-288 (1985)
1984
[j8]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/CarlsonKM84
- ask others
Tim Carlson, Kenneth Kunen, Arnold W. Miller: A Minimal Degree Which Collapses omega₁. J. Symb. Log. 49(1): 298-300 (1984)
1983
[j7]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/KunenP83
- ask others
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): 475-481 (1983)

1970 – 1979

see FAQ

What is the meaning of the colors in the publication list?

1979
[j6]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/AddisonBKKM79
- ask others
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): 469-480 (1979)
1978
[j5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Kunen78
- ask others
Kenneth Kunen: Saturated Ideals. J. Symb. Log. 43(1): 65-76 (1978)
[j4]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/BarwiseKU78
- ask others
Jon Barwise, Kenneth Kunen, Joseph S. Ullian: Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. J. Symb. Log. 43(2): 365-372 (1978)
1971
[j3]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Kunen71
- ask others
Kenneth Kunen: Elementary Embeddings and Infinitary Combinatorics. J. Symb. Log. 36(3): 407-413 (1971)
[j2]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/KunenP71
- ask others
Kenneth Kunen, Karel Prikry: On Descendingly Incomplete Ultrafilters. J. Symb. Log. 36(4): 650-652 (1971)

1960 – 1969

see FAQ

What is the meaning of the colors in the publication list?

1968
[j1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jsyml/Kunen68
- ask others
Kenneth Kunen: Implicit Definability and Infinitary Languages. J. Symb. Log. 33(3): 446-451 (1968)