Division in the Theory S02+ of Bounded Arithmetic.

DOI10.4036/IIS.1997.81zbMATH Open0921.03053OpenAlexW2001837023MaRDI QIDQ4244822FDOQ4244822

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

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

zbMATH Keywords

bounded arithmeticdivisioncode-versionpositive sequence number

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (2)

• Title not available (Why is that?)
• 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)