Quadratic forms in models of I _0+ _1. I

DOI10.1016/J.APAL.2007.05.004zbMATH Open1124.03032OpenAlexW1981309831MaRDI QIDQ2382276FDOQ2382276

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

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 \(\lambda\)-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

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)

Cites Work

• On the scheme of induction for bounded arithmetic formulas
• Existence and feasibility in arithmetic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the Computational Complexity of Determining the Solvability or Unsolvability of the Equation X 2 - DY 2 = -1
• Title not available (Why is that?)
• Combinatorial principles in elementary number theory
• Non-standard finite fields over \(I\Delta_0+\Omega_1\)
• Pell equations and exponentiation in fragments of arithmetic
• Provability of the pigeonhole principle and the existence of infinitely many primes
• Title not available (Why is that?)
• Title not available (Why is that?)

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)