since infinitely many theories will be in the set of possible A-theories (the A-set), this will be indefinitely complex, inductive rather than enumerative.
there has to be a resemblance between all members of a given set, e.g., the A-set, how can I hold it contingent and non-trivial whether A-theories are approximately true?
(CT supposedly shows that such a set is isolable from the total set of consequences.) The A-set might thus contain a 'Craigified' theory, Tc, making no claims about unobservables.
* Exhibitions- Cognizance has been a host to exhibitions from National Power Corporation of India Limited, Indian Army, Defense Research Development Organization, A-SET
Dancing Robots, Amar Sen Hand Shadowgraphy, 3D Street Art etc.