The formal verification of the ctm approach to forcing
Article in Annals of Pure and Applied Logic (May 2024)
The most recent citing publication is shown below. View this citation on Dimensions.
Article in Annals of Pure and Applied Logic (May 2024)