𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Closed Formula for the Riemann Normal Coordinate Expansion

✍ Scribed by Uwe Muller; Christian Schubert; Anton E. M. van de Ven


Book ID
111567702
Publisher
Springer US
Year
1999
Tongue
English
Weight
127 KB
Volume
31
Category
Article
ISSN
0001-7701

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A note on the normal form of closed form
✍ Petr HΓ‘jek; VΓ­tΔ›zslav Ε vejdar πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 183 KB

Each dosed (i.e. variable f~ee) formula of interpretability logic is equivalent in ILF to a dosed formula of the provability logic G, thus to a Boolean combination of formulas of the form D ~ 3-. 1. Introduction. G stands for provability logic, i.e. for the modal propositional calculus whose axioms