𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Sign preservation for a function of two variables

✍ Scribed by D. A. Trotsenko

Publisher
SP MAIK Nauka/Interperiodica
Year
1993
Tongue
English
Weight
574 KB
Volume
34
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Plotting a function of two variables
Plotting a function of two variables
✍ A. Wambecq πŸ“‚ Article πŸ“… 1977 πŸ› Elsevier Science 🌐 English βš– 608 KB

An easy to use three-dimensional plotting program is presented. The program is written in ANSI FORTRAN IV, and is portable. ## 1. Introduction 780 units.

On Preservation Theorems for Two-Variabl
On Preservation Theorems for Two-Variable Logic
✍ Erich Gradel; Eric Rosen πŸ“‚ Article πŸ“… 1999 πŸ› John Wiley and Sons 🌐 English βš– 736 KB

## Abstract We show that the existential preservation theorem fails for two‐variable first‐order logic FO^2^. It is known that for all __k__ β‰₯ 3, FO^k^ does not have an existential preservation theorem, so this settles the last open case, answering a question of Andreka, van Benthem, and NΓ©meti. In