Weak arithmetic
From MaRDI portal
Recommendations
- Weak arithmetics
- 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
- scientific article; zbMATH DE number 440481
Cites work
- Computer science and the fine structure of Borel sets
- Diophantine induction
- scientific article; zbMATH DE number 4059391 (Why is no real title available?)
- scientific article; zbMATH DE number 1188923 (Why is no real title available?)
- scientific article; zbMATH DE number 1024661 (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?)
- scientific article; zbMATH DE number 819737 (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
- Stabilité polynômiale des corps différentiels
- Two Applications of Logic to Mathematics
Cited in
(3)- 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
- Weak arithmetics
This page was built for publication: Weak arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941732)
