Division in the Theory S02+ of Bounded Arithmetic.

DOI10.4036/IIS.1997.81MaRDI QIDQ4244822zbMATH OpenOpenAlexFDO

Authors Mitsuru Tada

Publication date 29 September 1999

Published in Interdisciplinary Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4036/iis.1997.81

zbMATH Keywords

bounded arithmeticdivisioncode-versionpositive sequence number

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• Axiomatizations of arithmetic and the first-order/second-order divide
• scientific article; zbMATH DE number 898047
• On the arithmetic of some division algebras
• An arithmetic obstruction to division algebra decomposability
• Sprague-Grundy theory in bounded arithmetic
• scientific article; zbMATH DE number 1048040
• On the theory of division algebras
• Théorèmes de division sur $\widehat{\cal D}^{(0)}_{{\cal X}\bbfQ}$ et applications
• Arithmetic of divisibility in finite models
• Separations of first and second order theories in bounded arithmetic

Cited in

(2)

• scientific article; zbMATH DE number 1754588 (Why is no real title available?)
• The Division Relation: Congruence Conditions and Axiomatisability

This page was built for publication: Division in the Theory S02+ of Bounded Arithmetic.

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