of formal theories such that there are consistent extensions of these theories with each Si + 1 is cointerpretable in Si. Cotolerance naturally generalizes from sequences of theories to trees of theories.
This concept, together with its dual concept of tolerance, was introduced by Japaridze (http://www.csc.villanova.edu/~japaridz/) in 1992, who also proved that, for Peano arithmetic and any stronger theories with effective axiomatizations, tolerance is equivalent to Σ1-consistency.
G.Japaridze (http://www.csc.villanova.edu/~japaridz/), The logic of linear tolerance. Studia Logica 51 (1992), pp. 249-277.
G.Japaridze (http://www.csc.villanova.edu/~japaridz/study.html), A generalized notion of weak interpretability and the corresponding logic. Annals of Pure and Applied Logic 61 (1993), pp. 113-160.
G.Japaridze (http://www.csc.villanova.edu/~japaridz/study.html) and D. de Jongh, The logic of provability. Handbook of Proof Theory. S.Buss, ed. Elsevier, 1998, pp. 476-546.
We hypothesized that this population had developed adaptive Cu tolerance and was able to protect pine trees against Cu toxicity.
Cotolerance does not occur in the S. luteus isolates studied.
In a dose-response experiment, the Cu sensitivity of nonmycorrhizal Pinus sylvestris seedlings was compared to the sensitivity of mycorrhizal seedlings colonized either by a Cu-sensitive or Cu-tolerant S. luteus isolate.
Feeds |
Contact