Sentence examples for interpretable from inspiring English sources

The equivalence class of all theories mutually interpretable with T is called the interpretability degree of T. The interpretability hierarchy is the collection of all theories ordered under the relation ≤.

The equivalence class of all theories mutually interpretable with T is called the interpretability degree of T. For ease of exposition we shall make three simplifying assumptions concerning the theories under consideration.

It is the suggestion that she could, and should, have been bumped off as though she were some deranged South American dictator … "Mantel's contribution is peculiarly damaging because, while she appears so mild-mannered, her message is interpretable as a deadly one.

Grue 2001 presents a very strong extension of lambda calculus, the so-called map theory, in which standard axiomatic set theory becomes interpretable, and which can be used to shed light on the difference between Russell's and Burali-Forti's paradoxes.

More precisely stated, what Geach denies is that whenever a term "A" is interpretable

One extension is to add a binary modality ⊳, where for a given arithmetical theory T, the modal sentence A ⊳ B is meant to stand for "T+B is interpretable in T+A".

Thus whereas in a context where the interlocutors have been discussing their tech stocks, without mentioning any particular people, (36b) would be odd, in a similar context but where someone called "Jo" had been mentioned, an utterance of "And by the way…" followed by (36b) would be interpretable, albeit potentially surprising if the hearer did not already know Jo's gender.

The intervals aren't necessarily interpretable as sets of probability functions: that is, they can violate some of the properties of credal sets discussed in the formal appendix.

To address the crucial questions about the nature of mind, the psychological experiments need to be interpretable within a theoretical framework that postulates mental representations and procedures.

For it turns out (by a result of Shelah (1984)) that ZFC+PM implies the consistency of ZFC and this implies, by the second incompleteness theorem, that ZFC+PM is not interpretable in ZFC.

Moreover, it follows from the arithmetized completeness theorem that the theory T + ¬Con(T) is interpretable in T, hence, T ≡ T + ¬Con(T).