Chapter: Reverse mathematics, countable and uncountable: a computational approach

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Effective Mathematics of the Uncountable > Reverse mathematics, countable and uncountable: a computational approach

Effective Mathematics of the Uncountable |

Noam Greenberg; Denis Hirschfeldt; Joel David Hamkins; Russell Miller

Cambridge University Press

Effective Mathematics of the Uncountable

Reverse mathematics, countable and uncountable: a computational approach

Chapter Info

Authors

Richard A. Shore

ARI Id

1667147659690_9850516

Access

Not Available Free

Pages

150-163

Chapter URL

https://www.cambridge.org/core/books/effective-mathematics-of-the-uncountable/reverse-mathematics-countable-and-uncountable-a-computational-approach/C6E07959319FCBD42037E53BB865C6E0

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 12 of 12 entries

Chapters/Headings	Author(s)	Pages	Info
Frontmatter		i-iv
Contents		v-vi
Preface		vii-viii
Introduction		1-13
Some results on ℝ-computable structures	Wesley Calvert; John E. Porter	14-32
Infinite time Turing machines and an application to the hierarchy of equivalence relations on the reals	Samuel Coskey; Joel David Hamkins	33-49
Computable structure theory using admissible recursion theory on ω1 using admissibility	Noam Greenberg; Julia F. Knight	50-80
Local computability and uncountable structures	Russell Miller	81-123
Borel structures: a brief survey	Antonio Montalbán; André Nies	124-134
E-recursive intuitions	Gerald E. Sacks	135-149
Reverse mathematics, countable and uncountable: a computational approach	Richard A. Shore	150-163
Effective model theory: approach via σ-definability	Alexey Stukachev	164-197
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 12 of 12 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries