Separations of theories in weak bounded arithmetic
From MaRDI portal
Recommendations
- Separations of first and second order theories in bounded arithmetic
- Separating bounded arithmetical theories by Herbrand consistency
- scientific article; zbMATH DE number 2236625
- On a weak separation axiom
- On some weak separation axioms
- Structure and definability in general bounded arithmetic theories
- scientific article; zbMATH DE number 1048040
- Weak arithmetical interpretations for the logic of proofs
- Model theory of bounded arithmetic with applications to independence results
- scientific article; zbMATH DE number 29071
Cites work
Cited in
(8)- Proof-theoretic conservations of weak weak intuitionistic constructive set theories
- Separations of first and second order theories in bounded arithmetic
- Local splitters for bounded cotorsion theories
- scientific article; zbMATH DE number 2186953 (Why is no real title available?)
- Some results on cut-elimination, provable well-orderings, induction and reflection
- An unexpected separation result in Linearly Bounded Arithmetic
- Weak theories of concatenation and minimal essentially undecidable theories. An encounter of \(\mathsf{WTC}\) and \(\mathsf{S2S}\)
- A theory for Log-Space and NLIN versus co-NLIN
This page was built for publication: Separations of theories in weak bounded arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1344280)
