Entry Pohlers:1989:OAF from lnm1985.bib
Last update: Sat Oct 14 02:53:33 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Pohlers:1989:OAF,
author = "Wolfram Pohlers",
title = "Ordinal analysis of the formal theory for noniterated
inductive definitions",
journal = j-LECT-NOTES-MATH,
volume = "1407",
pages = "109--186",
year = "1989",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/978-3-540-46825-7_4",
ISBN = "3-540-51842-8 (print), 3-540-46825-0 (e-book)",
ISBN-13 = "978-3-540-51842-6 (print), 978-3-540-46825-7
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
bibdate = "Fri May 9 19:07:26 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1985.bib",
URL = "http://link.springer.com/chapter/10.1007/978-3-540-46825-7_4/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/978-3-540-46825-7",
book-URL = "http://www.springerlink.com/content/978-3-540-46825-7",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- analysis,
1115(0)1,
1121(0)55,
1127(0)243,
1129(0)94,
1154(0)1,
1154(0)41,
1158(0)180,
1174(0)43,
1190(0)215,
1190(0)397,
1191(0)46,
1192(0)197,
1192(0)295,
1192(0)309,
1203(0)214,
1206(0)61,
1206(0)109,
1213(0)384,
1215(0)165,
1230(0)46,
1236(0)230,
1237(0)251,
1272(0)39,
1285(0)73,
1302(0)44,
1306(0)23,
1306(0)141,
1336(0)1,
1347(0)153,
1348(0)257,
1354(0)54,
1359(0)1,
1359(0)16,
1359(0)238,
1362(0)51,
1377(0)117,
1379(0)254,
1382(0)1,
1384(0)91,
1407(0)7
- definition,
1131(0)3,
1145(0)6,
1153(0)141,
1163(0)23,
1173(0)1,
1237(0)161,
1282(0)6,
1358(0)15,
1358(0)35,
1358(0)131
- formal,
1146(0)214,
1163(0)107,
1163(0)135,
1163(0)170,
1183(0)218,
1276(0)313,
1298(0)17,
1310(0)8,
1310(0)15,
1326(0)11,
1326(0)182,
1366(0)43,
1388(0)120
- ordinal,
1141(0)49,
1141(0)141,
1333(0)117,
1401(0)5,
1407(0)7,
1407(0)77
- Pohlers, Wolfram,
1407(0)1,
1407(0)7,
1407(0)77,
1407(0)187