Hacker News new | ask | show | jobs
by YorkshireSeason 2885 days ago
Are they for full LL or just small fragments (like MALL)? And what kind of completeness properties are known to hold or not to hold for those models?