English
English
Arabic
Chinese
Dutch
French
German
Greek
Hebrew
Hindi
Italian
Japanese
Korean
Polish
Portuguese
Russian
Spanish
more...
Translate into...
English
Arabic
Chinese
Dutch
French
German
Greek
Hebrew
Hindi
Italian
Japanese
Korean
Polish
Portuguese
Russian
Spanish
more...
bn:00848663n
Noun Concept
Categories: Proof theory, Ordinal numbers
EN
ordinal analysis  proof-theoretic ordinal  proof-theoretic strength  proof theoretic ordinal
EN
In proof theory, ordinal analysis assigns ordinals to mathematical theories as a measure of their strength. Wikipedia
Quit
Change View
Definitions
Sources
English
More languages...
English
Arabic
Chinese
Dutch
French
German
Greek
Hebrew
Hindi
Italian
Japanese
Korean
Polish
Portuguese
Russian
Spanish
more...
EN
In proof theory, ordinal analysis assigns ordinals to mathematical theories as a measure of their strength. Wikipedia
mathematical technique used in proof theory Wikidata