Bounded Formula
Category=PBCD
Complete Separable Metric Space
computability theory
End Nodes
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Finite Type
foundations of mathematics research
Godel Numbers
Infinite Descending Chain
Infinite Paths
Initial Segment
Linear Ordering
mathematical logic
model theory
Non-standard Model
Order Arithmetic
Peano Arithmetic
Primitive Recursion
Primitive Recursive Arithmetic
Primitive Recursive Function
proof theory
Quantifier Free Formula
Ramsey's Theorem
Reverse Mathematics
Scott Set
second order arithmetic
Stable Matching
Turing Degree
Uniform Continuity
USA E-mail
VFC
Vice Versa
weak subsystems
Product details
- ISBN 9781568812632
- Weight: 703g
- Dimensions: 152 x 229mm
- Publication Date: 01 Sep 2005
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
Ross\, Stephen G.
