Kenneth McAloon

Publication Activity (10 Years)

Years Active: 1982-1988
Publications (10 Years): 0

Publications

Nicolas D. Goodman, Harold T. Hodes, Carl G. Jockusch Jr., Kenneth McAloon
Annual Meeting of the Association for Symbolic Logic, New York City, December 1987. J. Symb. Log. 53 (4) (1988)
Akihiro Kanamori, Kenneth McAloon
On Gödel incompleteness and finite combinatorics. Ann. Pure Appl. Log. 33 (1987)
Peter Clote, Kenneth McAloon
Two Further Combinatorial Theorems Equivalent to the 1-Consistency of Peano Arithmetic. J. Symb. Log. 48 (4) (1983)
Kenneth McAloon
On the Complexity of Models of Arithmetic. J. Symb. Log. 47 (2) (1982)