Ordinal Analysis with an Introduction to Proof Theory
Toshiyasu Arai
Topics & Concepts
Ordinal dataProof theoryOrdinal regressionAnalytic proofStructural proof theoryComputer scienceProof of conceptDirect proofOrdinal optimizationMathematical economicsCalculus (dental)MathematicsDiscrete mathematicsEconometricsStatisticsMathematical proofMedicineOperating systemGeometryDentistryLogic, programming, and type systemsHistory and Theory of MathematicsNumerical Methods and Algorithms