Futurama is one of the best science fiction TV shows of all time and unsurprisingly relies heavily on math. First, no matter how many times it gets canceled, it seems to adjust the numbers and pop ...
Working within weak subsystems of second-order arithmetic Z2 we consider two versions of the Baire Category theorem which are not equivalent over the base system RCA0. We show that one version ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback