✦ LIBER ✦

The problem of the formalization of constructive topology

✍ Scribed by Silvio Valentini

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Constructive formalization of the Tennen

✍ V. E. Plisko 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 518 KB

On the formal points of the formal topol

✍ Silvio Valentini 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 124 KB

On the constructive orbit problem

✍ Alastair F. Donaldson; Alice Miller 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 633 KB

The formal dimension of a topological sp

✍ Yves Felix; Jean-Claude Thomas 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 French ⚖ 160 KB

The structure of constructions in formal

✍ V.A. Vasil'ev 📂 Article 📅 1966 🏛 Elsevier Science ⚖ 628 KB

A FORMAL CONSTRUCTION OF THE SPACETIME M

✍ Thomas Benda 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 331 KB