The following pages link to (Q4694224):
Displaying 16 items.
- On the arithmetic of the BC-system (Q470344) (← links)
- Exponentiation and second-order bounded arithmetic (Q922540) (← links)
- Bounded arithmetic and truth definition (Q1107528) (← links)
- \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\) (Q1823242) (← links)
- Unprovability of consistency statements in fragments of bounded arithmetic (Q1896613) (← links)
- What are the \(\forall \Sigma_ 1^ b\)-consequences of \(T_ 2^ 1\) and \(T_ 2^ 2\)? (Q1899145) (← links)
- A bounded arithmetic AID for Frege systems (Q1977488) (← links)
- Induction rules in bounded arithmetic (Q2309507) (← links)
- Bounded arithmetic in free logic (Q2904624) (← links)
- Finite automata, real time processes and counting problems in bounded arithmetics (Q3791138) (← links)
- A second order version of <i>S</i><sub>2</sub><sup><i>i</i></sup> and <i>U</i><sub>2</sub><sup>1</sup> (Q3985100) (← links)
- A Remark on Independence Results for Sharply Bounded Arithmetic (Q4224090) (← links)
- (Q4329398) (← links)
- Translating \(\text{I}\Delta_0+\exp\) proofs into weaker systems (Q4487252) (← links)
- Proving consistency of equational theories in bounded arithmetic (Q4532615) (← links)
- CONSISTENCY PROOF OF A FRAGMENT OF PV WITH SUBSTITUTION IN BOUNDED ARITHMETIC (Q4692080) (← links)
