๐ 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...
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...
