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
Dense subfields of henselian fields, and integer parts
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. 204 - 226Publisher: Cambridge University PressPrint publication year: 2006
References
[B-K-K] , , and , Primes and irreducibles in truncation integer parts of real closed fields,Logic in Tehran (, , and , editors), Lecture Notes in Logic, vol. 26, ASL and AK Peters, 2006, this volume, pp. 42–64.Google Scholar
[Bg] , 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
[Br] , Commutative Algebra, Hermann, Paris, 1972.
[E] , Valuation Theory, Springer, New York, 1972.
[F] , Embedding henselian fields in power series, preprint.
[Fu] , Partially Ordered Algebraic Systems, Pergamon Press, Oxford, 1963.
[K1] , Value groups, residue fields, and bad places of rational function fields,Transactions of the American Mathematical Society, vol. 356 (2004), no. 11, pp. 4559–4600.Google Scholar
[K2] , Book on Valuation Theory (in preparation), Preliminary versions of several chapters available at: http://math.usask.ca/∼~fvk/Fvkbook.htm.
[KS] , Ordered Exponential Fields, Fields Institute Monographs, vol. 12, American Mathematical Society, Providence, RI, 2000.
[M-S] and , Zero-dimensional branches of rank one on algebraic varieties,Annals of Mathematics. Second Series, vol. 40 (1939), pp. 507–520.Google Scholar
[N] , Algebraic Number Theory, Springer, Berlin, 1999.
[P] , Lectures on Formally Real Fields, Lecture Notes in Mathematics, vol. 1093, Springer, Berlin, 1984.
[R] , Théorie des valuations, Les Presses de l'Université de Montréal, Montreal, Que., 1968.
[W] , Topological Fields, North-Holland Mathematics Studies, vol. 157, North- Holland, Amsterdam, 1989.
[Z-S] and , Commutative Algebra. Vol. II, D. Van Nostrand, New York Heidelberg-Berlin, 1960.