✦ LIBER ✦

On the Modal Definability of Simulability by Finite Transitive Models

✍ Scribed by David Fernández Duque

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Finite element simulation of martensitic

✍ Jun-Yan Liu; Hao Lu; Jun-Mei Chen; Zhiliang Zhang 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 392 KB

On the Finite Model Property of Intuitio

✍ Takahito Aoto; Hiroyuki Shirasu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 816 KB

The question of definability in the simp

✍ V. P. Smolin 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 137 KB

On the stability of sets defined by a fi

✍ J. F. Bonnans; G. Launay 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 496 KB

On the analysis of unilaterally supporte

✍ Agostino A. Cannarozzi; Antonio Tralli 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 844 KB

On the Grothendieck group of a quotient

✍ Jürgen Herzog; Eduardo Marcos; Rolf Waldi 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 875 KB