✦ LIBER ✦

First-order systems: duality and completeness

✍ Scribed by Kauderer, Mark

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Duality covariant non-BPS first order sy

✍ Guillaume Bossard, Stefanos Katmadas 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 540 KB

First order completeness theorems

✍ John J. Wavrik 📂 Article 📅 1973 🏛 Springer 🌐 English ⚖ 905 KB

First-order logical duality

✍ Steve Awodey; Henrik Forssell 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 440 KB

Intuitionistic completeness of first-ord

✍ Constable, Robert; Bickford, Mark 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 521 KB

On the completeness of the root vectors

✍ M. M. Malamud; L. L. Oridoroga 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 246 KB

Order Completeness and Topological Compl

✍ Wright, J. D. M. 📂 Article 📅 1969 🏛 Oxford University Press 🌐 English ⚖ 96 KB