Independence proofs in arithmetic theories with very weak induction.
Saved in:
| Author / Creator: | Garro, Ibrahim. |
|---|---|
| Imprint: | Bonn : [Mathematisches Institut der Universität], 1973. |
| Description: | 69, [2] p. 21 cm. |
| Language: | English |
| Series: | Bonner mathematische Schriften, Nr. 61 |
| Subject: | Model theory. Independence (Mathematics) Independence (Mathematics) Model theory. |
| Format: | Dissertations Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/5631297 |
| LEADER | 01760nam a2200397 4500 | ||
|---|---|---|---|
| 001 | 5631297 | ||
| 005 | 20051114154000.0 | ||
| 008 | 740904s1973 gw b 000 0 eng | ||
| 003 | ICU | ||
| 010 | |a 74172140 | ||
| 015 | |a GFR*** | ||
| 035 | |a (OCoLC)1066977 | ||
| 040 | |a DLC |c DLC |d UtOrBLW | ||
| 049 | |a CGUA | ||
| 050 | 0 | 0 | |a QA1 |b .B763 nr. 61 |a QA9.7 |
| 082 | 0 | 0 | |a 510/.8 s |a 511/.3 |
| 100 | 1 | |a Garro, Ibrahim. |0 http://id.loc.gov/authorities/names/no2010003214 |1 http://viaf.org/viaf/52227828 | |
| 245 | 1 | 0 | |a Independence proofs in arithmetic theories with very weak induction. |
| 260 | |a Bonn : |b [Mathematisches Institut der Universität], |c 1973. | ||
| 300 | |a 69, [2] p. |c 21 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 | ||
| 440 | 0 | |a Bonner mathematische Schriften, |v Nr. 61 | |
| 502 | |a Inaug. Diss.--Bonn. | ||
| 504 | |a Bibliography: p. [71] | ||
| 650 | 0 | |a Model theory. |0 http://id.loc.gov/authorities/subjects/sh85086421 | |
| 650 | 0 | |a Independence (Mathematics) |0 http://id.loc.gov/authorities/subjects/sh85064829 | |
| 650 | 7 | |a Independence (Mathematics) |2 fast |0 http://id.worldcat.org/fast/fst00968877 | |
| 650 | 7 | |a Model theory. |2 fast |0 http://id.worldcat.org/fast/fst01024368 | |
| 901 | |a Analytic | ||
| 903 | |a HeVa | ||
| 903 | |a Hathi | ||
| 999 | f | f | |i ab7a9720-bd1e-59ff-9851-55a44512bdc0 |s aafd7e0d-2192-5dbc-a34e-0545560eb6ed |
| 928 | |t Library of Congress classification |a QA1.B705 no.61 |l ASR |c ASR-SciASR |i 4971151 | ||
| 927 | |t Library of Congress classification |a QA1.B705 no.61 |l ASR |c ASR-SciASR |g Analytic |e CRERAR |b A13068905 |i 7851508 | ||
