Book contents
- Frontmatter
- Contents
- Preface
- Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003
- Foreword
- Mathematical logic in Iran: A perspective
- Real closed fields and IP-sensitivity
- Categoricity and quantifier elimination for intuitionistic theories
- Primes and irreducibles in truncation integer parts of real closed fields
- On explicit definability in arithmetic
- From bounded arithmetic to second order arithmetic via automorphisms
- Local-global principles and approximation theorems
- Beatty sequences and the arithmetical hierarchy
- Specker's theorem, cluster points, and computable quantum functions
- Additive polynomials and their role in the model theory of valued fields
- Dense subfields of henselian fields, and integer parts
- A recursive nonstandard model for open induction with GCD property and cofinal primes
- Model theory of bounded arithmetic with applications to independence results
- Ibn-Sina's anticipation of the formulas of Buridan and Barcan
- Remarks on algebraic D-varieties and the model theory of differential fields
- A simple positive Robinson theory with LSTP ≠ STP
- Categories of theories and interpretations
- References
Local-global principles and approximation theorems
Published online by Cambridge University Press: 30 March 2017
Book contents
- Frontmatter
- Contents
- Preface
- Workshop and conference on logic, algebra, and arithmetic: Tehran, October 18–22, 2003
- Foreword
- Mathematical logic in Iran: A perspective
- Real closed fields and IP-sensitivity
- Categoricity and quantifier elimination for intuitionistic theories
- Primes and irreducibles in truncation integer parts of real closed fields
- On explicit definability in arithmetic
- From bounded arithmetic to second order arithmetic via automorphisms
- Local-global principles and approximation theorems
- Beatty sequences and the arithmetical hierarchy
- Specker's theorem, cluster points, and computable quantum functions
- Additive polynomials and their role in the model theory of valued fields
- Dense subfields of henselian fields, and integer parts
- A recursive nonstandard model for open induction with GCD property and cofinal primes
- Model theory of bounded arithmetic with applications to independence results
- Ibn-Sina's anticipation of the formulas of Buridan and Barcan
- Remarks on algebraic D-varieties and the model theory of differential fields
- A simple positive Robinson theory with LSTP ≠ STP
- Categories of theories and interpretations
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- Logic in Tehran , pp. 114 - 125Publisher: Cambridge University PressPrint publication year: 2006
References
[1] , The Hasse principle in a pencil of algebraic varieties,Number Theory (Tiruchirapalli, 1996), Contemporary Mathematics, vol. 210, AMS, Providence, RI, 1998, pp. 19–39.
[2] , Decidability and local-global principles,Hilbert's Tenth Problem: Relations With Arithmetic and Algebraic Geometry (Ghent, 1999), Contemporary Mathematics, vol. 270, AMS, Providence, RI, 2000, pp. 145–167.
[3] , Multiple valued fields,Russian Mathematical Surveys, vol. 37 (1982), no. 3, pp. 63–107.
[4] , Two theorems on regularly r-closed fields,Journal fur die Reine und Angewandte Mathematik, vol. 347 (1984), pp. 154–167.Google Scholar
[5] , Relative regular closeness and π-valuations,Algebra and Logic, vol. 31 (1992), no. 6, pp. 342–360.Google Scholar
[6] , On surprising (wonderful) extensions of the field of rationals,Rossiıskaya Akademiya Nauk. Doklady Akademii Nauk, vol. 62 (2000), no. 1, pp. 8–9.Google Scholar
[7] , Multi-Valued Fields, Kluwer Academic/Plenum Publishers, 2001.
[8] , Preordered multivalued fields,Rossiıskaya Akademiya Nauk. Doklady Akademii Nauk, vol. 65 (2002), no. 1, pp. 75–79.Google Scholar
[9] , Nice extensions and global class field theory,Rossiıskaya Akademiya Nauk. Doklady Akademii Nauk, vol. 67 (2003), no. 1, pp. 21–23.Google Scholar
[10] , , and , On Rumely's local-global principle,Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 97 (1995), no. 2, pp. 43–74.Google Scholar
[11] , Die Entscheidbarkeit der Theorie der maximalen pseudo-p-adisch abgeschlossenen Körper, Dissertation, Universitat Konstanz, 1987.
[12] and , Fields regularly closed with respect to finitely many valuations and orderings,Quadratic and Hermitian Forms (Hamilton, Ont., 1983), CMS Conf. Proc., vol. 4, AMS, Providence, RI, 1984, pp. 297–336.
[13] , Algebraic realization of p-adically projective groups,Compositio Mathematica, vol. 79 (1991), no. 1, pp. 21–62.Google Scholar
[14] , Groupes de Picard et problèmes de Skolem. I, II,Annales Scientifiques de l'É cole Normale Superieure. Quatrieme Serie, vol. 22 (1989), no. 2, pp. 161–179, 181–194.Google Scholar
[15] , Pseudo real closed fields,Set Theory and Model Theory (Bonn, 1979), Lecture Notes in Mathematics, vol. 872, Springer, Berlin, 1981, pp. 127–156.
[16] , Arithmetic over the ring of all algebraic integers,Journal fur die Reine und Angewandte Mathematik, vol. 368 (1986), pp. 127–133.Google Scholar
[17] , Regularly T-closed fields,Hilbert's Tenth Problem: Relations with Arithmetic and Algebraic Geometry (Ghent, 1999), Contemporary Mathematics, vol. 270, AMS, Providence, RI, 2000, pp. 187–212.
[18] , Model Theory of Fields, Thesis, Utrecht, 1978.
[19] and , Commutative Algebra. Vol. II, D. Van Nostrand Co., Inc., Princeton, N. J.-Toronto-London-New York, 1960.