Programming Language Theory Flashcard

What if some hypotheses are not derivable relative to $m a t h c a l r$ , then what do we deem the corresponding admissibility judgment as?

Books

Deckgeneral

Question

What if some hypotheses are not derivable relative to $𝓇$ , then what do we deem the corresponding admissibility judgment as?

Answer

What if some hypotheses are not derivable relative to mathcalr, then what do we deem the corresponding admissibility judgment as?