✦ LIBER ✦

The Undecidability of Intuitionistic Theories of Algebraically Closed Fields and Real Closed Fields

✍ Scribed by Dov M. Gabbay

Book ID: 124972146
Publisher: Association for Symbolic Logic
Year: 1973
Tongue: English
Weight: 652 KB
Volume: 38
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2271730

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The undecidability of pseudo real closed

The undecidability of pseudo real closed fields

✍ Dan Haran 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 637 KB

Model-complete theories of pseudo-algebr

Model-complete theories of pseudo-algebraically closed fields

✍ William H. Wheeler 📂 Article 📅 1979 🏛 Elsevier Science ⚖ 893 KB

The model-complete, complete theories of pseudo-algebraically closed field:; arc characterized in tilis paper, For example, the theory of algebraically closca lields of a specified characteristic is a model-complete, complete theory of pseudo-algebraically closed fields. The characterization is base

An Intuitionistic Axiomatisation of Real

An Intuitionistic Axiomatisation of Real Closed Fields

✍ Erik Palmgren 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 85 KB

Undecidability of regularly closed field

Undecidability of regularly closed fields

✍ Yu. L. Ershov 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 293 KB

Composites of algebraically closed field

Composites of algebraically closed fields

✍ Daniel B Shapiro 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 871 KB

Undecidability of pseudop-adically close

Undecidability of pseudop-adically closed fields

✍ Ido Efrat 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 608 KB