Switch to: References

Add citations

You must login to add citations.
  1. The Theory of $\kappa$ -like Models of Arithmetic.Richard Kaye - 1995 - Notre Dame Journal of Formal Logic 36 (4):547-559.
    A model is said to be -like if but for all , . In this paper, we shall study sentences true in -like models of arithmetic, especially in the cases when is singular. In particular, we identify axiom schemes true in such models which are particularly `natural' from a combinatorial or model-theoretic point of view and investigate the properties of models of these schemes.
    Download  
     
    Export citation  
     
    Bookmark   2 citations