Weak arithmetics

DOI10.1016/S0304-3975(00)00106-7MaRDI QIDQ5941252zbMATH OpenOpenAlexWikidataFDO

Authors J.-P. Ressayre

Publication date 20 August 2001

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(00)00106-7

zbMATH Keywords

weak arithmetics

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07)

Recommendations

• Weak arithmetic
• Hierarchies of Subsystems of Weak Arithmetic
• P, NP, Co-NP and weak systems of arithmetic
• Studies in weak arithmetics. Volume 3. Papers based on the conference ``Journées sur les Arithmétiques Faibles (Weak Arithmetics Days) (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16--18, 2014 and the conference (JAF34), CUNY, New York,
• scientific article; zbMATH DE number 3979054

Cites work

• Computer science and the fine structure of Borel sets
• Diophantine induction
• scientific article; zbMATH DE number 1188923 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• scientific article; zbMATH DE number 781350 (Why is no real title available?)
• Maximal fields with valuations
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
• Saturation and stability in the theory of computation over the reals
• Two Applications of Logic to Mathematics

Cited in

(11)

• Intuitionistic weak arithmetic
• Studies in weak arithmetics. Volume 3. Papers based on the conference ``Journées sur les Arithmétiques Faibles (Weak Arithmetics Days) (JAF33), University of Gothenburg, Gothenburg, Sweden, June 16--18, 2014 and the conference (JAF34), CUNY, New York, NY, USA, July 7--9, 2015
• scientific article; zbMATH DE number 440481 (Why is no real title available?)
• scientific article; zbMATH DE number 3979054 (Why is no real title available?)
• scientific article; zbMATH DE number 3987272 (Why is no real title available?)
• scientific article; zbMATH DE number 1874095 (Why is no real title available?)
• Techniques in weak analysis for conservation results
• The strength of replacement in weak arithmetic
• scientific article; zbMATH DE number 2204768 (Why is no real title available?)
• Weak arithmetic
• P, NP, Co-NP and weak systems of arithmetic

This page was built for publication: Weak arithmetics

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