ریاضیات معکوس ۲۰۰۱: یادداشت‌های درس در منطق ۲۱

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. Possible M-diagrams Of Models Of Arithmetic / Andrew Arana -- Weak Theories Of Nonstandard Arithmetic And Analysis / Jeremy Avigad -- Notions Of Compactness In Weak Subsystems Of Second Order Arithmetic / Douglas K. Brown -- Proof-theoretic Strength Of The Stable Marriage Theorem And Other Problems / Douglas Cenzer And Jeffrey B. Remmel -- Free Sets And Reverse Mathematics / Peter A. Cholak, Mariagnese Giusto, Jeffry L. Hirst And Carl G. Jockusch, Jr. -- Interpreting Arithmetic In The R.e. Degrees Under [sigma][subscript 4]-induction / C.t. Chong, Richard A. Shore And Yue Yang -- Reverse Mathematics, Archimedean Classes, And Hahn's Theorem / Rodney G. Downey And Reed Solomon. Edited By Stephen G. Simpson. Includes Bibliographical References. This book is intended as a sequel or partial update of Subsystems of Second Order Arithmetic (SOSOA). It consists of 24 original research papers exhibiting some of the exciting new developments in reverse mathematics and subsystems of second order arithmetic, subsequent to 1998. We use P( ) to denote the class of all subsets of.