Groundwork for weak analysis

DOI10.2178/JSL/1190150098zbMATH Open1015.03056OpenAlexW2021956337MaRDI QIDQ3149983FDOQ3149983

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

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

zbMATH Keywords

interpretabilityweak analysispolytime computability

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
• Title not available (Why is that?)
• A feasible theory for analysis
• Factorization of polynomials and \(\Sigma ^ 0_ 1\) induction
• Asymmetric Interpretations for Bounded Theories
• Algebraic disguises of \(\Sigma ^ 0_ 1\) induction
• Some More Conservation Results on the Baire Category Theorem
• On End‐Extensions of Models of ¬exp

Cited In (7)

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

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)