The formal verification of the ctm approach to forcing
Article in Annals of Pure and Applied Logic (May 2024)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Article in Annals of Pure and Applied Logic (May 2024)
Article in Mathematics (May 2021)
Book chapter (January 2017)