A new proof of Funayama's theorem
Funayama proved that a lattice embeds into a complete Boolean algebra in such a way that all existing joins and meets are preserved if and only if the lattice satisfies the join-infinite and meet-infinite distributive laws. There are several proofs of this classic result in the literature. In this note, we provide a new and purely order-theoretic proof of Funayama's theorem, as well as of generalizations of the theorem.
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2603.23464
curl -X POST /api/v1/records/arxiv/2603.23464/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.23464/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'