Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

  • noun Alternative spelling of realizability.

Etymologies

Sorry, no etymologies found.

Examples

  • 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

  • "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

  • For the definition of realisability for arithmetic see also section

    Set Theory: Constructive and Intuitionistic ZF

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

    Set Theory: Constructive and Intuitionistic ZF

  • 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

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

    Gilbert Ryle

  • 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?

  • 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

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

    Transformers News - All News

Comments

Log in or sign up to get involved in the conversation. It's quick and easy.