The following pages link to (Q5341750):
Displayed 36 items.
- Division by zero (Q335000) (← links)
- The strength of sharply bounded induction requires MSP (Q636290) (← links)
- Bootstrapping. I (Q636291) (← links)
- Limit computable integer parts (Q647341) (← links)
- Hilbert's tenth problem for weak theories of arithmetic (Q685070) (← links)
- Root finding with threshold circuits (Q690451) (← links)
- Independence results for variants of sharply bounded induction (Q716498) (← links)
- Diophantine equations in fragments in arithmetic (Q1112811) (← links)
- Primes and their residue rings in models of open induction (Q1121883) (← links)
- Fermat's last theorem and Bezout's theorem in GCD domains (Q1196796) (← links)
- The joint embedding property in normal open induction (Q1210354) (← links)
- Toward the limits of the Tennenbaum phenomenon (Q1377555) (← links)
- The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic (Q1382697) (← links)
- Lengths of developments in \(K((G))\) (Q1726002) (← links)
- Polynomial time uniformization and non-standard methods (Q1817062) (← links)
- Pell equations and exponentiation in fragments of arithmetic (Q1919524) (← links)
- The provability of certain sequents in additive arithmetic (Q1925188) (← links)
- Real closures of models of weak arithmetic (Q1935370) (← links)
- Induction and Skolemization in saturation theorem proving (Q2084957) (← links)
- Algebraic combinatorics in bounded induction (Q2216029) (← links)
- Towers of complements to valuation rings and truncation closed embeddings of valued fields (Q2270113) (← links)
- Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\) (Q2339958) (← links)
- On the value group of a model of Peano arithmetic (Q2363347) (← links)
- The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X]\) (Q2509482) (← links)
- Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\) (Q2700809) (← links)
- Arithmetization of the field of reals with exponentiation extended abstract (Q3514637) (← links)
- Some diophantine forms of gödel's theorem (Q3956938) (← links)
- Factorization in generalized power series (Q4699622) (← links)
- Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document} (Q4915222) (← links)
- Models of true arithmetic are integer parts of models of real exponentation (Q4989722) (← links)
- Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics (Q5108098) (← links)
- Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic (Q5258485) (← links)
- The mathematical significance of proof theory (Q5301856) (← links)
- Intuitionistic open induction and least number principle and the Buss operator (Q5937815) (← links)
- Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts (Q6096734) (← links)
- A factorisation theory for generalised power series and omnific integers (Q6204522) (← links)