Switch to: Citations

Add references

You must login to add references.
  1. Fixed-point extensions of first-order logic.Yuri Gurevich & Saharon Shelah - 1986 - Annals of Pure and Applied Logic 32:265-280.
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • (2 other versions)Elementary Induction on Abstract Structures.Wayne Richter - 1979 - Journal of Symbolic Logic 44 (1):124-125.
    Download  
     
    Export citation  
     
    Bookmark   64 citations  
  • (1 other version)Finite Model Theory.Heinz-Dieter Ebbinghaus & Jörg Flum - 2001 - Studia Logica 69 (3):449-449.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • Elementary induction on abstract structures.Yiannis Nicholas Moschovakis - 1974 - Mineola, N.Y.: Dover Publications.
    Hailed by the Bulletin of the American Mathematical Society as "easy to use and a pleasure to read," this research monograph is recommended for students and professionals interested in model theory and definability theory. The sole prerequisite is a familiarity with the basics of logic, model theory, and set theory. 1974 edition.
    Download  
     
    Export citation  
     
    Bookmark   81 citations  
  • Descriptive Set Theory.Yiannis Nicholas Moschovakis - 1982 - Studia Logica 41 (4):429-430.
    Download  
     
    Export citation  
     
    Bookmark   161 citations