scientific article; zbMATH DE number 2236625

zbMath1087.03038MaRDI QIDQ5711876

Jeremy Avigad

Publication date: 8 December 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

nonstandard conservative extensionsweak higher-type theories of nonstandard arithmetic

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35)

Related Items (8)

Reverse mathematics and parameter-free transfer ⋮ Primitive recursive reverse mathematics ⋮ Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic ⋮ Stateful Realizers for Nonstandard Analysis ⋮ Nonstandard arithmetic and recursive comprehension ⋮ More infinity for a better finitism ⋮ A functional interpretation for nonstandard arithmetic ⋮ Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks

This page was built for publication: