Pages that link to "Item:Q506954"
From MaRDI portal
The following pages link to Construction of models of bounded arithmetic by restricted reduced powers (Q506954):
Displaying 6 items.
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- Polynomial time ultrapowers and the consistency of circuit lower bounds (Q2288334) (← links)
- A Remark on Independence Results for Sharply Bounded Arithmetic (Q4224090) (← links)
- On the finite axiomatizability of (Q5109206) (← links)
- A remark on pseudo proof systems and hard instances of the satisfiability problem (Q5109236) (← links)
- (Q5693580) (← links)