reverse mathematics and non-standard methodsmizuhito/jss12/tanaka.pdf · reverse mathematics and...
TRANSCRIPT
![Page 1: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/1.jpg)
Reverse Mathematics and Non-Standard Methods
Mathematical Institute, Tohoku University
Kazuyuki Tanaka March 9, 2012
![Page 2: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/2.jpg)
Boole, de Morgan Cantor, Dedekind
Logic & Foundations
Frege, Peano, Peirce
Logicism
Hilbert Russell
Theory of numbers
Symbolic algebra
Gauss Peacock, Herschel, Babbage
Leibniz vs. Newton
20c
19c
17-18c
England Continent
Paradox
Intuitionism Poincare, Brouwer
Formalism
Gödel Turing
![Page 3: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/3.jpg)
Foundational Doctrines ⇨ Key Persons 1.Feasibility (Poly-time) ⇨ Ko 2.Finitism ⇨ Hilbert 3.Computability ⇨ Aberth, Pour-El 4.Constructivity ⇨ Bishop 5.Finitistic Reductionism ⇨ Hilbert 6.Predicativity ⇨ Weyl 7.Predic. Reductionism ⇨ Feferman 8.Semi-Finit. Consistency ⇨ Takeuti 9.Second Order Arith. ⇨ Hilbert 10. Ramified Type Theory ⇨ Russell 11. Constructible Universe ⇨ Gödel 12. Large Cardinals ⇨ Gödel
![Page 4: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/4.jpg)
Foundational Doctrines ⇨ Formal Systems
1.Feasibility ⇨ S , BTFA 2.Finitism ⇨ PRA 3.Computability ⇨ RCA0
4.Constructivity ⇨ RCA0
5.Finitistic Reductionism ⇨ WKL0
6.Predicativity ⇨ ACA0
7.Predic. Reductionism ⇨ ATR0
8.Semi-Finit. Consistency ⇨ Π -CA0 9.Second Order Arith. ⇨ Z2
10. Ramified Type Theory ⇨ PM 11. Constructible Universe ⇨ V=L 12. Large Cardinals ⇨ Vα
![Page 5: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/5.jpg)
From Foundationalism to Reverse Math
Foundationalism (基礎付け主義): Which systems are needed to do mathematics?
Reverse Mathematics (逆数学): Which axioms are needed to prove a theorem?
Reverse mathematics is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as “going backwards from the theorems to the axioms”. This contrasts with the ordinary mathematical practice of deriving theorems from axioms. Wikipedia
![Page 6: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/6.jpg)
Reverse Mathematics Phenomenon
Which axioms are needed to prove a theorem? 0. Fix a weak base system S (e.g. RCAo). 1. Pick a theorem Φ and formalize it in S. 2. Find a weakest axiom α to prove Φ in S. 3. Very often, we can show (over S) that α and Φ are logically equivalent
![Page 7: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/7.jpg)
Second Order Arithmetic (Hilbert Arithmetic)
A first order theory of natural numbers and sets of them.
Standard Model: (ω∪℘(ω); +,・, 0, 1, <, ∈)
![Page 8: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/8.jpg)
Bounded formulas , only with
Arithmetical formulas , with no set quantifiers
Analytical formulas:
Classifying Formulas
![Page 9: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/9.jpg)
Examples.
Recursive, Computable, Decidable
r.e. (recursively enumerable), c.e., the set of theorems of a formal system
co-r.e., finitistic assertions, the Gödel sentence, consistency, the Goldbach conjecture
1-consistency, the twin prime conj., Paris-Harrington, P ≠ NP
![Page 10: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/10.jpg)
Big five subsystems
![Page 11: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/11.jpg)
Weak König's Lemma for infinite binary trees
![Page 12: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/12.jpg)
Some results of R. M.
![Page 13: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/13.jpg)
Mathematics in the Big Five
analysis (separable): differential equations × × continuous functions × × × completeness, etc. × × × Banach spaces × × × × open and closed sets × × × × Borel and analytic sets × × × algebra (countable): countable fields × × × commutative rings × × × vector spaces × × Abelian groups × × × × miscellaneous: mathematical logic × × countable ordinals × × × infinite matchings × × × the Ramsey property × × × infinite games × × ×
0RCA 0WKL 0ACA 0ATR 011 CA−Π
![Page 14: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/14.jpg)
Defining the real number system
The following definitions are made in .
The operations on are also defined so that the resulting structure is a real closed order field.
Using the pairing function, we define and .
The basic operations on and are also naturally defined.
A real number is an infinite sequence of rationals such that for all .
![Page 15: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/15.jpg)
Some results 1. Sakamoto-T (2004) proved RCA0 |- ∀σ (RCOF |- σ ⇒ R |= σ) with the help of the fundamental theorem of algebra
(strong FTA)
2. Simpson-T.-Yamazaki (2002) proved
Thus, it suffices to show strong FTA in WKL0.
3. Strong FTA can be proved by a non-standard method in
WKL0.
![Page 16: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/16.jpg)
Satisfaction on
Sakamoto-T. (2004)
Simpson-T.-Yamazaki
The following fact (called strong FTA) is essential:
![Page 17: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/17.jpg)
Applications of Sakamoto-T’s result
![Page 18: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/18.jpg)
Conservation results
Shoenfield:
Harrington:
Barwise-Schlipf:
Simpson-T.-Yamazaki (2002):
![Page 19: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/19.jpg)
Application of Simpson-T.-Yamazaki's result
The fundamental theorem of algebra (FTA): Any complex polynomial of a positive degree has a unique factorization into linear terms.
By the STY result, we have
WKL0 |- (strong) FTA ⇒ RCA0 |- (strong) FTA.
By the usual mathematical argument, we have WKL0 |- FTA (for any particular standard polynomial). Thus, we have RCA0 |- FTA (standard),
which is not enough for our purpose.
![Page 20: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/20.jpg)
Theorem (H. Friedman, Kirby-Paris)
Theorem (T.) A converse to the above holds.
Non-Standard Models
![Page 21: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/21.jpg)
Thm. (self-embedding for , T. 1997)
History of self embedding results.
(Proof) By a back-and-forth argument.
Cor.
Self-Embedding Theorems
![Page 22: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/22.jpg)
Application (the maximum principle)
(Proof)
![Page 23: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/23.jpg)
Application
(Proof)
![Page 24: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/24.jpg)
Other applications
(Sakamoto-Yokoyama, 2007)
![Page 25: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/25.jpg)
Application (Sakamoto, Yokoyama)
(Proof)
![Page 26: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/26.jpg)
Outer model method for
Theorem (Gaifman):
This easily follows from
![Page 27: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/27.jpg)
Applications
(Proof)
(Yokoyama)
![Page 28: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/28.jpg)
Outer model method II for
This can be used with
![Page 29: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/29.jpg)
Some general results (due to Schmerl) Suppose , countable.
Suppose , countable.
Suppose
![Page 30: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/30.jpg)
Other nonstandard methods Comparing nonstandard arithmetic with
second-order arithmetic (Keisler, et al.) Nonstandardizing second-order arithmetic
(Yokoyama) Analyzing the strength of transfer principles
over very weak arithmetic (Impens, Sanders) Relating the existence of cuts or end-extentions
of a nonstandard model of arithmetic to second order principles (Kaye, Wong)
![Page 31: Reverse Mathematics and Non-Standard Methodsmizuhito/jss12/Tanaka.pdf · Reverse Mathematics and Non-Standard Methods Mathematical Institute, Tohoku University Kazuyuki Tanaka . March](https://reader030.vdocument.in/reader030/viewer/2022040822/5e6c377b10858010ad4ed4bc/html5/thumbnails/31.jpg)
THANK YOU