✦ LIBER ✦

Interpretability of various extensions of arithmetic

✍ Scribed by S. V. Goryachev

Book ID: 105099720
Publisher: SP MAIK Nauka/Interperiodica
Year: 1986
Tongue: English
Weight: 503 KB
Volume: 40
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf01159698

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Interpretability Logic of Peano Arit

The Interpretability Logic of Peano Arithmetic

✍ Alessandro Berarducci 📂 Article 📅 1990 🏛 Association for Symbolic Logic 🌐 English ⚖ 627 KB

Arithmetic Lifting of Dihedral Extension

Arithmetic Lifting of Dihedral Extensions

✍ Elena V Black 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 220 KB

The Inverse Galois problem remains a fascinating yet unanswered question. The standard approach through algebraic geometry is to construct a Galois branched covering of the projective line over the rationals with a desired group G. Then one invokes the Hilbert Irreducibility Theorem to construct a G

Conservative extensions of models of ari

Conservative extensions of models of arithmetic

✍ Blass, Andreas 📂 Article 📅 1980 🏛 Springer-Verlag ⚖ 566 KB

Arithmetic Interpretability Types of Var

Arithmetic Interpretability Types of Varieties and Some Additive Problems with Primes

✍ D. M. Smirnov 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 134 KB

End extensions of models of linearly bou

End extensions of models of linearly bounded arithmetic

✍ Domenico Zambella 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 977 KB

We show that every model of Ido has an end extension to a model of a theory (extending Buss' S,") where log-space computable function are formalizable. We also show the existence of an isomotphism between models of Ido and models of linear arithmetic LA (i.e., second-order Presburger arithmetic wit

Epistemic Arithmetic is a Conservative E

Epistemic Arithmetic is a Conservative Extension of Intuitionistic Arithmetic

✍ Nicolas D. Goodman 📂 Article 📅 1984 🏛 Association for Symbolic Logic 🌐 English ⚖ 233 KB