Left examples have the keyword "+countablyinfinite" on the OEBP.
Right examples have the keyword "+uncountable" on the OEBP.
⠀
All possible left examples for the BPs on the left side of this problem could be generated by a finite algorithm. Right examples here are Problems for which no such algorithm can exist. |