Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Reverse Mathematics 2001: Lecture Notes in Logic 21 > MODELS OF ARITHMETIC: QUANTIFIERS AND COMPLEXITY
Reverse Mathematics 2001: Lecture Notes in Logic 21 |
Stephen G. Ross
Routledge
Reverse Mathematics 2001: Lecture Notes in Logic 21
MODELS OF ARITHMETIC: QUANTIFIERS AND COMPLEXITY
Authors

JULIA F. KNIGHT

ARI Id

1666105431695_14745722

Access

Not Available Free

Pages

271-281

DOI

10.1201/9781439864289-16

Table of Contents of Book
Showing 1 to 20 of 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
POSSIBLE m-DIAGRAMS OF MODELS 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 REVERSE MATHEMATICS
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; S THEOREM
RODNEY G. DOWNEY; REED SOLOMON
147-163
THE BAIRE CATEGORY THEOREM OVER A FEASIBLE BASE THEORY
ANTÓNIO M. FERNANDES
164-176
BASIC APPLICATIONS OF WEAK KÖNIG&s; S LEMMA IN FEASIBLE ANALYSIS
ANTONIO 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 REVERSE MATHEMATICS OF ORDINAL ARITHMETIC
JEFFRY L. HIRST
222-234
REVERSE MATHEMATICS 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-281
HIGHER ORDER REVERSE MATHEMATICS
ULRICH KOHLENBACH
281-295
ARITHMETIC SATURATION
ROMAN KOSSAK
296-302
WQO AND BQO THEORY IN SUBSYSTEMS OF SECOND ORDER ARITHMETIC
ALBERTO MARCONE
303-330
REVERSE MATHEMATICS AND GRAPH COLORING: ELIMINATING DIAGONALIZATION
JAMES H. SCHMERL
331-348
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings