Division in the Theory S02+ of Bounded Arithmetic.

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

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)

Related Items (2)

The Division Relation: Congruence Conditions and Axiomatisability ⋮ Title not available (Why is that?)

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the theory of division algebras 👍 👎
• On the arithmetic of some division algebras 👍 👎
• Axiomatizations of arithmetic and the first-order/second-order divide 👍 👎
• Sprague-Grundy theory in bounded arithmetic 👍 👎
• Separations of first and second order theories in bounded arithmetic 👍 👎
• Arithmetic of divisibility in finite models 👍 👎
• Théorèmes de division sur $\widehat{\cal D}^{(0)}_{{\cal X}\bbfQ}$ et applications 👍 👎
• An arithmetic obstruction to division algebra decomposability 👍 👎

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)