Dev Kumar Roy

Publication Activity (10 Years)

Years Active: 1983-2003
Publications (10 Years): 0

Publications

Dev Kumar Roy
The shortest definition of a number in Peano arithmetic. Math. Log. Q. 49 (1) (2003)
Dev Kumar Roy
On Berry's paradox and nondiagonal constructions. Complex. 4 (3) (1999)
Dev Kumar Roy
Recursive versus recursively enumerable binary relations. Stud Logica 52 (4) (1993)
Dev Kumar Roy
Effective extensions of partial orders. Math. Log. Q. 36 (3) (1990)
Dev Kumar Roy, Richard Watnick
Finite condensations of recursive linear orders. Stud Logica 47 (4) (1988)
Dev Kumar Roy
Linear Order Types of Nonrecursive Presentability. Math. Log. Q. 31 (31-34) (1985)
Dev Kumar Roy
R.E. Presented Linear Orders. J. Symb. Log. 48 (2) (1983)