This number is a prime.
Just showing those entries submitted by 'Post': (Click here to show all)
|Gus Lascar © 2003|
The smallest prime exponent in the size of the free cartesian closed category over 3 objects. 3^83 is thus an upper bound on the number of left-associated formulas in Michael O'Connor's "An Interesting Puzzle in Propositional Logic." [Post]