Inventory: other names
The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 3401–3500 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 1YG4P4925C | 1YG4P4925C | unknown | open | arXiv alg-geom/9506022#9LEL |
| 1YGAGN3DM3 | 1YGAGN3DM3 | 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 2511.17751#XCYW |
| 1YH16Y5CW3 | 1YH16Y5CW3 | 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.28411#0GTB |
| 1YHDF85FXP | 1YHDF85FXP | 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.36045#65BN |
| 1YJPM0PG6K | 1YJPM0PG6K | 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.07673#EY3X |
| 1YJW1SFVTP | 1YJW1SFVTP | 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.21507#K0HT |
| 1YKFKS6QTJ | 1YKFKS6QTJ | 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.15402#8JH2 |
| 1YKHDAWG5H | 1YKHDAWG5H | 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.37747#BAZQ |
| 1YKN1G8YE8 | 1YKN1G8YE8 | 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.34081#9VAE |
| 1YM3HG8XP7 | 1YM3HG8XP7 | 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.31858#PBCG |
| 1YM7DNEHJF | 1YM7DNEHJF | 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.34339#5MLY |
| 1YNFHG49VB | 1YNFHG49VB | 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/0406514#JMI2 |
| 1YNM3997XY | 1YNM3997XY | 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.01946#185M |
| 1YNY7ZB6XK | 1YNY7ZB6XK | 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.14380#4KIJ |
| 1YPCBQYQH3 | 1YPCBQYQH3 | 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.12169#JL8L |
| 1YSCCGSD3K | 1YSCCGSD3K | exercise | open | open_logic content/set-theory/ord-arithmetic/using-addition.tex#prob-1 |
| 1YSGJAP7ZV | 1YSGJAP7ZV | 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.11047#Q4XA |
| 1YSZVFTDWD | 1YSZVFTDWD | 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 0904.0817#ZA52 |
| 1YTK7SC7TX | 1YTK7SC7TX | proof | open | hott_book categories.tex#proof-9 |
| 1YV2A8ZD1X | 1YV2A8ZD1X | 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.20207#K64I |
| 1YVHVXAY66 | 1YVHVXAY66 | 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 2603.29838#AGQ5 |
| 1YW0NC57X4 | 1YW0NC57X4 | 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.05696#J1RP |
| 1YW1BJFRDE | 1YW1BJFRDE | 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 2210.17066#50LK |
| 1YW7HQXG6F | 1YW7HQXG6F | 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#CIGR |
| 1YWP45KCP4 | 1YWP45KCP4 | 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.04895#2VUM |
| 1YWZ8X0KVH | 1YWZ8X0KVH | 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 2512.16003#IA3S |
| 1YX8KAVXS5 | 1YX8KAVXS5 | 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.05403#UA2Y |
| 1YXE7ZSJ05 | 1YXE7ZSJ05 | 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.08583#MET5 |
| 1YXGHN19EP | 1YXGHN19EP | statement | open | open_logic content/set-theory/ord-arithmetic/addition.tex#ordadditionrecursion |
| 1YXQABAX3R | 1YXQABAX3R | 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.10581#14JT |
| 1YY5DC1H9K | 1YY5DC1H9K | 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 2501.01612#U16T |
| 1YY8A08T5K | 1YY8A08T5K | 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.04870#OIFU |
| 1YYF592SY7 | 1YYF592SY7 | example | open | napkin tex/H113/ring-flavors.tex#example-5 |
| 1YYR1VHH7C | 1YYR1VHH7C | 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.20131#OUQP |
| 1YYYSJQ8K2 | 1YYYSJQ8K2 | 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.11902#8W9F |
| 1YZ5HMZT0C | 1YZ5HMZT0C | 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.28677#53ZI |
| 1YZ647YA8N | 1YZ647YA8N | 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.10365#SCJB |
| 1Z0932SZFY | 1Z0932SZFY | 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#HQFW |
| 1Z0CEP30QC | 1Z0CEP30QC | 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 2303.09207#H9EG |
| 1Z0EM26Y7E | 1Z0EM26Y7E | 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 2506.16491#0UF6 |
| 1Z0W87X6GA | 1Z0W87X6GA | 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.06699#UGB7 |
| 1Z13P4H7KR | 1Z13P4H7KR | statement | open | hott_book equivalences.tex#thm:total-space-of-the-fibers |
| 1Z1BNP6N1E | 1Z1BNP6N1E | 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.13505#EU2P |
| 1Z1WN9H44Y | 1Z1WN9H44Y | 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.21632#2AAR |
| 1Z21V356TV | 1Z21V356TV | 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.10937#569A |
| 1Z2VM6RJHB | 1Z2VM6RJHB | definition | open | lebl_ra ch-one-dim-ints-sv.tex#defn-9 |
| 1Z2W081FJ1 | 1Z2W081FJ1 | 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.21358#O9M0 |
| 1Z37WPHF57 | 1Z37WPHF57 | 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.13715#K09N |
| 1Z3N2ZCMVY | 1Z3N2ZCMVY | 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 2609.36016#Y3CR |
| 1Z427CKH3X | 1Z427CKH3X | 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.26948#UOVV |
| 1Z43BV05D4 | 1Z43BV05D4 | 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.16834#RSN6 |
| 1Z472BFGN8 | 1Z472BFGN8 | statement | open | open_logic content/intuitionistic-logic/semantics/relational-models.tex#prop:true-monotonic |
| 1Z4K0D1572 | 1Z4K0D1572 | 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.03661#XRBK |
| 1Z4RDE37NZ | 1Z4RDE37NZ | 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.38735#1PJD |
| 1Z4WX15A8V | 1Z4WX15A8V | 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 2608.24190#AZ9A |
| 1Z59PE7J9Z | 1Z59PE7J9Z | 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.00934#Q5Z8 |
| 1Z6KFPBS1V | 1Z6KFPBS1V | 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.11082#ZVES |
| 1Z6MCXXFD6 | 1Z6MCXXFD6 | 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.04349#R240 |
| 1Z6Z6EFDEK | 1Z6Z6EFDEK | 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.21572#8FL8 |
| 1Z6ZRNTFH7 | 1Z6ZRNTFH7 | 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.36377#A2P3 |
| 1Z78E81EYR | 1Z78E81EYR | 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.16465#2NDJ |
| 1Z7ENZH458 | 1Z7ENZH458 | 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.06488#1CI7 |
| 1Z87CPQ17W | 1Z87CPQ17W | 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.19461#E46L |
| 1Z8K1Q65BW | 1Z8K1Q65BW | 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.24917#7IVC |
| 1Z8K9H2GE9 | 1Z8K9H2GE9 | 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.14455#H2A1 |
| 1Z931HD5R7 | 1Z931HD5R7 | 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.06461#BHJR |
| 1Z9GT292YN | 1Z9GT292YN | definition | open | napkin tex/set-theory/CH.tex#definition-1 |
| 1ZARXTAVZG | 1ZARXTAVZG | 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.22074#71TC |
| 1ZAVDB3SVN | 1ZAVDB3SVN | 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.03011#ECBV |
| 1ZB28JF9JS | 1ZB28JF9JS | 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.33050#M0YH |
| 1ZB3E2EM0R | 1ZB3E2EM0R | 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.30575#3464 |
| 1ZBBFJNRTP | 1ZBBFJNRTP | 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#6ECA |
| 1ZC0C1JE2Q | 1ZC0C1JE2Q | 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.25100#JJPB |
| 1ZCVZVWHWF | 1ZCVZVWHWF | 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.27752#PTC2 |
| 1ZDAXW293H | 1ZDAXW293H | 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 dg-ga/9612010#IBXV |
| 1ZDZWCY7MM | 1ZDZWCY7MM | 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.03517#GKZ5 |
| 1ZE7JJ606D | 1ZE7JJ606D | 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.40191#83I2 |
| 1ZEAQ7P2GK | 1ZEAQ7P2GK | 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.34845#Q3Y0 |
| 1ZEC4GW0RN | 1ZEC4GW0RN | 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.36332#TQRV |
| 1ZEHJ6DGC5 | 1ZEHJ6DGC5 | 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.38030#U45I |
| 1ZEP985TM6 | 1ZEP985TM6 | 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.03126#YS68 |
| 1ZFJP852SV | 1ZFJP852SV | 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.37967#37G7 |
| 1ZGJ356Z5C | 1ZGJ356Z5C | 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.13629#GTKN |
| 1ZH4B007T6 | 1ZH4B007T6 | 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.04305#1CDO |
| 1ZHMRTVG94 | 1ZHMRTVG94 | 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.18061#XC16 |
| 1ZJ0PWX1FQ | 1ZJ0PWX1FQ | 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.01919#DZSR |
| 1ZJSYF993M | 1ZJSYF993M | exercise | open | lebl_ra ch-approximate.tex#exercise:L2triangleineq |
| 1ZJXGBS02T | 1ZJXGBS02T | 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.04305#34EC |
| 1ZKHHP8VZ4 | 1ZKHHP8VZ4 | 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 2506.21337#BRHX |
| 1ZKQ4P8ZZN | 1ZKQ4P8ZZN | unknown | open | arXiv 2002.11125#U2BZ |
| 1ZKSYDG4XN | 1ZKSYDG4XN | statement | open | hott_book hits.tex#thm:S1ump |
| 1ZM0Y8PQEH | 1ZM0Y8PQEH | 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.36717#R0V1 |
| 1ZM2EF14JY | 1ZM2EF14JY | 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.16241#ZD5Y |
| 1ZM57HQ2E5 | 1ZM57HQ2E5 | 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.31365#PUQX |
| 1ZMG4R11QM | 1ZMG4R11QM | 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#5HC7 |
| 1ZN1PPTF44 | 1ZN1PPTF44 | 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 2310.14879#W2EM |
| 1ZNA5R7YRB | 1ZNA5R7YRB | 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 2207.07461#QA2M |
| 1ZP2VBPKEJ | 1ZP2VBPKEJ | 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.13884#OGGM |
| 1ZP7FKM3J9 | 1ZP7FKM3J9 | exercise | open | lebl_ra ch-real-nums.tex#exercise:dominatingb |
| 1ZPD1M617M | 1ZPD1M617M | 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.21093#8554 |