𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Additional isospin-breaking effects in ϵ′/ϵ

✍ Scribed by S. Gardner; G. Valencia

Book ID
108440466
Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
90 KB
Volume
466
Category
Article
ISSN
0370-2693

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Addition to “Cut Elimination in ϵ-Cal
An Addition to “Cut Elimination in ϵ-Calculi”
✍ Mitsuru Yasuhara 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 88 KB

A(s) -+ A(&zA(z)), ## HE^) Vz(A(z) ++ B ( z ) ) 4 KIA(%) = ~y B ( y ) . It was pointed out in [3] that HE^) makes this calculus non-conservative over the equality-free part. Namely, some formulas that do not contain equality can be proved only with the help of ( H e 2 ) (cf. also [Z], pp. 83, 84.