Open karv opened 9 years ago
I agree that this would be useful, but am not quite sure how to extend the current data model to fit it. A separate Trait table for each axiom set? Traits with truth values of the form { "CH" => true, "ZFC" => unknown }? Certainly something I'll be mulling over, but I'm unlikely to do much work on this feature in the short term unless someone has some insight on how best to proceed.
On Wed, Nov 12, 2014 at 4:33 PM, karv notifications@github.com wrote:
There are many consistency and independence results in topology. For example: "The irrationals cannot be covered by less than c compact subsets." Maybe it could be a good idea to implement a way to search spaces with some property relative to a set of axioms? Adding search like {[CH] and: ["zero dimensiotal", perfect, "completely metrizable", "omega_1 compact]} would find \omega^\omega; but {[MA(omega_1)] and: ["zero dimensiotal", perfect, "completely metrizable", "omega_1 compact]} don't.? (With \omega_1 i mean its union of \omega_1 compact subsets.)
— Reply to this email directly or view it on GitHub https://github.com/jamesdabbs/pi-base.hs/issues/49.
There are many consistency and independence results in topology. For example: "The irrationals cannot be covered by less than c compact subsets." Maybe it could be a good idea to implement a way to search spaces with some property relative to a set of axioms? Adding search like {[CH] and: ["zero dimensiotal", perfect, "completely metrizable", "omega_1 compact]} would find \omega^\omega; but {[MA(omega_1)] and: ["zero dimensiotal", perfect, "completely metrizable", "omega_1 compact]} don't.? (With \omega_1 i mean its union of \omega_1 compact subsets.)