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
Beatty sequences and the arithmetical hierarchy
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. 126 - 133Publisher: Cambridge University PressPrint publication year: 2006
References
[A] , Sturmian sequences,Substitutions in Dynamics, Arithmetics and Combinatorics ( et al., editors), Lecture Notes in Mathematics, vol. 1794, Springer, Berlin, 2002, pp. 143–198.
[H] , Metric Number Theory, The Clarendon Press Oxford University Press, New York, 1998.
[K] , Models of Peano Arithmetic, The Clarendon Press Oxford University Press, New York, 1991.
[N] , Diophantine Approximations, Interscience Publishers, a division of John Wiley & Sons, New York, 1963.
[R] , Review of rekursive funktionen by R. Péter,The Journal of Symbolic Logic, vol. 16 (1951), pp. 280–282.Google Scholar
[S] , Recursively Enumerable Sets and Degrees, Perspectives inMathematical Logic, Springer-Verlag, Berlin, 1987.
[ZW] and , The arithmetical hierarchy of real numbers,Mathematical Logic Quarterly, vol. 47 (2001), no. 1, pp. 51–65.Google Scholar