3 ms·
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?
by YorkshireSeason 8y 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?