「countable」の共起表現一覧(1語右で並び替え)
該当件数 : 57件
By a theorem of Sacks, the | countable admissible ordinals are exactly those constr |
By a theorem of Sacks, the | countable admissible ordinals are exactly those constr |
he set of tautologies over a fixed finite or | countable alphabet is a decidable set. |
issertation entitled Projective Ordinals and | Countable Analytic Sets. |
M is | countable and transitive |
N is | countable and transitive |
The set of all periods is | countable, and all periods are computable, and in part |
ile the set of transcendental numbers is not | countable, and its members are not generally computabl |
union of four sets A,B,C, and Q, where Q is | countable and the sets A, B, C, and BC are mutually co |
Even if a material sample is not | countable as individual items, the quantity of the sam |
picious number in Hinduism and the number of | countable beads on a Japa Mala for repetition of Mantr |
If the axiom of | countable choice holds, then a set is hereditarily cou |
ded that the poset (X, ≤) is isomorphic to a | countable collection of sets ordered by comparison of |
characterize | countable colored cycles whose automorphism groups act |
is a | countable complete orthonormal wavelet basis in . |
Because the real numbers are not | countable, computers cannot represent them exactly usi |
s the infimum of the packing pre-measures of | countable covers of S. |
hism group of the unique (up to isomorphism) | countable dense cycle. |
Had | countable family income below a certain yearly limit |
In set theory, a set is called hereditarily | countable if and only if it is a countable set of here |
A set is hereditarily | countable if and only if it is countable, and every el |
A topological space is first | countable if and only if . |
A third way is to treat Kunen's theorem as a | countable infinite collection of theorems, one for eac |
es chad has been used as a mass noun or as a | countable noun, and the plural is commonly either "cha |
on between a plural of collective and one of | countable nouns. |
A discrete system is a system with a | countable number of states. |
algebra means a model for a language with a | countable number of function symbols, in other words a |
Because discrete systems have a | countable number of states, they may be described in p |
ing the recurrent point will also contain (a | countable number of) iterates of it as well. |
Also, they are found with a | countable numbers in Trivandrum and Iduki of Kerala, B |
any other extensive quantity associated with | countable objects. |
ple application is "closing" with respect to | countable operations; e.g., trying to explicitly descr |
In mathematics, Ψ0(Ωω) is a large | countable ordinal that is used to measure the proof-th |
cs, the Ackermann ordinal is a certain large | countable ordinal, named after Wilhelm Ackermann. |
the small Veblen ordinal is a certain large | countable ordinal, named after Oswald Veblen. |
the large Veblen ordinal is a certain large | countable ordinal, named after Oswald Veblen. |
The process involves defining, for each | countable ordinal, via transfinite induction, a set by |
ics, the Church-Kleene ordinal, , is a large | countable ordinal. |
fications of the Veblen functions to produce | countable ordinals even for uncountable arguments, and |
The elements of ω1 are the | countable ordinals, of which there are uncountably man |
It is the supremum of all | countable ordinals. |
dinals; however, we are mainly interested in | countable ordinals.) |
rdinals (or computable ordinals) are certain | countable ordinals: loosely speaking those represented |
very few | countable peoples are government employees. |
Embedding between | countable scattered linear order types is a wqo (Laver |
Formally, for a | countable set of events A1, A2, A3, ..., we have |
hough it is now a proper class rather than a | countable set). |
rse of strings over any finite alphabet is a | countable set, every language can be mapped to a uniqu |
The hereditarily | countable sets form a model of Kripke-Platek set theor |
The class of all hereditarily | countable sets can be proven to be a set from the axio |
the words 'arbitrary subset' replaced with ' | countable subset'. |
s of X, as can be seen by considering dense, | countable subsets. |
Beyond the | countable, the first uncountable ordinal is usually de |
The embedding relation for | countable total orderings. |
Riaz was many time success made | countable tow pair with Shabnur and Purnima. |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |