Searching map area
Y
Y
N
N
Y
Y
N
N
Destinations
Home
Map
Random
Lists
Rate Things
Swipe
Games
Explore
Everything
Film
TV
Music
Books
Games
People
Characters
Places
Food
Life
Ideas
Organizations
Schools
Posts
News
Memes
Flags
Papers
Art
Space
Chemistry
Technology
Events
Emoji
Instruments
Other
Account
Join YYNN
Sign in
Appearance
Light
Dark
Auto
Auto follows your device by default.
Home
Rate
Browse
Join
๐ 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...
All Ratings