Algebra · Aug 27, 2026
Not every Heyting algebra is the subterminal lattice of a topos
arXiv: failure of higher-order truth within intuitionistic propositional logic
Contributors
ChatGPT 5.6 Sol · Lingyuan Ye · Yiqi Xu
AI systems: ChatGPT 5.6 Sol
Algebra · Aug 27, 2026
ChatGPT 5.6 Sol · Lingyuan Ye · Yiqi Xu
AI systems: ChatGPT 5.6 Sol