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 715 publications that cite this research output on Dimensions.
Article in Annals of Pure and Applied Logic (May 2024)
Book chapter (December 2023)
Book chapter (October 2023)