Switch to: Citations

Add references

You must login to add references.
  1. Linear Orderings.Joseph G. Rosenstein - 1983 - Journal of Symbolic Logic 48 (4):1207-1209.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Recursive linear orders with recursive successivities.Michael Moses - 1984 - Annals of Pure and Applied Logic 27 (3):253-264.
    A successivity in a linear order is a pair of elements with no other elements between them. A recursive linear order with recursive successivities U is recursively categorical if every recursive linear order with recursive successivities isomorphic to U is in fact recursively isomorphic to U . We characterize those recursive linear orders with recursive successivities that are recursively categorical as precisely those with order type k 1 + g 1 + k 2 + g 2 +…+ g n -1 (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Elementary recursive quantifier elimination based on Thom encoding and sign determination.Daniel Perrucci & Marie-Françoise Roy - 2017 - Annals of Pure and Applied Logic 168 (8):1588-1604.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Relations Intrinsically Recursive in Linear Orders.Michael Moses - 1986 - Mathematical Logic Quarterly 32 (25-30):467-472.
    Download  
     
    Export citation  
     
    Bookmark   9 citations