FUNDAMENTALNAYA
I PRIKLADNAYA MATEMATIKA

(FUNDAMENTAL AND APPLIED MATHEMATICS)

1998, VOLUME 4, NUMBER 2, PAGES 733-749

R. E. Yavorsky

Abstract

View as HTML
View as gif image
View as LaTeX source

```
The logic
```$\mathcal L(T)$ of arbitrary first order theory $T$ is the set of predicate
formulae, provable in $T$ under every interpretation into the language
of $T$ . It is proved, that for the theory of equation and the theory of dense
linear order without minimal and maximal elements $\mathcal L(T)$ is
decidable, but can not be axiomatized by any set of schemes with restricted
arity. On the other hand, for most of the expressively strong theories
$\mathcal L(T)$ turn out to be undecidable.

All articles are published in Russian.

Main page | Editorial board |

Instructions to authors | Contents of the journal |

Location: http://mech.math.msu.su/~fpm/eng/98/982/98219t.htm

Last modified: June 17, 1998