James P. Jones

According to our database, James P. Jones authored at least 10 papers between 1969 and 1997.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

1997

On Series of Ordinals and Combinatorics.

James P. Jones, Hilbert Levitz, Warren D. Nichols

Math. Log. Q., 1997

1995

Complexities of Winning Strategies in Diophantine Games.

James P. Jones, Aviezri S. Fraenkel

J. Complex., 1995

1986

Classification of Quantifier Prefixes Over Exponential Diophantine Equations.

James P. Jones, Hilbert Levitz, A. J. Wilkie

Math. Log. Q., 1986

1984

Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets.

James P. Jones, Yuri V. Matijasevic

J. Symb. Log., 1984

1983

Variants of Robinson's essentially undecidable theory<i>R</i>.

James P. Jones, John C. Shepherdson

Arch. Math. Log., 1983

1982

Universal Diophantine Equation.

James P. Jones

J. Symb. Log., 1982

1981

Classification of Quantifier Prefixes Over Diophantine Equations.

James P. Jones

Math. Log. Q., 1981

1980

Some diophantine forms of gödel's theorem.

Verena H. Dyson, James P. Jones, John C. Shepherdson

Arch. Math. Log., 1980

1978

Three Universal Representations of Recursively Enumerable Sets.

James P. Jones

J. Symb. Log., 1978

1969

Effectively Retractable Theories and Degrees of Undecidability.

James P. Jones

J. Symb. Log., 1969