Switch to: Citations

Add references

You must login to add references.
  1. Modest Theory of Short Chains. II.Yuri Gurevich & Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (4):491-502.
    We analyse here the monadic theory of the rational order, the monadic theory of the real line with quantification over "small" subsets and models of these theories. We prove that the results are in some sense the best possible.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Undecidability of Some Topological Theories.Andrzej Grzegorczyk - 1953 - Journal of Symbolic Logic 18 (1):73-74.
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Decidability of Second-Order Theories and Automata on Infinite Trees.[author unknown] - 1972 - Journal of Symbolic Logic 37 (3):618-619.
    Direct download  
     
    Export citation  
     
    Bookmark   45 citations