The classical decision problem and partial functions

  title={The classical decision problem and partial functions},
  author={Motti Abramsky},
  journal={Arch. Math. Log.},
We consider the decision problem for sets of sentences of first-order logic when instead of interpreting function symbols as total functions over the universe of a model (henceforth referred to as the usual interpretation) we interpret them as partial functions. We consider only standard classes, which are certain sets of prenex sentences specified by restrictions on the prefix and on the numbers of k-place predicate and function symbols for each k > 1. Standard classes are introduced in [1… CONTINUE READING
Highly Influential
This paper has highly influenced 61 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

Formulas with one V. In: In memory of A.I

  • Y. Gurevich
  • 1973
2 Excerpts

Remark on R . Berger ' s paper on the domino problem

  • Y. Gurevich, I. Koriakov
  • Siberian Mathematical Journal
  • 1972

The decision problem for the logic of predicates and operations

  • Y. Gurevich
  • Algebra and Logic
  • 1969
2 Excerpts

Similar Papers

Loading similar papers…