2 ms·
Would the odd end even numbers not both be classified as Ma by f_0 and therefore violate the first condition?
by danbruc 4y ago
Would the odd end even numbers not both be classified as Ma by f_0 and therefore violate the first condition?
- afiori 4y agoI made a mistake in the definition of f_0, here is the correct version: f_0(A) = Mi if and only if |A| ∈ N f_0(A) = Ma if and only if |A'| ∈ N f_0(A) = Un if and only if |A| = ∞ ∧ |A'| = ∞ I mixed up the concept of infinite and cofinite in my previous comment, oops. Actually I just realized that an even simpler example of a function satisfying the conditions would be f_1(A) = Un for all A, which is also the global minimum of the entire set.