Induction, bounding, weak combinatorial principles, and the homogeneous model theorem /
Saved in:
| Author / Creator: | Hirschfeldt, Denis Roman, author. |
|---|---|
| Imprint: | Providence, Rhode Island : American Mathematical Society, [2017] |
| Description: | 101 pages ; 26 cm. |
| Language: | English |
| Series: | Memoirs of the American Mathematical Society, 0065-9266 ; volume 249, number 1187 Memoirs of the American Mathematical Society ; no. 1187. |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/11338974 |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | 11338974 | ||
| 003 | ICU | ||
| 005 | 20171010080339.0 | ||
| 008 | 170911s2017 riu b 001 0 eng | ||
| 010 | |a 2017040911 | ||
| 040 | |a DLC |b eng |e rda |c DLC |d YDX |d BTCTA |d OCLCF |d CGU | ||
| 020 | |a 9781470426576 (alk. paper) | ||
| 020 | |a 1470426579 (alk. paper) | ||
| 035 | |a (OCoLC)990118199 | ||
| 042 | |a pcc | ||
| 050 | 0 | 0 | |a QA9.25 |b .H56 2017 |
| 082 | 0 | 0 | |a 511.3 |2 23 |
| 049 | |a CGUA | ||
| 100 | 1 | |a Hirschfeldt, Denis Roman, |e author. |0 http://id.loc.gov/authorities/names/nr00016118 |1 http://viaf.org/viaf/34733469 | |
| 245 | 1 | 0 | |a Induction, bounding, weak combinatorial principles, and the homogeneous model theorem / |c Denis R. Hirschfeldt, Karen Lange, Richard A. Shore. |
| 263 | |a 1709 | ||
| 264 | 1 | |a Providence, Rhode Island : |b American Mathematical Society, |c [2017] | |
| 300 | |a 101 pages ; |c 26 cm. | ||
| 336 | |a text |b txt |2 rdacontent |0 http://id.loc.gov/vocabulary/contentTypes/txt | ||
| 337 | |a unmediated |b n |2 rdamedia |0 http://id.loc.gov/vocabulary/mediaTypes/n | ||
| 338 | |a volume |b nc |2 rdacarrier |0 http://id.loc.gov/vocabulary/carriers/nc | ||
| 490 | 1 | |a Memoirs of the American Mathematical Society, |x 0065-9266 ; |v volume 249, number 1187 | |
| 504 | |a Includes bibliographical references and index. | ||
| 650 | 0 | |a Reverse mathematics. |0 http://id.loc.gov/authorities/subjects/sh2005002411 | |
| 650 | 0 | |a Computable functions. |0 http://id.loc.gov/authorities/subjects/sh85029469 | |
| 650 | 0 | |a Decidability (Mathematical logic) |0 http://id.loc.gov/authorities/subjects/sh85036191 | |
| 650 | 7 | |a Computable functions. |2 fast |0 http://id.worldcat.org/fast/fst00871985 | |
| 650 | 7 | |a Decidability (Mathematical logic) |2 fast |0 http://id.worldcat.org/fast/fst00888990 | |
| 650 | 7 | |a Reverse mathematics. |2 fast |0 http://id.worldcat.org/fast/fst01737141 | |
| 700 | 1 | |a Lange, Karen, |d 1980- |e author. |0 http://id.loc.gov/authorities/names/n2017054534 |1 http://viaf.org/viaf/21150645195410621578 | |
| 700 | 1 | |a Shore, Richard A., |d 1946- |e author. |0 http://id.loc.gov/authorities/names/n84041216 |1 http://viaf.org/viaf/51781431 | |
| 830 | 0 | |a Memoirs of the American Mathematical Society ; |v no. 1187. | |
| 901 | |a Analytic | ||
| 903 | |a HeVa | ||
| 929 | |a cat | ||
| 999 | f | f | |i b6f6de5c-65ec-59fc-9590-6ca2a2df56c9 |s 9787e600-9342-56eb-abcf-49743c4216de |
| 928 | |t Library of Congress classification |a QA1.A528 no.1187 |l ASR |c ASR-SciASR |i 10269954 | ||
| 927 | |t Library of Congress classification |a QA1.A528 no.1187 |l ASR |c ASR-SciASR |g Analytic |e CRERAR |b A113916724 |i 9848365 | ||
