realisability

A variety of interpretations for intuitionistic logic have been extended to intuitionistic and constructive set theories, such as realisability, Kripke models and Heyting-valued semantics.

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

"We are unable to comment on the ultimate 'realisability' of investments amounting to Rs 110.33 crore in Rainforest Trading Ltd and amount advanced to Baytech Inc of Rs 126.13 crore in the absence of audited financials for the last two years of their ultimate subsidiary eSys Technologies Pte Ltd."

WordPress.com News 2009

For the definition of realisability for arithmetic see also section

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

Myhill introduced a variant of this realisability which resembles Kleene's slash (Myhill 1973; Kleene 1962, 1963).

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

While Friedman and Myhill gave realisability models for extensional set theories, Beeson developed a notion of realisability for non-extensional set theories.

Set Theory: Constructive and Intuitionistic ZF Crosilla, Laura 2009

When strict physicalist positions were beset by objections from the multiple realisability of mental predicates,

Gilbert Ryle Tanney, Julia 2007

The attractiveness of the idea of an Imperial legislature is chiefly on the surface, and I have very strong doubts of its realisability.

What is Coming? 1906

Accounting estimates are employed in the financial statements to determine reported amounts, including the realisability of certain assets, the useful lives of tangible and intangible assets, income taxes, provisions, pension obligations and impairment of goodwill.

Reuters: Press Release 2012

Well, without considering the realisability of making it into an actual merchandise, what do you "want to transform"?

Transformers News - All News 2009