A note on the Π02–induction rule∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe-Universit¨at, Robert-Mayer-Strasse 6–10, D–60054 Frankfurt, Germany Abstract It is well–known (due to C. Parsons) that th

Source URL: www.mathematik.tu-darmstadt.de

• Predicate logic
• Computability theory
• Recursion
• Logic
• Theory of computation
• Primitive recursive arithmetic
• Primitive recursive function
• Quantifier
• First-order logic
• Free variables and bound variables
• Herbrandization

BROWN’S LEMMA IN SECOND-ORDER ARITHMETIC EMANUELE FRITTAION Abstract. We show that Brown’s lemma is equivalent to IΣ02 over RCA∗0 . We also show that (the infinite) van der Waerden’s theorem is equivalent to BΣ

Source URL: www.math.tohoku.ac.jp

• Mathematics
• Ergodic theory
• Ramsey theory
• Semigroup theory
• Lemmas
• Combinatorics
• Piecewise syndetic set
• Partition regularity
• Syndetic set
• Diagonal lemma
• IP set
• BanachAlaoglu theorem

13 Letters to the IEEE Computer Arithmetic Standards Revision Group Ulrich Kulisch ¨r Angewandte und Numerische Mathematik Institut fu ¨t Karlsruhe

Source URL: grouper.ieee.org

• Computer arithmetic
• Computing
• Arithmetic
• Computer architecture
• Rounding
• IEEE floating point
• Karlsruhe Accurate Arithmetic
• IEEE 754 revision
• Interval arithmetic
• Quadruple-precision floating-point format
• Precision
• Division algorithm

Invent. math. 94, Inventione$ mathematicae 9 Springer-Verlag 1988

Source URL: people.mpim-bonn.mpg.de

• Analytic number theory
• Several complex variables
• Modular form
• Hecke operator
• Theta function
• Arithmetic function
• Determinant
• Toledo Nanochess
• Tensor product of modules

Scope & Sequence U nit Numbers 1 to 3

Source URL: www.richmond.com.co

• Mathematics
• Elementary arithmetic
• Binary operations
• Subtraction
• Size
• Shape
• Addition
• Number
• Ordinal number
• Matrix

Real Growth in Standard Parts of Analysis∗ Ulrich Kohlenbach Fachbereich Mathematik J.W. Goethe Universit¨at Robert-Mayer-StrFrankfurt am Main, Germany

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Functions and mappings
• Recursion
• Theory of computation
• Proof theory
• Primitive recursive function
• Continuous function
• Elementary function arithmetic
• Arithmetic function

Conference on Algebraic Geometry and Arithmetic Essen 2010

Source URL: m2.geometry.de

Floating Point Arithmetic IEEE 754 for MIPS Computer Systems Architecture http://cs.nott.ac.uk/∼txa/g51csa/

Source URL: www.cs.nott.ac.uk

The Arithmetic and Topology of Differential Equations Don Zagier (Max Planck Institute for Mathematics) The talk will describe arithmetic properties of solutions of linear differential equations, especially Picard-Fuchs

Source URL: www.7ecm.de

The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´

Source URL: www.lri.fr

• Mathematics
• Computer arithmetic
• Arithmetic
• Numerical analysis
• Functions and mappings
• Interval arithmetic
• Interval
• Rounding
• Integral
• GNU MPFR
• Mode
• Function