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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

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

Through your library

Similar books and articles

Quadratic forms in normal open induction.Margarita Otero - 1993 - Journal of Symbolic Logic 58 (2):456-476.
Comparing notions of similarity for uncountable models.Taneli Huuskonen - 1995 - Journal of Symbolic Logic 60 (4):1153-1167.
Local behaviour of the chebyshev theorem in models of iδ.Paola D'Aquino - 1992 - Journal of Symbolic Logic 57 (1):12 - 27.
Action Emulation between Canonical Models.Floor Sietsma & Jan van Eijck - 2013 - Journal of Philosophical Logic 42 (6):905-925.
When local models fail.Brian Epstein - 2008 - Philosophy of the Social Sciences 38 (1):3-24.
How local are local operations in local quantum field theory?Miklós Rédei & Giovanni Valente - 2010 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 41 (4):346-353.
The impossibility of local skepticism.Stephen Maitzen - 2006 - Philosophia 34 (4):453-464.
Local holism.Carlo Penco - 2001 - In P. Bouquet (ed.), Lecture Notes in Artificial Intelligence. Kluwer Academic Publishers. pp. 290--303.

Analytics

Added to PP
2013-10-27

Downloads
13 (#886,827)

6 months
1 (#1,042,085)

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