I was wondering if a useful thing to add to the settings would be an option that would require some verifier and some falsifier to not be a world (or alternatively, require that every verifier and every falsifier not be a world—this would make them more true to the intuition of them being exact verifiers and not worlds strictly speaking). Beginning to interpret some of the sentences of the pset I think this may help, but given you (naturally) have much more experience in your CF system I was wondering what you thought.
I was wondering if a useful thing to add to the settings would be an option that would require some verifier and some falsifier to not be a world (or alternatively, require that every verifier and every falsifier not be a world—this would make them more true to the intuition of them being exact verifiers and not worlds strictly speaking). Beginning to interpret some of the sentences of the pset I think this may help, but given you (naturally) have much more experience in your CF system I was wondering what you thought.