| 000 -LEADER |
|---|
| fixed length control field |
03102nam a22003257a 4500 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
CITU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20230215092731.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr an aaaaaaaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
210816b ||||| |||| 00| 0 eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780511910616 |
| 041 ## - LANGUAGE CODE |
|---|
| Language code of text/sound track or separate title |
eng. |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
510 |
| 245 ## - TITLE STATEMENT |
|---|
| Title |
Set theory, arithmetic, and foundations of mathematics : |
| Remainder of title |
theorems, philosophies / |
| Statement of responsibility, etc |
edited by Juliette Kennedy, Roman Kossak. |
| 264 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication, distribution, etc |
Cambridge: |
| Name of publisher, distributor, etc |
Cambridge University Press, |
| Date of publication, distribution, etc |
c2011 |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
1 online resource (xiii, 227 pages) : |
| Other physical details |
illustrations ; |
| 336 ## - CONTENT TYPE |
|---|
| Source |
rdacontent |
| Content type term |
text |
| Content type code |
text |
| 337 ## - MEDIA TYPE |
|---|
| Source |
rdamedia |
| Media type term |
computer |
| Media type code |
c |
| 338 ## - CARRIER TYPE |
|---|
| Source |
rdacarrier |
| Carrier type term |
online resource |
| Carrier type code |
cr |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE |
|---|
| Bibliography, etc |
Includes bibliographical references. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc |
"This collection of papers from various areas of mathematical logic showcases the remarkable breadth and richness of the field. Leading authors reveal how contemporary technical results touch upon foundational questions about the nature of mathematics. Highlights of the volume include: a history of Tennenbaum?s theorem in arithmetic; a number of papers on Tennenbaum phenomena in weak arithmetics as well as on other aspects of arithmetics, such as interpretability; the transcript of Gödel?s previously unpublished 1972-1975 conversations with Sue Toledo, along with an appreciation of the same by Curtis Franks; Hugh Woodin?s paper arguing against the generic multiverse view; Anne Troelstra?s history of intuitionism through 1991; and Aki Kanamori?s history of the Suslin problem in set theory. The book provides a historical and philosophical treatment of particular theorems in arithmetic and set theory, and is ideal for researchers and graduate students in mathematical logic and philosophy of mathematics" |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Set theory. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic, Symbolic and mathematical. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematics |
| General subdivision |
Philosophy. |
| 655 #0 - INDEX TERM--GENRE/FORM |
|---|
| Genre/form data or focus term |
Electronic books. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kennedy, Juliette. |
| Dates associated with a name |
1955- |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Kossak, Roman. |
| Dates associated with a name |
1953- |
| 856 ## - ELECTRONIC LOCATION AND ACCESS |
|---|
| Link text |
Full text available at Cambridge University Press Click here to view |
| Uniform Resource Identifier |
https://www.cambridge.org/core/books/set-theory-arithmetic-and-foundations-of-mathematics/BE08C6CD4ADCD1CE9DCB71DFF007C5B5 |
| 942 ## - ADDED ENTRY ELEMENTS |
|---|
| Source of classification or shelving scheme |
|
| Item type |
EBOOK |