Quadratic forms in models of I _0+ _1. I
The paper develops a theory of binary quadratic forms over weak fragments of Peano Arithmetic. The ultimate goal (not yet fulfilled) is Gauss's proof of quadratic reciprocity. The development follows \textit{J. W. S. Cassels}'s book [Rational quadratic forms. London etc.: Academic Press (1978; Zbl 0395.10029)]. After a quick introduction to Pell and anti-Pell equations, quadratic reciprocity law, and quadratic forms, the authors discuss \(\Delta_0\)-definability of equivalence of binary quadratic forms over models of \(I\Delta_0+\Omega_1\). Let \(\mathcal M\) be a model. Then, a form \(f\) is \(\mathcal M\)-equivalent to \(g\) if there are matrices \(C\) and \(E\) over \(\mathcal M\) such that \(g(\bar v)=f(C\bar v)\) and \(f(\bar v)=g(E\bar v)\). It is shown that the relation of equivalence between two forms is not \(\Delta_0\)-definable in the language including a function symbol for \(x^{\log y}\). However, there are other positive results, for example, for positive definite forms the equivalence relation is \(\Delta_0\)-definable. The main result is the following version of Gauss's Finiteness Theorem: Let \({\mathcal M}\) be a model of \(I\Delta_0+\Omega_1\). There is a fixed polynomial \(P(x)\) with integer coefficients such that any quadratic form of determinant \(d\) is properly \({\mathcal M}\)-equivalent to a form with the same determinant but whose coefficients are all bounded by \(P(d)\). The paper concludes with a section establishing a group law on the set of equivalence classes of proper \(\mathcal M\)-equivalence.
- Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence
- Quotient fields of a model of I₀+_1
- Quadratic forms for the Liouville equation \(w_{tt} + \lambda ^{2}a(t)w = 0\) with applications to Kirchhoff equation
- Quadratic and -Hermitian forms
- Quadratic forms corresponding to the generalized Schrödinger semigroups
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models
- Quadratic forms for the 1-D semilinear Schrödinger equation
- Some model-theoretic results in the algebraic theory of quadratic forms
- Quadratic forms for singular perturbations of the Laplacian
- Quasimodular forms as solutions of modular differential equations
- Combinatorial principles in elementary number theory
- Existence and feasibility in arithmetic
- scientific article; zbMATH DE number 3758312 (Why is no real title available?)
- scientific article; zbMATH DE number 3613145 (Why is no real title available?)
- scientific article; zbMATH DE number 464646 (Why is no real title available?)
- scientific article; zbMATH DE number 815430 (Why is no real title available?)
- scientific article; zbMATH DE number 3191379 (Why is no real title available?)
- scientific article; zbMATH DE number 3032896 (Why is no real title available?)
- Non-standard finite fields over \(I\Delta_0+\Omega_1\)
- On the Computational Complexity of Determining the Solvability or Unsolvability of the Equation X 2 - DY 2 = -1
- On the scheme of induction for bounded arithmetic formulas
- Pell equations and exponentiation in fragments of arithmetic
- Provability of the pigeonhole principle and the existence of infinitely many primes
This page was built for publication: Quadratic forms in models of \(I\Delta _{0}+\Omega _{1}\). I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2382276)
