Content deleted Content added
→SO(LFP): re |
→SO(LFP): Reply |
||
Line 31:
: You might consider emailing Immerman directly -- I emailed him a couple years ago about FO(REGULAR) and he was kind enough to explain the definition directly to me :) By the way, good work on the article so far, it's looking much improved. Lead probably needs a rewrite to be more accessible, I will try to take a pass sometime if I get some free time for it. [[User:Caleb Stanford|Caleb Stanford]] ([[User talk:Caleb Stanford|talk]]) 22:19, 15 February 2022 (UTC)
::Thank you very much for your suggestion, and your kind words! Any improvements to the lead (or elsewhere) would be highly appreciated {{ndash}} I just tried to rearrange, smooth out and verify what was there already, and I am sure one can do better at several places.
::In fact, I will hopefully be attending an algorithmic and finite model theory workshop in March, so I could also use this puzzle for some breaktime discussion :). [[User:Felix QW|Felix QW]] ([[User talk:Felix QW|talk]]) 22:53, 15 February 2022 (UTC)
| |||