- predicatively closed
- мат. предикативно замкнутый
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Ordinal collapsing function — In mathematical logic and set theory, an ordinal collapsing function (or projection function) is a technique for defining (notations for) certain recursive large countable ordinals, whose principle is to give names to certain ordinals much larger … Wikipedia
Wikipedia:Manual of Style — This guideline is a part of the English Wikipedia s Manual of Style. Use common sense in applying it; it will have occasional exceptions. Please ensure that any edits to this page reflect consensus. Shortcuts … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Motor program — A motor program is an abstract representation of movement that centrally organizes and controls the many degrees of freedom involved in performing an action (Schmidt and Lee, 2005 p. 182). Signals transmitted through efferent and afferent… … Wikipedia
Bulgarian language — Not to be confused with Bulgar language. Bulgarian Български език Bălgarski ezik Spoken in Bulgaria, Turkey, Serbia, Greece, Ukraine, Moldova, Romania, Albania, Kosovo, Repub … Wikipedia
English passive voice — This article is about the passive voice in English. For the passive voice generally, including its use in other languages, see Passive voice. English grammar series English grammar Contraction Disputes in English grammar English compound English… … Wikipedia
Adjective — Examples That s an interesting idea. (attributive) That idea is interesting. (predicative) Tell me something interesting. (postpositive) The good, the bad, and the ugly. (substantive) In grammar, an adjective is a describing word; the main… … Wikipedia
English grammar — is a body of rules (grammar) specifying how phrases and sentences are constructed in the English language. Accounts of English grammar tend to fall into two groups: the descriptivist , which describes the grammatical system of English; and the… … Wikipedia
Large countable ordinal — In the mathematical discipline of set theory, there are many ways of describing specific countable ordinals. The smallest ones can be usefully and non circularly expressed in terms of their Cantor normal forms. Beyond that, many ordinals of… … Wikipedia