Dev Kumar Roy

According to our database, Dev Kumar Roy authored at least 7 papers between 1983 and 2003.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2003

The shortest definition of a number in Peano arithmetic.

Dev Kumar Roy

Math. Log. Q., 2003

1999

On Berry's paradox and nondiagonal constructions.

Dev Kumar Roy

Complex., 1999

1993

Recursive versus recursively enumerable binary relations.

Dev Kumar Roy

Stud Logica, 1993

1990

Effective extensions of partial orders.

Dev Kumar Roy

Math. Log. Q., 1990

1988

Finite condensations of recursive linear orders.

Dev Kumar Roy, Richard Watnick

Stud Logica, 1988

1985

Linear Order Types of Nonrecursive Presentability.

Dev Kumar Roy

Math. Log. Q., 1985

1983

R.E. Presented Linear Orders.

Dev Kumar Roy

J. Symb. Log., 1983