Talk:Birkhoff's representation theorem
 | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
That article links to this one, and I think it would be helpful if the links ran in both directions?
I wonder also what the history is here. The articles say both concepts were introduced in 1937 papers. Did one sight the other, or both growing out of same milieu? — Preceding unsigned comment added by Sonarpulse (talk • contribs) 00:10, 6 December 2021 (UTC)
proof unfinished: In order to prove isomorphism, you also need to show join and meet are preserved, not just bijection. — Preceding unsigned comment added by 201.170.160.42 (talk) 03:15, 3 May 2022 (UTC)
- It's obviously order-preserving, from which join and meet are automatic. —David Eppstein (talk) 05:52, 3 May 2022 (UTC)