A couple of days ago I wrote in my blog post that Emlightened's language is as strong as FOFT11, and less strong than FOFT. So it would appear that BIG FOFT is larger than Little Biggedon. Commenting here to receive some more attention. :) Deedlit11 (talk) 14:38, January 19, 2017 (UTC)
- The link to your blog post is not working, so here it is. 🐟 Fish fish fish ... 🐠 06:11, January 22, 2017 (UTC)
- Don't worry, that's what Big Bigeddon will be for. :P Also, I've had a look at your comparison, and agree that FOFT is stronger, but not that much stronger. (\(FOFT^1_\alpha\), I believe, is approximately equivalent to \(T(\cdot,\alpha,\cdot)\).) ~εmli 10:22, January 22, 2017 (UTC)