The following pages link to Groundwork for weak analysis (Q3149983):
Displayed 6 items.
- Amending Frege's \textit{Grundgesetze der Arithmetik} (Q813411) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- The counting hierarchy in binary notation (Q1008842) (← links)
- Strict \({\varPi^1_1}\)-reflection in bounded arithmetic (Q2655140) (← links)
- Open Questions in Reverse Mathematics (Q3174640) (← links)
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof (Q3594485) (← links)