Elementary function arithmetic: Difference between revisions

Content deleted Content added
m Added hatnote
Line 41:
*[[Grzegorczyk hierarchy]]
*[[Reverse mathematics]]
*[[Ordinal analysis]]
*[[Tarski's high school algebra problem]]