Litcius/Paper detail

Derivatives of normal functions in reverse mathematics

Anton Freund, Michael Rathjen

2020Annals of Pure and Applied Logic15 citationsDOIOpen Access PDF

Topics & Concepts

MathematicsReverse mathematicsMathematics educationCalculus (dental)Algebra over a fieldPure mathematicsMedicineGeometryAxiomDentistryComputability, Logic, AI AlgorithmsMathematical and Theoretical AnalysisBenford’s Law and Fraud Detection