Reverse Mathematics 2001: Lecture Notes in Logic 21Stephen George Simpson Reverse Mathematics is a program of research in the foundations of mathematics, motivated by the foundational questions of what are appropriate axioms for mathematics, and what are the logical strengths of particular axioms and particular theorems. The book contains 24 original papers by leading researchers. These articles exhibit the exciting recent developments in reverse mathematics and subsystems of second order arithmetic. |
Contents
Jeremy Avigad | 19 |
Douglas K Brown | 47 |
Douglas Cenzer and Jeffrey B Remmel | 67 |
Copyright | |
17 other sections not shown
Other editions - View all
Common terms and phrases
abelian group ACAO Archimedean assume ATRO axioms b₁ blocking pair BTFA claim coded compact computable construction continuous embedding continuous function contradiction COROLLARY countable well orderings define definition denote Dom(M exists following are equivalent following is provable free set function f graph Hence implies induction infinite path initial segment isomorphic König's lemma least element Lemma Let f limit point linear ordering metric space n-colorable N₁ natural numbers nonempty Notes in Logic ordered group parameters Peano arithmetic poset primitive recursive promptly simple proof of Theorem provable in RCA prove quasi-ordering r.e. degrees Ramsey's theorem real numbers result reverse mathematics rk(x saturated models scheme second order arithmetic sentences stable marriage problem stable matching subgroup subset subsystems of second Suppose Symbolic Logic tail well founded Theorem 2.2 theory w-model WKLO Wn+1