Switch to: Citations

References in:

Finite condensations of recursive linear orders

Dev K. Roy & Richard Watnick

Studia Logica 47 (4):311 - 317 (1988)

Add references

You must login to add references.

A generalization of tennenbaum's theorem on effectively finite recursive linear orderings.Richard Watnick - 1984 - Journal of Symbolic Logic 49 (2):563-569.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download (7 more) Export citation Bookmark 2 citations
R. e. presented linear orders.Dev Kumar Roy - 1983 - Journal of Symbolic Logic 48 (2):369-376.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 4 citations
Linear Order Types of Nonrecursive Presentability.Dev Kumar Roy - 1985 - Mathematical Logic Quarterly 31 (31-34):495-501.details Areas of Mathematics in Philosophy of Mathematics Direct download (2 more) Export citation Bookmark 2 citations
Linear Order Types of Nonrecursive Presentability.Dev Kumar Roy - 1985 - Mathematical Logic Quarterly 31 (31-34):495-501.details No categories Direct download (2 more) Export citation Bookmark 2 citations
Linear Orderings.Joseph G. Rosenstein - 1983 - Journal of Symbolic Logic 48 (4):1207-1209.details Logic and Philosophy of Logic Logic and Philosophy of Logic, Miscellaneous in Logic and Philosophy of Logic Direct download Export citation Bookmark 71 citations

1