Switch to: References

Add citations

You must login to add citations.
  1. Bootstrapping, part I.Sedki Boughattas & J. -P. Ressayre - 2010 - Annals of Pure and Applied Logic 161 (4):511-533.
    We construct models of the integers, to yield: witnessing, independence and separation results for weak systems of bounded induction.
    Download  
     
    Export citation  
     
    Bookmark   4 citations