Entry Cole:1972:NAR 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{Cole:1972:NAR,
author = "J. C. Cole and M. A. Dickmann",
title = "Non-axiomatizability results in infinitary languages
for higher-order structures",
journal = j-LECT-NOTES-MATH,
volume = "255",
pages = "29--41",
year = "1972",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0059536",
ISBN = "3-540-05744-7 (print), 3-540-37162-1 (e-book)",
ISBN-13 = "978-3-540-05744-4 (print), 978-3-540-37162-5
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
MRclass = "02G10 (02H10)",
MRnumber = "0337562 (49 \#2331)",
MRreviewer = "E. Engeler",
bibdate = "Fri May 9 19:07:09 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1970.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0059536/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0059533",
book-URL = "http://www.springerlink.com/content/978-3-540-37162-5",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- 02G10,
328(0)129
- 02H10,
255(0)42,
344(0)324
- higher-order,
267(0)289
- infinitary,
255(0)63,
337(0)361
- language,
125(0)29
- order, higher-,
267(0)289
- result,
133(0)3,
133(0)6,
149(0)54,
160(0)53,
170(0)62,
171(0)64,
175(0)18,
183(0)207,
183(0)213,
185(0)87,
185(0)97,
186(0)75,
186(0)143,
186(0)181,
195(0)205,
227(0)69,
228(0)253,
231(0)39,
243(0)91,
253(0)4,
280(0)147,
281(0)214,
303(0)125,
334(0)42,
349(0)1,
364(0)186,
364(0)196,
365(0)363,
375(0)120,
376(0)123,
384(0)20,
388(0)45,
399(0)220,
406(0)1,
406(0)29,
406(0)76,
412(0)140,
430(0)61
- structure,
123(0)34,
133(0)47,
151(0)1,
161(0)10,
161(0)71,
164(0)5,
169(0)51,
176(0)38,
180(0)239,
184(0)10,
185(0)47,
188(0)89,
195(0)154,
228(0)9,
230(0)23,
235(0)23,
235(0)117,
235(0)123,
245(0)41,
246(0)213,
249(0)99,
250(0)16,
255(0)305,
259(0)1,
259(0)28,
259(0)114,
266(0)17,
266(0)167,
286(0)38,
287(0)457,
318(0)182,
319(0)1,
319(0)119,
330(0)124,
331(0)203,
345(0)1,
347(0)155,
351(0)53,
353(0)180,
354(0)86,
356(0)22,
356(0)51,
368(0)44,
372(0)103,
392(0)1,
392(0)23,
392(0)98,
396(0)92,
410(0)1,
421(0)81,
425(0)3,
426(0)130,
428(0)144