✦ LIBER ✦

Interpretations of the first-order theory of diagonalizable algebras in peano arithmetic

✍ Scribed by Franco Montagna

Publisher: Springer Netherlands
Year: 1980
Tongue: English
Weight: 455 KB
Volume: 39
Category: Article
ISSN: 0039-3215
DOI: 10.1007/bf00713544

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The undecidability of the first-order th

The undecidability of the first-order theory of diagonalizable algebras

✍ Franco Montagna 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 294 KB

The finite inseparability of the first-o

The finite inseparability of the first-order theory of diagonalisable algebras

✍ Craig Smoryński 📂 Article 📅 1982 🏛 Springer Netherlands 🌐 English ⚖ 179 KB

Succinct definitions in the first order

Succinct definitions in the first order theory of graphs

✍ Oleg Pikhurko; Joel Spencer; Oleg Verbitsky 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 471 KB

Infinite spectra in the first order theo

Infinite spectra in the first order theory of graphs

✍ J. Spencer 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 English ⚖ 319 KB

Elimination of the critical terms in a f

Elimination of the critical terms in a first-order general planetary theory

✍ Osman M. Kamel 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 616 KB

On the use of symmetry in first-order pe

On the use of symmetry in first-order perturbed Hartree–Fock theory

✍ Paolo Lazzeretti 📂 Article 📅 1978 🏛 John Wiley and Sons 🌐 English ⚖ 613 KB

## Abstract A method for the determination of the symmetry of first‐order vectors in Hartree–Fock perturbation theory is developed. This leads to the definition of symmetry‐adapted basis vectors to be employed at first order in the perturbation. It is shown that computer time can be saved, to some