- conservative extension
- мат. консервативное расширение
Большой англо-русский и русско-английский словарь. 2001.
conservative extension
Смотреть что такое "conservative extension" в других словарях:
Conservative extension — In mathematical logic, a logical theory T2 is a (proof theoretic) conservative extension of a theory T1 if the language of T2 extends the language of T1; every theorem of T1 is a theorem of T2; and any theorem of T2 which is in the language of T1 … Wikipedia
Extension by definitions — In mathematical logic, more specifically in the proof theory of first order theories, extensions by definitions formalize the introduction of new symbols by means of a definition. For example, it is common in naive set theory to introduce a… … Wikipedia
Conservative Party (UK) — Conservative Party Conservative and Unionist Party Leader … Wikipedia
Extension conservative d'une théorie T — ● Extension conservative d une théorie T théorie T telle que chaque formule du langage L(T) de T qui est un théorème de T est aussi un théorème de T … Encyclopédie Universelle
conservative — in the meaning ‘moderate, cautious, low’, as in a conservative estimate, is one of Fowler s lost causes. He regarded it as a ridiculous ‘slipshod extension’ and rejected it outright. But it is now well established in the language and is… … Modern English usage
Conservative and Unionist Women's Franchise Association — The Conservative and Unionist Women s Franchise Association (CUWFA) was a British women s suffrage organisation open to members of the Conservative and Unionist Party.[1] Formed in 1908 by members of the National Union of Women s Suffrage… … Wikipedia
Extension conservatrice — En logique mathématique, une théorie logique T2 est une extension conservatrice (ou conservative) d une théorie T1 si le langage de T2 étend le langage de T1, si chaque théorème de T1 est un théorème de T2 et si tout théorème de T2 qui est dans… … Wikipédia en Français
Conservative governments — The Conservative Party traditionally shuns the notions of ideology and abstract thought, and has established a practice of responding to particular circumstances in a manner which will preserve those institutions beneficial to the existing… … Encyclopedia of contemporary British culture
conservative — ● conservatif, conservative adjectif (bas latin conservativus) Se dit d un système dont l énergie mécanique reste constante. Se dit de la circulation d un champ de vecteurs lorsqu elle ne dépend pas du chemin suivi. Se dit du flux d un champ de… … Encyclopédie Universelle
Progressive Conservative Party of Manitoba — Active provincial party Leader Hugh McFadyen President Michael Richards Founded 1882 ( … Wikipedia
Progressive Conservative Party of Ontario — Parti progressiste conservateur de l Ontario Active provincial party Leader Tim Hudak … Wikipedia
