Citations of:

Solving Pell equations locally in models of IΔ0

Journal of Symbolic Logic 63 (2):402-410 (1998)

You must login to add citations.

Quadratic forms in models of IΔ0+ Ω1, Part II: Local equivalence.Paola D’Aquino & Angus Macintyre - 2011 - Annals of Pure and Applied Logic 162 (6):447-456.details 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. Download Export citation Bookmark 1 citation

Applied ethics	Epistemology	History of Western Philosophy	Meta-ethics	Metaphysics	Normative ethics
Philosophy of biology	Philosophy of language	Philosophy of mind	Philosophy of religion	Science Logic and Mathematics	More ...