Coverart for item
The Resource Reverse mathematics 2001, edited by Stephen G. Simpson

Reverse mathematics 2001, edited by Stephen G. Simpson

Label
Reverse mathematics 2001
Title
Reverse mathematics 2001
Statement of responsibility
edited by Stephen G. Simpson
Contributor
Subject
Language
eng
Member of
Cataloging source
DLC
Dewey number
511.3
Illustrations
illustrations
Index
no index present
LC call number
QA9.25
LC item number
.R48 2005
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
1945-
http://library.link/vocab/relatedWorkOrContributorName
Simpson, Stephen G.
Series statement
Lecture notes in logic
Series volume
21
http://library.link/vocab/subjectName
Reverse mathematics
Label
Reverse mathematics 2001, edited by Stephen G. Simpson
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • 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
Control code
59402292
Dimensions
24 cm
Extent
x, 401 pages
Isbn
9781568812649
Isbn Type
(paperback)
Lccn
2005047606
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Reverse mathematics 2001, edited by Stephen G. Simpson
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • 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
  • 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
Control code
59402292
Dimensions
24 cm
Extent
x, 401 pages
Isbn
9781568812649
Isbn Type
(paperback)
Lccn
2005047606
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Curtis Laws Wilson LibraryBorrow it
      400 West 14th Street, Rolla, MO, 65409, US
      37.955220 -91.772210
Processing Feedback ...