STATUS
reviewed
approved
reviewed
approved
proposed
reviewed
editing
proposed
Apoloniusz Tyszka, <a href="https://philarchive.org/archive/TYSDASv56">On ZFC-formulae phi(x) for which we know a non-negative integer n such that max({x, element of N, phi(x)}) <= n if the set {x, element of N, phi(x)} is finite</a>, 2019.
approved
editing
reviewed
approved
proposed
reviewed
editing
proposed
Apoloniusz Tyszka, <a href="https://doi.org/10.13140/RG.2.2.28996.68486">On sets X, subset of N, whose finiteness implies that we know an algorithm which for every n, element of N, decides the inequality max (X) < n</a>, (2019).
approved
editing
proposed
approved
editing
proposed