We develop the theory of partial satisfaction relations for structures that may be proper classes and define a satisfaction predicate (╞*) appropriate to such structures. We indicate the utility of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback