display all the ideas for this combination of texts
3 ideas
17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
19110 | In classical logic the relation |= has Monotony built into its definition [Antonelli] |
19112 | Cautious Monotony ignores proved additions; Rational Monotony fails if the addition's negation is proved [Antonelli] |