Pages that link to "Item:Q4532615"
From MaRDI portal
The following pages link to Proving consistency of equational theories in bounded arithmetic (Q4532615):
Displaying 6 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Towards an arithmetic theory of consistency enforcement based on preservation of \(\delta\)-constraints (Q2841258) (← links)
- CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC (Q4692080) (← links)
- A note on equality in finite‐type arithmetic (Q5108108) (← links)
- On proving consistency of equational theories in Bounded Arithmetic (Q6393250) (← links)