{"version":"1.0","type":"link","title":"Ordinal analysis - Newikis","description":"In proof theory, ordinal analysis assigns ordinals (often large countable 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…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}