Quadratic forms in models of I _0+ _1. I

DOI10.1016/J.APAL.2007.05.004MaRDI QIDQ2382276zbMATH OpenOpenAlexFDO

Authors Paola D'Aquino, Angus Macintyre

Publication date 28 September 2007

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2007.05.004

zbMATH Keywords

quadratic formsquadratic reciprocityweak fragments of arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Power residues, reciprocity (11A15) Models of arithmetic and set theory (03C62) Model theory (number-theoretic aspects) (11U09) General binary quadratic forms (11E16)

Recommendations

• Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence
• Quotient fields of a model of \(I\Delta_0+\Omega_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

Cites work

• 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?)
• Combinatorial principles in elementary number theory
• Existence and feasibility in arithmetic
• 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

Cited in

(4)

• Abelian groups and quadratic residues in weak arithmetic
• Quadratic residues and \(x^ 3+y^ 3=z^ 3\) in models of \(IE_ 1\) and \(IE_ 2\)
• Quotient fields of a model of \(I\Delta_0+\Omega_1\)
• Quadratic forms in models of \(I\Delta_0 + \Omega_1\). II: Local equivalence

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)