Entry Luckhardt:1973:BRM from lnm1970.bib
Last update: Sat Oct 14 02:51:54 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{Luckhardt:1973:BRM,
author = "Horst Luckhardt",
title = "On the bar recursive model of classical analysis and
the general bar induction over species",
journal = j-LECT-NOTES-MATH,
volume = "306",
pages = "137--156",
year = "1973",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0060886",
ISBN = "3-540-06119-3 (print), 3-540-38283-6 (e-book)",
ISBN-13 = "978-3-540-06119-9 (print), 978-3-540-38283-6
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
bibdate = "Fri May 9 19:07:14 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0060886/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0060871",
book-URL = "http://www.springerlink.com/content/978-3-540-38283-6",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- analysis,
170(0)209,
170(0)212,
183(0)177,
198(0)56,
202(0)1,
212(0)79,
229(0)81,
244(0)89,
255(0)10,
266(0)17,
266(0)151,
266(0)255,
272(0)83,
294(0)230,
306(0)13,
306(0)88,
306(0)93,
309(0)48,
322(0)122,
322(0)298,
324(0)30,
337(0)253,
362(0)107,
363(0)207,
395(0)149,
399(0)94,
399(0)123,
399(0)189,
419(0)71
- bar,
161(0)23,
161(0)44,
161(0)59,
168(0)135,
306(0)76,
306(0)129,
347(0)72
- classical,
143(0)65,
175(0)37,
175(0)54,
175(0)73,
175(0)111,
175(0)122,
175(0)135,
175(0)148,
189(0)1,
190(0)9,
198(0)1,
212(0)79,
212(0)161,
227(0)50,
237(0)110,
285(0)23,
285(0)72,
285(0)134,
306(0)13,
306(0)41,
306(0)68,
306(0)88,
306(0)93,
324(0)3,
342(0)1,
362(0)92
- general,
143(0)185,
162(0)12,
168(0)153,
175(0)1,
175(0)18,
175(0)106,
187(0)165,
206(0)14,
231(0)39,
232(0)18,
233(0)1,
237(0)58,
246(0)1,
263(0)49,
296(0)149,
316(0)1,
318(0)120,
329(0)9,
330(0)7,
360(0)1,
364(0)80,
365(0)302,
372(0)204,
372(0)218,
399(0)149,
424(0)30,
425(0)56,
426(0)1,
427(0)1
- induction,
212(0)141,
212(0)161,
306(0)129,
343(0)540
- Luckhardt, Horst,
306(0)1,
306(0)13,
306(0)28,
306(0)41,
306(0)50,
306(0)59,
306(0)68,
306(0)76,
306(0)88,
306(0)93,
306(0)98,
306(0)120,
306(0)129,
306(0)134
- model,
112(0)286,
192(0)153,
217(0)20,
217(0)36,
217(0)51,
217(0)74,
223(0)46,
255(0)42,
255(0)98,
255(0)128,
255(0)251,
303(0)41,
306(0)134,
337(0)489,
337(0)539,
344(0)324,
354(0)214,
369(0)1,
369(0)99
- recursive,
212(0)141,
212(0)161,
306(0)59,
306(0)76,
369(0)99
- species,
306(0)129