š Tarski Fixed-Point Theorem ā Generalized
A lattice (L, ā¤) has a fixed point for every monotone f:LāL iff L is complete. Upper bound recently improved to 46 in a new arXiv paper.
@CihanPostsThms.bsky.social
arXiv: https://arxiv.org/abs/2409.15709
Tweet: https://x.com/CihanPosts...
Bluesky post by @jlake9.bsky.social
