Inventory: T
The rows of the inventory whose names start with T. The name of a row with a node links to the page of the node. The other names and each id link to the card of the row, with its mentions in the sources.
- Other 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 101–200 of 11759.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| T0DZ6GQK3E | T0DZ6GQK3E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.07352#S1ED |
| T0ECJE0S3H | T0ECJE0S3H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37520#D98Q |
| T0ED7JR95Y | T0ED7JR95Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.07061#YELG |
| T0EJDBWNNZ | T0EJDBWNNZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.03972#S5EA |
| T0FBRDK64F | T0FBRDK64F | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28454#EV5A |
| T0FHAPRWF7 | T0FHAPRWF7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00109#WWGX |
| T0FJS3T12B | T0FJS3T12B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2503.08018#I4UD |
| T0FWENQXYQ | T0FWENQXYQ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30203#V640 |
| T0GFCG16QW | T0GFCG16QW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20466#UV71 |
| T0GMYJ8HTH | T0GMYJ8HTH | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32338#K8KE |
| T0H1W7PYFY | T0H1W7PYFY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.28357#G86Q |
| T0HJTAFAZG | T0HJTAFAZG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.00312#FB8U |
| T0J606X9KF | T0J606X9KF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.06854#33S8 |
| T0JCY2D76E | T0JCY2D76E | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32338#O7L8 |
| T0JNZ2RTQP | T0JNZ2RTQP | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21005#W3OO |
| T0KGMXVJBF | T0KGMXVJBF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.12329#UZTA |
| T0KP0SMXGE | T0KP0SMXGE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30519#DL07 |
| T0KTCXHMSB | T0KTCXHMSB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14741#69PE |
| T0M363CF17 | T0M363CF17 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30067#ZQCI |
| T0MRKY1SJ5 | T0MRKY1SJ5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.11271#W7ZI |
| T0MVDSZRZY | T0MVDSZRZY | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37606#SL9H |
| T0MW67B0ZY | T0MW67B0ZY | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05193#SWGA |
| T0N7XKV9GA | T0N7XKV9GA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2508.13122#MRFS |
| T0N82K5NJX | T0N82K5NJX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.06521#8CX0 |
| T0NNC4Y9QT | T0NNC4Y9QT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32140#N116 |
| T0PRGDXB66 | T0PRGDXB66 | example | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05471#VKP6 |
| T0Q037ZCMV | T0Q037ZCMV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24041#NPXF |
| T0QA2QPXRW | T0QA2QPXRW | definition | open | lebl_ra ch-real-nums.tex#defn:lub |
| T0QPG8Z5A5 | T0QPG8Z5A5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.20119#JV2F |
| T0QW3EKW17 | T0QW3EKW17 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.26951#F07Z |
| T0RETP959R | T0RETP959R | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35597#N8FB |
| T0RJ7CHSDR | T0RJ7CHSDR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18302#U5J0 |
| T0SQKZSZH6 | T0SQKZSZH6 | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.25957#H8MY |
| T0SV62EHPN | T0SV62EHPN | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05179#4RQ6 |
| T0T7Q7EZW5 | T0T7Q7EZW5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.05688#L2ON |
| T0TR7SPNYR | T0TR7SPNYR | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv math/0512416#UBAY |
| T0TZMB9X4C | T0TZMB9X4C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.33578#5MV7 |
| T0VDDQ687M | T0VDDQ687M | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2411.13671#O7TC |
| T0W7Z7SE5T | T0W7Z7SE5T | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36818#1AT8 |
| T0W7ZQYMNS | T0W7ZQYMNS | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.20894#UKG5 |
| T0W9KGQ85H | T0W9KGQ85H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20345#2LPZ |
| T0XDAD3J26 | T0XDAD3J26 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2102.12931#WG5M |
| T0XF2Z1KXE | T0XF2Z1KXE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14841#9HN3 |
| T0XH8E8A7S | T0XH8E8A7S | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#problem-9 |
| T0XN6H6K5N | T0XN6H6K5N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.29489#TN5Q |
| T0XNR9W9E3 | T0XNR9W9E3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35642#KIZ2 |
| T0YFPS1RQG | T0YFPS1RQG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.18219#8Y7L |
| T0YFVAWPFH | T0YFVAWPFH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.17135#BV9V |
| T0YHM9YARK | T0YHM9YARK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.10212#5V0Z |
| T0Z1V89K7S | T0Z1V89K7S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2108.01302#66C9 |
| T0Z5CYKN77 | T0Z5CYKN77 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30098#CTSI |
| T0ZCKVTYRT | T0ZCKVTYRT | statement | open | napkin tex/calculus/limits.tex#thm:nonneg_bounded |
| T0ZM98SGW2 | T0ZM98SGW2 | exercise | open | lebl_ra ch-der.tex#exercise:diffofxn |
| T0ZWTWQ5GA | T0ZWTWQ5GA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.30067#RPHD |
| T1 | PWTN1PRXRP | definition | open | Wikipedia Glossary of general topology#WADM |
| T1 process | 23SE34N0F5 | definition | open | Wikipedia T1 process, Wikidata Q7669004 |
| T1 space | AG0MRWZ6B0 | definition | open | Wikipedia List of general topology topics#F060 |
| T1 space | B3B1EF2TCF | definition | node (a node has the same name as the row) | Wikidata Q284347, MathWorld T1-Space, ProofWiki Definition:Fréchet_Space_(Topology), Wikipedia T1 space |
| T107C6C37W | T107C6C37W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20077#Q9SY |
| T10F4KY9V3 | T10F4KY9V3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35460#GQ99 |
| T10T05T8N3 | T10T05T8N3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.27788#RUO0 |
| T115NXFQ5W | T115NXFQ5W | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02935#DD1U |
| T119GS1R35 | T119GS1R35 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.37606#KKFU |
| T11MHPR2Z9 | T11MHPR2Z9 | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.15385#CHDL |
| T11R8YRGVA | T11R8YRGVA | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.22317#Q31I |
| T11Z3J1EKT | T11Z3J1EKT | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.20460#OZ0T |
| T125N69ZY2 | T125N69ZY2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.22109#BLG3 |
| T12EDC56AE | T12EDC56AE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1008.2055#DQ6P |
| T12FY2QJ1N | T12FY2QJ1N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.14458#FUYD |
| T12N5AV0CE | T12N5AV0CE | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13792#MXII |
| T136WJ3V4A | T136WJ3V4A | proof | open | hott_book logic.tex#proof-12 |
| T13AVHZ0HG | T13AVHZ0HG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.08581#51AO |
| T13M0KAWQY | T13M0KAWQY | definition | open | open_logic content/lambda-calculus/lambda-definability/pairs.tex#defn-1 |
| T13P6FSHP2 | T13P6FSHP2 | proof | open | lebl_ra ch-several-vars-ders.tex#proof-23 |
| T14F20268N | T14F20268N | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.24374#HUGK |
| T14MXKRRV0 | T14MXKRRV0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16241#IDOF |
| T14NR9RQJ6 | T14NR9RQJ6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.12479#Y8I2 |
| T14X4N149G | T14X4N149G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02489#Y2Q1 |
| T159V4QYQ0 | T159V4QYQ0 | problem | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2407.05730#M9QM |
| T16183F8JZ | T16183F8JZ | conjecture | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.20316#I5T4 |
| T168SNRB74 | T168SNRB74 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.21475#XAZR |
| T16M0FMNZY | T16M0FMNZY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.10963#PUZB |
| T16SD2SSY0 | T16SD2SSY0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02669#8RC1 |
| T16WZY4G53 | T16WZY4G53 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2303.09207#ITW7 |
| T17JPJ7F1C | T17JPJ7F1C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.13670#YIE4 |
| T17ZEPGQKC | T17ZEPGQKC | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02244#6CCB |
| T18310AB6A | T18310AB6A | definition | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32176#0XPP |
| T185N5Y1WE | T185N5Y1WE | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10474#43VJ |
| T185TESF0G | T185TESF0G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.32478#0D5U |
| T18CW5JY61 | T18CW5JY61 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03255#4RFG |
| T18HB966C0 | T18HB966C0 | exercise | open | hott_book induction.tex#ex:bool |
| T18QESSWV8 | T18QESSWV8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.35683#A5GT |
| T18ZF7YJ6V | T18ZF7YJ6V | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05354#73RH |
| T19KF1MN5Y | T19KF1MN5Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.16706#GX57 |
| T19QSGCKCV | T19QSGCKCV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.10377#L7EA |
| T19SB9V18R | T19SB9V18R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.36021#NMSL |
| T1ABFTA48B | T1ABFTA48B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.05791#7SHJ |
| T1AGX3B917 | T1AGX3B917 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.03555#4TME |
| T1AT93FX60 | T1AT93FX60 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2609.38188#Z4II |
| T1CAJBSJ75 | T1CAJBSJ75 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2610.02798#FZYH |