Year: 2026
Type: preprint
Abstract: We answer the question whether all Heyting algebras can appear as the lattice of subterminal objects of an elementary topos in the negative. Concretely, we show that the free Heyting algebra on two generators, hence also on N generators for every N greater than 2, cannot be such a Heyting algebra. The mathematical results in this document were obtained with the help of ChatGPT 5.6 Sol, although the document itself was written entirely by us, and we take full responsibility for its contents.
Source: arXiv (Cornell University)
Authors: Xu, Yiqi, Ye, Lingyuan
Institution: University of Cambridge
Topic: Advanced Algebra and Logic
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7204520301
Cites:
Cited by:
Related to: