Pages that link to "Item:Q1104318"
From MaRDI portal
The following pages link to On the scheme of induction for bounded arithmetic formulas (Q1104318):
Displaying 50 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- End extensions of models of weak arithmetic theories (Q286696) (← links)
- The second incompleteness theorem and bounded interpretations (Q454368) (← links)
- Preservation theorems and restricted consistency statements in bounded arithmetic (Q598285) (← links)
- A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem (Q685067) (← links)
- On the provability logic of bounded arithmetic (Q685071) (← links)
- The unprovability of small inconsistency. A study of local and global interpretability (Q688510) (← links)
- Faith \& falsity (Q705533) (← links)
- Consistency statements and iterations of computable functions in \(\mathrm{I}\Sigma_1\) and PRA (Q711565) (← links)
- Some specially formulated axiomizations for \(\mathrm{I}\Sigma _0\) manage to evade the Herbrandized version of the second incompleteness theorem (Q731897) (← links)
- Polynomially bounded recursive realizability (Q817959) (← links)
- Passive induction and a solution to a Paris-Wilkie open question (Q882120) (← links)
- Taking the Pirahã seriously (Q907196) (← links)
- Exponentiation and second-order bounded arithmetic (Q922540) (← links)
- On two problems concerning end extensions (Q937209) (← links)
- Bounded arithmetic and truth definition (Q1107528) (← links)
- Primes and their residue rings in models of open induction (Q1121883) (← links)
- The formalization of interpretability (Q1176098) (← links)
- Bounded arithmetic and the polynomial hierarchy (Q1177041) (← links)
- A note on the interpretability logic of finitely axiomatized theories (Q1181486) (← links)
- Combinatorial principles in elementary number theory (Q1182430) (← links)
- Bounds for cut elimination in intuitionistic propositional logic (Q1204120) (← links)
- On some formalized conservation results in arithmetic (Q1264147) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- Hereditarily-finite sets, data bases and polynomial-time computability (Q1311973) (← links)
- RSUV isomorphisms for TAC\(^ i\), TNC\(^ i\) and \(TLS\) (Q1345903) (← links)
- On induction-free provability (Q1353982) (← links)
- Induction rules, reflection principles, and provably recursive functions (Q1361250) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- End extensions of models of linearly bounded arithmetic (Q1377910) (← links)
- Nondeterministic stack register machines (Q1391527) (← links)
- Non-standard finite fields over \(I\Delta_0+\Omega_1\) (Q1567349) (← links)
- On constructivity and the Rosser property: a closer look at some Gödelean proofs (Q1653263) (← links)
- The logical strength of compositional principles (Q1704080) (← links)
- \(S^ i_ 3\) and \(\overset\circ V^ i_ 2(BD)\) (Q1823242) (← links)
- \(\Delta_ 0\)-complexity of the relation \(y= \prod_{i\leq n} F(i)\) (Q1899142) (← links)
- Relating the bounded arithmetic and polynomial time hierarchies (Q1899144) (← links)
- Pell equations and exponentiation in fragments of arithmetic (Q1919524) (← links)
- Parameter free induction and provably total computable functions (Q1960416) (← links)
- Friedman-reflexivity (Q2159935) (← links)
- End extensions of models of fragments of \(\mathrm{PA}\) (Q2204367) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- The scope of Gödel's first incompleteness theorem (Q2254575) (← links)
- The predicative Frege hierarchy (Q2271986) (← links)
- The arithmetics of a theory (Q2345393) (← links)
- Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I (Q2382276) (← links)
- Unifying the model theory of first-order and second-order arithmetic via \(\mathrm{WKL}_0^\ast\) (Q2400502) (← links)
- Model-theoretic applications of cofinality spectrum problems (Q2408036) (← links)
- Interpretability degrees of finitely axiomatized sequential theories (Q2436609) (← links)
- A generalization of the second incompleteness theorem and some exceptions to it (Q2500470) (← links)