Ordinal analysis
id:
ordinal-analysis-218-3594187
title:
Ordinal analysis
text:
In proof theory, ordinal analysis assigns ordinals to mathematical theories as a measure of their strength. If theories have the same proof-theoretic ordinal they are often equiconsistent, and if one theory has a larger proof-theoretic ordinal than another it can often prove the consistency of the second theory. In addition to obtaining the proof-theoretic ordinal of a theory, in practice ordinal analysis usually also yields various other pieces of information about the theory being analyzed, fo
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical technique used in proof theory
original url:
https://en.wikipedia.org/wiki/Ordinal_analysis
date created:
2008-03-04T06:27:33Z
date modified:
2024-09-13T06:25:29Z
main entity:
{"identifier":"Q7100782","url":"https://www.wikidata.org/entity/Q7100782"}
image:
fields total:
13
integrity:
15