Feb, 2023

理想集合与其过滤表示的逻辑

TL;DR通过界定一致好事物集合理论背后的逻辑,我们证明了这种确定性允许我们在更简单的模型中建立对于一致模型的各种表征结果。