𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The research of Jaśkowski on decidability theory of first order sentences (I)

✍ Scribed by Ryszard Kopiecki; Bogdan Saralski; Gerald Waligóra

Publisher
Springer Netherlands
Year
1975
Tongue
English
Weight
671 KB
Volume
34
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A continuum theory for first-order phase
A continuum theory for first-order phase transitions based on the balance of structure order
✍ M. Fabrizio; C. Giorgi; A. Morro 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 188 KB 👁 1 views

## Abstract First‐order phase transitions are modelled by a non‐homogeneous, time‐dependent scalar‐valued order parameter or phase field. The time dependence of the order parameter is viewed as arising from a balance law of the structure order. The gross motion is disregarded and hence the body is

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

On the use of symmetry in first-order pe
On the use of symmetry in first-order perturbed HF theory. II
✍ Paolo Lazzeretti; Riccardo Zanasi 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 453 KB

## Abstract A method is described whereby molecular symmetry is employed to reduce the number of two‐electron integrals in perturbed Hartree–Fock calculations of second‐order properties. The method is a generalization of the Dacre–Elder procedure. First‐ and second‐rank perturbing tensor operators