Switch to: References

Add citations

You must login to add citations.
  1. Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • European Summer Meeting of the Association for Symbolic Logic.W. Obserschelp, B. Schinzel, W. Thomas & M. M. Richter - 1985 - Journal of Symbolic Logic 50 (1):259-283.
    Download  
     
    Export citation  
     
    Bookmark  
  • Some More Remarks on Expandability of Initial Segments.Roman Murawski - 1986 - Mathematical Logic Quarterly 32 (25-30):445-450.
    Download  
     
    Export citation  
     
    Bookmark  
  • On expandability of models of Peano arithmetic. III.Roman Murawski - 1977 - Studia Logica 36 (3):181-188.
    Already after sending the first two parts of this paper ([5], [6]) to the editor, two new results on the subject have appeared — namely the results of G. Wilmers and Z. Ratajczyk. So for the sake of completeness let us review them here.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Meeting of the Association for Symbolic Logic Florence, Italy 1982. E. Casari, E. J. Fenstad, G. Lolli, G. Longo, A. Marcja & D. van Dalen - 1984 - Journal of Symbolic Logic 49 (2):683 - 710.
    Download  
     
    Export citation  
     
    Bookmark  
  • European meeting of the association for symbolic logic, mons, belgium, 1978.M. Boffa & P. Henrard - 1980 - Journal of Symbolic Logic 45 (2):386-414.
    Download  
     
    Export citation  
     
    Bookmark