Affordable Access

Publisher Website

A Problem in the Theory of Models

DOI: 10.1016/s0049-237x(09)70279-4
  • Logic


Publisher Summary This chapter discusses theory T which (*) is provable and which contains at least one binary predicate P different from the identity predicate. By relation with k arguments one understands a subset of the Cartesian power ωk where ω is a set of integers. Let K be a class of binary relations whose fields consist of all positive integers. A model M of T will be called a K-model if P is interpreted in M as a relation which is a member of K.

There are no comments yet on this publication. Be the first to share your thoughts.