Publication:3518438

zbMath1227.03075MaRDI QIDQ3518438

Gilda Ferreira, Fernando Ferreira

Publication date: 8 August 2008

Full work available at URL: http://www.jucs.org/jucs_14_6/the_riemann_integral_in

zbMATH Keywords

Riemann integral; counting hierarchy; weak analysis

Mathematics Subject Classification ID

28A25: Integration with respect to measures and other set functions

03B30: Foundations of classical theories (including reverse mathematics)

03F35: Second- and higher-order arithmetic and fragments

Related Items

The counting hierarchy in binary notation, Bounded theories for polyspace computability