scientific article; zbMATH DE number 3214534

zbMATH Open0132.24701MaRDI QIDQ5341750FDOQ5341750

John Shepherdson

Publication date: 1964

Title of this publication is not available (Why is that?)

zbMATH Keywords

mathematical logic

Cited In (39)

• The constructive provability of a restricted axiom of double induction in the free variable additive arithmetic
• Root finding with threshold circuits
• Lengths of developments in \(K((G))\)
• Factorization in generalized power series
• The Green-Tao theorem on primes in arithmetical progressions in the positive cone of \(\mathbb Z [X]\)
• Bootstrapping. I
• The strength of sharply bounded induction requires MSP
• The provability of certain sequents in additive arithmetic
• Fermat's last theorem and Catalan's conjecture in weak exponential arithmetics
• Models of true arithmetic are integer parts of models of real exponentation
• Arithmetization of the field of reals with exponentiation extended abstract
• Primes and their residue rings in models of open induction
• Some diophantine forms of gödel's theorem
• On the value group of a model of Peano arithmetic
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024
• Fragments of IOpen
• Towers of complements to valuation rings and truncation closed embeddings of valued fields
• Open induction in a bounded arithmetic for \(\mathrm{TC}^{0}\)
• Schatunowsky's theorem, Bonse's inequality, and Chebyshev's theorem in weak fragments of Peano arithmetic
• 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}
• Algebraic combinatorics in bounded induction
• Division by zero
• Real closures of models of weak arithmetic
• A factorisation theory for generalised power series and omnific integers
• Limit computable integer parts
• Hilbert's tenth problem for weak theories of arithmetic
• Independence results for variants of sharply bounded induction
• Diophantine equations in fragments in arithmetic
• The mathematical significance of proof theory
• Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts
• Fermat's last theorem and Bezout's theorem in GCD domains
• Intuitionistic open induction and least number principle and the Buss operator
• The joint embedding property in normal open induction
• Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\)
• Induction and Skolemization in saturation theorem proving
• Polynomial time uniformization and non-standard methods
• Toward the limits of the Tennenbaum phenomenon
• Pell equations and exponentiation in fragments of arithmetic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5341750)