The following pages link to Groundwork for weak analysis (Q3149983):
Displaying 8 items.
- Theories of real numbers and interpretability (Q744846) (← links)
- 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)
- Bounded theories for polyspace computability (Q2450770) (← 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)