Independence proofs in arithmetic theories with very weak induction.

Saved in:
Bibliographic Details
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
Hidden Bibliographic Details
Notes:Inaug. Diss.--Bonn.
Bibliography: p. [71]
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