✦ LIBER ✦

Algebraic geometry in first-order logic

✍ Scribed by B. Plotkin

Publisher: Springer US
Year: 2006
Tongue: English
Weight: 504 KB
Volume: 137
Category: Article
ISSN: 1573-8795
DOI: 10.1007/s10958-006-0288-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Categorical abstract algebraic logic cat

Categorical abstract algebraic logic categorical algebraization of first-order logic without terms

✍ George Voutsadakis 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 200 KB

Inclusive first-order logic

✍ Roch Ouellet 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 981 KB

First-Order Classical Modal Logic

✍ Horacio Arló-Costa; Eric Pacuit 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 377 KB

First-Order da Costa Logic

✍ Graham Priest 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 231 KB

Algebraic Geometry over Groups II. Logic

Algebraic Geometry over Groups II. Logical Foundations

✍ Alexei Myasnikov; Vladimir Remeslennikov 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 302 KB

The object of this paper, which is the second in a series of three, is to lay the logical foundations of the algebraic geometry over groups. Exploiting links between the algebraic geometry over groups and model theory we solve two problems on geometrical equivalence of groups which are due to B. Plo

Universal First-Order Definability in Mo

Universal First-Order Definability in Modal Logic

✍ R. E. Jennings; D. K. Johnston; P. K. Schotch 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs