Switch to: References

Add citations

You must login to add citations.
  1. The formal verification of the ctm approach to forcing.Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf & Matías Steinberg - 2024 - Annals of Pure and Applied Logic 175 (5):103413.
    Download  
     
    Export citation  
     
    Bookmark