✦ LIBER ✦

Prime Quantifier Eliminable Rings

✍ Scribed by Rose, B. I.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quantifier-eliminable locally finite gra

✍ Shawn Hedman; Wai Yan Pong 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 79 KB

We identify the locally finite graphs that are quantifier-eliminable and their first order theories in the signature of distance predicates.

Rings which Admit Elimination of Quantif

✍ Bruce I. Rose 📂 Article 📅 1978 🏛 Association for Symbolic Logic 🌐 English ⚖ 426 KB

Corrigendum: "Rings which Admit Eliminat

✍ Bruce I. Rose 📂 Article 📅 1979 🏛 Association for Symbolic Logic 🌐 English ⚖ 83 KB

Elimination of Quantifiers for Ordered V

✍ M. A. Dickmann 📂 Article 📅 1987 🏛 Association for Symbolic Logic 🌐 English ⚖ 283 KB

Variant quantifier elimination

✍ Hoon Hong; Mohab Safey El Din 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 413 KB

On V-rings and prime rings

✍ Roger Yue Chi Ming 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 469 KB