翻訳と辞書 Words near each other ・ …with Love ・ ⁕ (disambiguation) ・ ₩uNo ・ €2 commemorative coins ・ ₹125 coin ・ ℨ ・ ← ・ ↑ ・ → ・ Σ-aromaticity ・ Σ-bishomoaromaticity ・ Σ-compact space ・ Σ-finite measure ・ Τ-additivity ・ Φ29 DNA polymerase ・ Ψ₀(Ωω) ・ Ω-automaton ・ Ω-bounded space ・ Ω-consistent theory ・ Ω-logic ・ Ωmega ・ А21ТВ АРМЕНИЯ ・ Апас ・ Лв ・ Либерално-Демократска Партија ・ ПКП ・ Р. ・ Ъ ・ ּ ・ דעמאנל Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Ψ₀(Ωω) ： ウィキペディア英語版 Ψ₀(Ωω) In mathematics, Ψ0(Ωω) is a large countable ordinal that is used to measure the proof-theoretic strength of some mathematical systems. In particular, it is the proof theoretic ordinal of the subsystem $\backslash Pi\_1^1$-CA0 of second-order arithmetic; this is one of the "big five" subsystems studied in reverse mathematics (Simpson 1999). ==Definition== (詳細はウィキペディア（Wikipedia）』 ■ウィキペディアで「Ψ₀(Ωω)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.