University of Calgary
Jump to Headline
Jump to Navigation
Jump to Content
Jump to Footer
RSS
Facebook
Twitter
Home
Prospective Students
Current Students
Alumni
Community
Faculty & Staff
Search UofC:
IT
My U of C
Contacts
Mathematics and Statistics
Department of Mathematics and Statistics at the Faculty of Science
Site Navigation
Home
Undergraduate
Graduate
Research
Community
News & Events
Contact
Contact
» James P. Jones
James P. Jones
Professor Emeritus - Mathematics & Statistics
+1 (403) 220-7225
MS 337
jpjones@ucalgary.ca
http://www.math.ucalgary.ca/~jpjones
Research Interests
Logic and Number Theory
Publications
Book
Jones, James P.
.
Diophantine representation of non-{F}ibonacci numbers
Kluwer Acad. Publ., 1993. 387-392.
Jones, James P.
and Matijasevich, Y. V.
.
Basis for the polynomial time computable functions
de Gruyter, 1990. 255-270.
Jones, James P.
.
Diophantine representation of {F}ibonacci numbers over natural numbers
Kluwer Acad. Publ., 1990. 197-201.
Jones, James P.
.
Basis for the {K}alm\'ar elementary functions
265. Kluwer Acad. Publ., 1989. 435-444.
Journal Paper
Jones, James P.
.
Representation of solutions of Pell equations using Lucas sequences
30. 2003. 75-86.
Jones, James P.
and Kiss, P
.
Representation of integers as terms of a linear recurrence with maximal index
25. 1998. 21-37 (1999).
Jones, James P.
and Kiss, P
.
Some new identities and congruences for {L}ucas sequences
18.1 1998. 39-47.
Jones, James P.
, Levitz, Hilbert and Nichols, Warren D.
.
On series of ordinals and combinatorics
43.1 1997. 121-133.
Jones, James P.
and Fraenkel, A. S.
.
Complexities of winning strategies in {D}iophantine games
11.4 1995. 435-455.
Jones, James P.
and Kiss, P
.
An asymptotic formula concerning {L}ehmer numbers
42.3-4 1993. 199-213.
Jones, James P.
and Kiss, P
.
On points whose coordinates are terms of a linear recurrence
31.3 1993. 239-245.
Jones, James P.
and Kiss, P.
.
Some {D}iophantine approximation results concerning linear recurrences
42.5 1992. 583-591.
Phong, Bui and
Jones, James P.
.
Quadratic residues and related problems
13. 1992. 149-155.
Jones, James P.
and Kiss, P.
.
Exponential {D}iophantine representation of binomial coefficients, factorials and {L}ucas sequences
12. 1992. 53-65 (1993).
Jones, James P.
and Kiss, P
.
Linear recursive sequences and power series
41.3-4 1992. 295-306.
Tsangaris, P. G. and
Jones, James P.
.
An old theorem on the {GCD} and its application to primes
30.3 1992. 194-198.
Jones, James P.
.
Computational complexity of computing winning strategies in polynomial games
8.1 1991. 1-5.
Jones, James P.
and Matijasevi{\v{c}}, Y. V.
.
Proof of recursive unsolvability of {H}ilbert's tenth problem
98.8 1991. 689-709.
Jones, James P.
, Levitz, H. and Wilkie, A. J.
.
Classification of quantifier prefixes over exponential {D}iophantine equations
32.5 1986. 399-406.
Jones, James P.
and Matijasevi{\v{c}}, Y. V.
.
Register machine proof of the theorem on exponential {D}iophantine representation of enumerable sets
49.3 1984. 818-829.
Jones, James P.
and Shepherdson, John C.
.
Variants of {R}obinson's essentially undecidable theory {${\rm R}$}
23.1-2 1983. 61-64.
Jones, James P.
and Matijasevi{\v{c}}, Ju. V.
.
Exponential {D}iophantine representation of recursively enumerable sets
107. 1982. 159-177.
Dyson, Verena H.,
Jones, James P.
and Shepherdson, John C.
.
Some {D}iophantine forms of {G}\"odel's theorem
22.1-2 1982. 51-60.
Jones, James P.
and Matijasevi{\v{c}}, Ju. V.
.
A new representation for the symmetric binomial coefficient and its applications
6.1 1982. 81-97.
Jones, James P.
.
Some undecidable determined games
11.2 1982. 63-70.
Jones, James P.
.
Universal {D}iophantine equation
47.3 1982. 549-571.
Jones, James P.
.
Classification of quantifier prefixes over {D}iophantine equations
27.5 1981. 403-410.
Jones, James P.
.
Undecidable {D}iophantine equations
3.2 1980. 859-862.
Jones, James P.
.
Diophantine representation of {M}ersenne and {F}ermat primes
35.3 1979. 209-221.
Jones, James P.
.
Three universal representations of recursively enumerable sets
43.2 1978. 335-351.
Jones, James P.
, Sato, Daihachiro , Wada, Hideo and Wiens, Douglas
.
Diophantine representation of the set of prime numbers
83.6 1976. 449-464.
Jones, James P.
.
Diophantine representation of the {L}ucas numbers
14.2 1976. 134.
Jones, James P.
.
Formula for the {$N$}th prime number
18.3 1975. 433-434.
Jones, James P.
.
Diophantine representation of the {F}ibonacci numbers
13. 1975. 84-88.
Jones, James P.
.
Recursive undecidability-an exposition
81. 1974. 724-738.
Jones, James P.
and Toporowski, S.
.
Irrational numbers
80. 1973. 423-424.
Jones, James P.
.
Independent recursive axiomatizability in arithmetic
23. 1969. 107-113.
Jones, James P.
.
Effectively retractable theories and degrees of undecidability
34. 1969. 597-604.
top
Powered by
UNITIS
.
More features
.
For Students
Directory of People
Course Listings
Mathematics Diagnostic Test
Textbook List
WebWork
Quick Links
About Us
UofC Emergency Plan
UofC Library
UofC Webmail
Sign In