Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Reverse Mathematics 2001 > Models of arithmetic: quantifiers and complexity
Reverse Mathematics 2001 |
Stephen G. Simpson
Cambridge University Press
Reverse Mathematics 2001
Models of arithmetic: quantifiers and complexity
Authors

Julia F. Knight

ARI Id

1667232068210_10248942

Access

Not Available Free

Pages

271-280

Chapter URL

https://www.cambridge.org/core/books/reverse-mathematics-2001/models-of-arithmetic-quantifiers-and-complexity/729DDAD5DA82A545A587298D35C77D1A

Table of Contents of Book
Showing 1 to 20 of 27 entries
Chapters/HeadingsAuthor(s)PagesInfo
Frontmatter
i-iv
Preface
Stephen G. Simpson
v-viii
Contents
ix-x
Possible m-diagrams ofmodels of arithmetic
Andrew Arana
1-18
Weak theories of nonstandard arithmetic and analysis
Jeremy Avigad
19-46
Notions of compactness in weak subsystems of second order arithmetic
Douglas K. Brown
47-66
Proof-theoretic strength of the stable marriage theorem and other problems
Douglas Cenzer; Jeffrey B. Remmel
67-103
Free sets and reversemathematics
Peter A. Cholak; Mariagnese Giusto; Jeffry L. Hirst; Carl G. Jockusch
104-119
Interpreting arithmetic in the r. e. degrees under Σ4-induction
C. T. Chong; Richard A. Shore; Yue Yang
120-146
Reverse mathematics, Archimedean classes, and Hahn's Theorem
Rodney G. Downey; Reed Solomon
147-163
The Baire category theoremover a feasible base theory
António M. Fernandes
164-174
Basic applications of weak König's lemma in feasible analysis
António M. Fernandes; Fernando Ferreira
175-188
Maximal nonfinitely generated subalgebras
Harvey M. Friedman
189-200
Metamathematics of comparability
Harvey M. Friedman
201-218
A note on compactness of countable sets
Jeffry L. Hirst
219-221
A survey of the reversemathematics of ordinal arithmetic
Jeffry L. Hirst
222-234
Reversemathematics and ordinal suprema
Jeffry L. Hirst
235-243
Did Cantor need set theory?
A. James Humphreys
244-270
Models of arithmetic: quantifiers and complexity
Julia F. Knight
271-280
Higher order reversemathematics
Ulrich Kohlenbach
281-295
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 27 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings