Entry Lawvere:1991:ICH from lnm1990.bib
Last update: Sat Oct 14 02:54:20 MDT 2017
Top |
Symbols |
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{Lawvere:1991:ICH,
author = "F. William Lawvere",
title = "Intrinsic co-{Heyting} boundaries and the {Leibniz}
rule in certain toposes",
journal = j-LECT-NOTES-MATH,
volume = "1488",
pages = "279--281",
year = "1991",
CODEN = "LNMAA2",
DOI = "https://doi.org/10.1007/BFb0084226",
ISBN = "3-540-54706-1 (print), 3-540-46435-2 (e-book)",
ISBN-13 = "978-3-540-54706-8 (print), 978-3-540-46435-8
(e-book)",
ISSN = "0075-8434 (print), 1617-9692 (electronic)",
ISSN-L = "0075-8434",
MRclass = "18B25 (06D20)",
MRnumber = "1173018 (93e:18007)",
MRreviewer = "Shu Hao Sun",
bibdate = "Fri May 9 19:07:22 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/lnm1990.bib",
URL = "http://link.springer.com/chapter/10.1007/BFb0084226/",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/BFb0084207",
book-URL = "http://www.springerlink.com/content/978-3-540-46435-8",
fjournal = "Lecture Notes in Mathematics",
journal-URL = "http://link.springer.com/bookseries/304",
}
Related entries
- 18B25,
1488(0)1,
1488(0)20,
1488(0)213
- boundary,
1431(0)23,
1431(0)60,
1431(0)152,
1431(0)194,
1439(0)138,
1439(0)153,
1447(0)315,
1450(0)236,
1453(0)309,
1455(0)369,
1459(0)122,
1463(0)63,
1468(0)127,
1481(0)5,
1482(0)90,
1482(0)117,
1482(0)142,
1495(0)46,
1499(0)41,
1526(0)81,
1526(0)210,
1530(0)1,
1530(0)17,
1530(0)30,
1530(0)284,
1537(0)32,
1537(0)74,
1539(0)43,
1539(0)69,
1539(0)91,
1539(0)118,
1540(0)239,
1555(0)279,
1570(0)73,
1584(0)213,
1605(0)48,
1607(0)113,
1612(0)85,
1613(0)44,
1653(0)40,
1670(0)43,
1670(0)115
- certain,
1416(0)210,
1434(0)1,
1455(0)369,
1456(0)185,
1468(0)94,
1470(0)1,
1470(0)78,
1470(0)159,
1478(0)1,
1481(0)48,
1486(0)51,
1490(0)131,
1494(0)169,
1507(0)39,
1509(0)235,
1518(0)199,
1545(0)57,
1557(0)159,
1686(0)306,
1709(0)221,
1709(0)240,
1709(0)277
- intrinsic,
1546(0)134
- Lawvere, F. William,
1488(0)1
- rule,
1542(0)45,
1622(0)59
- Sun, Shu Hao,
1488(0)174
- topos,
1488(0)20,
1588(0)107,
1588(0)128,
1588(0)166,
1616(0)5