Separations of first and second order theories in bounded arithmetic
From MaRDI portal
Publication:2388431
DOI10.1007/s00153-005-0281-3zbMath1099.03051MaRDI QIDQ2388431
Publication date: 13 September 2005
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-005-0281-3
03F30: First-order arithmetic and fragments
03H15: Nonstandard models of arithmetic
03F35: Second- and higher-order arithmetic and fragments
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Bounded arithmetic and the polynomial hierarchy
- End extensions of models of linearly bounded arithmetic
- \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\)
- Relating the bounded arithmetic and polynomial time hierarchies
- Diophantine Problems Over Local Fields I
- Notes on polynomially bounded arithmetic