Switch to: References

Add citations

You must login to add citations.
  1. The lindenbaum fixed point algebra is undecidable.V. Yu Shavrukov - 1991 - Studia Logica 50 (1):143-147.
    We prove that the first order theory of the fixed point algebra corresponding to an r.e. consistent theory containing arithmetic is hereditarily undecidable.
    Download  
     
    Export citation  
     
    Bookmark