Decimal Goedelization of contingent WFFs (well-formed formulae) from propositional calculus, in Richard Schroeppel's metatheory of A101273. Truth value depends on truth value of variables, but is neither always true (theorem) nor always false (antitheorem).
1, 2, 11, 12, 21, 22, 31, 32, 111, 112, 121, 122, 141, 142, 152, 161, 162, 172, 182
2 seqfan posts
Fri Oct 9 08:35:24 CEST 2009 [seqfan] Re: Thank yous, context, and future directions in Decimial Goedelization of WFFs