𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Conjugate points of the causal geodesics of Gödel's cosmological model

✍ Scribed by V. I. Denisov


Publisher
Springer US
Year
1991
Tongue
English
Weight
552 KB
Volume
54
Category
Article
ISSN
1573-8795

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


The simple substitution property of Göde
✍ Katsumi Sasaki 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 480 KB

The simple substitution property provides a systematic and easy method for proving a theorem from the additional axioms of intermediate propositional logics. There have been known only four intermediate logics that have the additional axioms with the property. In this paper, we reformulate the many