Groundwork for weak analysis

DOI10.2178/JSL/1190150098MaRDI QIDQ3149983zbMATH OpenOpenAlexFDO

Authors António Marques Fernandes, Fernando Ferreira

Publication date 4 December 2002

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/jsl/1190150098

zbMATH Keywords

interpretabilitypolytime computabilityweak analysis

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• A feasible theory for analysis
• Encoding true second‐order arithmetic in the real‐algebraic structure of models of intuitionistic elementary analysis
• scientific article; zbMATH DE number 2236625
• scientific article; zbMATH DE number 2236647
• Theories of real numbers and interpretability

Cites work

• A feasible theory for analysis
• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• Asymmetric Interpretations for Bounded Theories
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• scientific article; zbMATH DE number 3241254 (Why is no real title available?)
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• On End‐Extensions of Models of ¬exp
• Some More Conservation Results on the Baire Category Theorem

Cited in

(8)

• The counting hierarchy in binary notation
• Bounded theories for polyspace computability
• Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
• Open questions in reverse mathematics
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Theories of real numbers and interpretability
• Amending Frege's \textit{Grundgesetze der Arithmetik}
• Bounded functional interpretation and feasible analysis

This page was built for publication: Groundwork for weak analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3149983)