Quadratic forms in models of IΔ0+ Ω1, Part II: Local equivalence

&
Annals of Pure and Applied Logic 162 (6):447-456 (2011)
  Copy   BIBTEX

Abstract

In this second paper of the series we do a local analysis of quadratic forms over completions of a non-standard model of IΔ0+Ω1

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2010.12.003

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 106,010

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quadratic forms in models of I Δ 0 + Ω 1. I.Paola D’Aquino & Angus Macintyre - 2007 - Annals of Pure and Applied Logic 148 (1):31-48.
End extensions of models of linearly bounded arithmetic.Domenico Zambella - 1997 - Annals of Pure and Applied Logic 88 (2-3):263-277.
Some model-theoretic results in the algebraic theory of quadratic forms.Vincent Astier - 2001 - Annals of Pure and Applied Logic 112 (2-3):189-223.
On the provability logic of bounded arithmetic.Rineke Verbrugge & Alessandro Berarducci - 1991 - Annals of Pure and Applied Logic 61 (1-2):75-93.
Erratum to: “Some model-theoretic results in the algebraic theory of quadratic forms” [Ann. Pure Appl. Logic 112 (2–3) (2001) 189–223]. [REVIEW]Vincent Astier - 2009 - Annals of Pure and Applied Logic 160 (1):127-128.
Quotient Fields of a Model of IΔ0 + Ω1.Paola D'Aquino - 2001 - Mathematical Logic Quarterly 47 (3):305-314.
P-points in Qmax models.Q. Feng & W. H. Woodin - 2003 - Annals of Pure and Applied Logic 119 (1-3):121-190.
Model theory for L∞ω1.Sy D. Friedman - 1984 - Annals of Pure and Applied Logic 26 (2):103-122.
A contribution to the end-extension problem and the Π1 conservativeness problem.Zofia Adamowicz - 1993 - Annals of Pure and Applied Logic 61 (1-2):3-48.
The cardinals below |[ω1]<ω1|.W. Hugh Woodin - 2006 - Annals of Pure and Applied Logic 140 (1-3):161-232.

Analytics

Added to PP
2013-10-27

Downloads
30 (#834,767)

6 months
5 (#852,615)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Finitistic Arithmetic and Classical Logic.Mihai Ganea - 2014 - Philosophia Mathematica 22 (2):167-197.

Add more citations

References found in this work

Existence and feasibility in arithmetic.Rohit Parikh - 1971 - Journal of Symbolic Logic 36 (3):494-508.
Local behaviour of the chebyshev theorem in models of iδ.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12 - 27.
Pell equations and exponentiation in fragments of arithmetic.Paola D'Aquino - 1996 - Annals of Pure and Applied Logic 77 (1):1-34.

View all 8 references / Add more references