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
Real closed fields and IP-sensitivity
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. 1 - 22Publisher: Cambridge University PressPrint publication year: 2006
References
[BO] and , A recursive nonstandard model of normal open induction, The Journal of Symbolic Logic, vol. 61 (1996), no. 4, pp. 1228–1241.Google Scholar
[B] , Résultats optimaux sur l'existence d'une partie entière dans les corps ordonn és, The Journal of Symbolic Logic, vol. 58 (1993), no. 1, pp. 326–333.Google Scholar
[D] , Some model theory and number theory for models of weak systems of arithmetic,Model Theory of Algebra and Arithmetic (Proc. Conf., Karpacz, 1979) (, , and , editors), Lecture Notes in Mathematics, vol. 834, Springer, Berlin, 1980, pp. 346–362.
[EGH] , , and , An isomorphism theorem for real-closed fields, Annals of Mathematics. Second Series, vol. 61 (1955), pp. 542–554.Google Scholar
[H] , Algebra, Graduate Texts in Mathematics, vol. 73, Springer, New York, 1974, (5th printing 1989).
[K] , Dense Subfields and Integer Parts, abstract of a talk at International Congress M.ARI.AN. 2004 (see http://math.usask.ca/~fvk/Fvktalks.html).
[K2] , Dense Subfields of Henselian Fields, and Integer Parts,Logic in Tehran (, , and , editors), Lecture Notes in Logic, vol. 26, ASL and AK Peters, 2006, this volume, pp. 204–226.Google Scholar
[L] , Asurvey ofDiophantine approximation in fields of power series,Monatshefte fur Mathematik, vol. 130 (2000), no. 3, pp. 211–229.
[Mc] , New facts about Hilbert's seventeenth problem,Model Theory and Algebra (A Memorial Tribute to Abraham Robinson) ( and , editors), Lecture Notes in Mathematics, vol. 498, Springer, Berlin, 1975, pp. 220–230.
[Mo] , Recursive models of open induction of prescribed finite transcendence degree > 1 with cofinal twin primes,Comptes Rendus de l'Académie des Sciences. Série I. Mathématique, vol. 319 (1994), no. 9, pp. 903–908.Google Scholar
[ME] and , Relatively complete ordered fields without integer parts, Fundamenta Mathematicae, vol. 179 (2003), no. 1, pp. 17–25.Google Scholar
[MR] and , Every real closed field has an integer part,The Journal of Symbolic Logic, vol. 58 (1993), no. 2, pp. 641–647.Google Scholar
[My] , Algebraic independence and measure,Fundamenta Mathematicae, vol. 61 (1967), pp. 165–169.Google Scholar
[N] , Diophantine Approximations, Interscience Publishers, a division of John Wiley & Sons, New York, 1963.
[R] , A Course in Number Theory, Oxford Science Publications, The Clarendon Press Oxford University Press, New York, 1994.
[Sch] , Models of Peano arithmetic and a question of Sikorski on ordered fields,Israel Journal of Mathematics, vol. 50 (1985), no. 1-2, pp. 145–159.Google Scholar
[Sco] , On completing ordered fields,Applications of Model Theory to Algebra, Analysis, and Probability (Internat. Sympos., Pasadena, Calif., 1967) (, editor), Holt, Rinehart and Winston, New York, 1969, pp. 274–278.