- weak interpretability
- мат. слабая интерпретируемость
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Weak interpretability — is a special case of the concept of tolerance introduced by Giorgi Japaridze in 1992. Assume T and S are formal theories. Slightly simplified, T is said to be weakly interpretable in S if, and only if, the language of T can be translated into the … Wikipedia
Interpretability logic — Interpretability logics comprise a family of modal logics that extend provability logic to describe interpretability and/or various related metamathematical properties and relations such as weak interpretability, Pi;1 conservativity,… … Wikipedia
Interpretability — The concept of interpretability is one in mathematical logic. Assume T and S are formal theories. Slightly simplified, T is said to be interpretable in S iff the language of T can be translated into the language of S in such a way that S proves… … Wikipedia
Tolerant sequence — In mathematical logic, a tolerant sequence is a sequence :T 1,...,T n of formal theories such that there are consistent extensions :S 1,...,S n of these theories with each S {i+1} interpretable in S i. Tolerance naturally generalizes from… … Wikipedia
List of mathematics articles (W) — NOTOC Wad Wadge hierarchy Wagstaff prime Wald test Wald Wolfowitz runs test Wald s equation Waldhausen category Wall Sun Sun prime Wallenius noncentral hypergeometric distribution Wallis product Wallman compactification Wallpaper group Walrasian… … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia
Cointerpretability — In mathematical logic, cointerpretability is a binary relation on formal theories: a formal theory T is cointerpretable in another such theory S, when the language of S can be translated into the language of T in such a way that S proves every… … Wikipedia
Cotolerant sequence — In mathematical logic, a cotolerant sequence is a sequence of formal theories such that there are consistent extensions of these theories with each Si + 1 is cointerpretable in Si. Cotolerance naturally generalizes from sequences of theories to… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
High-resolution transmission electron microscopy — (HRTEM) is an imaging mode of the transmission electron microscope (TEM) that allows the imaging of the crystallographic structure of a sample at an atomic scale. [cite book |title=Experimental high resolution electron microscopy |last=Spence… … Wikipedia