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 20201–20300 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 83RKT5ZYSZ | 83RKT5ZYSZ | 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.37704#0P5W |
| 83RKTPB3E9 | 83RKTPB3E9 | statement | open | napkin tex/set-theory/zorn-lemma.tex#theorem-2 |
| 83RW045ZP6 | 83RW045ZP6 | 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 2212.11038#6NG3 |
| 83RX3NGZ20 | 83RX3NGZ20 | 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.09882#KPSB |
| 83RZJGCB13 | 83RZJGCB13 | 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.12047#4BEE |
| 83S0ZFHX36 | 83S0ZFHX36 | 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.15217#YKZ9 |
| 83SDD8VNE3 | 83SDD8VNE3 | exercise | open | lebl_ra ch-multivar-int.tex#exercise-39 |
| 83STPS6RR5 | 83STPS6RR5 | 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.36884#ZN13 |
| 83TWZ1WY6S | 83TWZ1WY6S | 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 1705.01594#3WAU |
| 83VGX3MNPX | 83VGX3MNPX | 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.07092#1P44 |
| 83WBSC07CB | 83WBSC07CB | statement | open | open_logic content/lambda-calculus/introduction/primitive-recursion.tex#lem-2 |
| 83WM9JV9S9 | 83WM9JV9S9 | exercise | open | napkin tex/cats/categories.tex#exercise-1 |
| 83X4XXGPE3 | 83X4XXGPE3 | 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#CXI2 |
| 83X6G5HQ36 | 83X6G5HQ36 | 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.17518#R26S |
| 83XZR7GK23 | 83XZR7GK23 | 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 2304.07398#SVJD |
| 83YBY77GH0 | 83YBY77GH0 | 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.21752#UA94 |
| 83YZ8SVN0W | 83YZ8SVN0W | 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.11336#EL6K |
| 83Z0VSDJ58 | 83Z0VSDJ58 | 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.33590#FY3T |
| 83Z7FCP5H8 | 83Z7FCP5H8 | 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 2609.30579#ZSDY |
| 83ZC966YD6 | 83ZC966YD6 | example | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#example-2 |
| 83ZDT13Q70 | 83ZDT13Q70 | 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.36622#W9IX |
| 83ZXJM2SPE | 83ZXJM2SPE | 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.21017#WR49 |
| 8409PMRDX9 | 8409PMRDX9 | 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.05602#QP01 |
| 840AY1WTKA | 840AY1WTKA | 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 2502.08738#3R7E |
| 840J56S7FJ | 840J56S7FJ | 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.24584#7MNF |
| 8410AXF31P | 8410AXF31P | proof | open | open_logic content/incompleteness/theories-computability/first-incompleteness.tex#proof-1 |
| 841EAH0E6X | 841EAH0E6X | exercise | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-1 |
| 842P2JZDZH | 842P2JZDZH | 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.10558#B7U1 |
| 843V4QCBM0 | 843V4QCBM0 | 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 1912.13357#MZRO |
| 843X4163VT | 843X4163VT | 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#9E67 |
| 84412A6ET6 | 84412A6ET6 | 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.30675#P72K |
| 844XX9D5WB | 844XX9D5WB | 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.36412#EDEZ |
| 8457HK4TZ4 | 8457HK4TZ4 | statement | open | hott_book hlevels.tex#cor-1 |
| 845G2SJVYR | 845G2SJVYR | 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.06556#YI91 |
| 845GFFKVQM | 845GFFKVQM | example | open | active_calculus source/sec-2-3-prod-quot.xml#example-5 |
| 845GHN3GPQ | 845GHN3GPQ | 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.36884#XMX1 |
| 846Q48WE66 | 846Q48WE66 | statement | open | lebl_scv scv.tex#prop:whereTgoeshol |
| 846VTG3QPP | 846VTG3QPP | 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.25038#LHP0 |
| 84754FKMYA | 84754FKMYA | 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.36321#R655 |
| 847JCTQYDK | 847JCTQYDK | 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.30200#ND7I |
| 847Y9PCYKV | 847Y9PCYKV | exercise | open | napkin tex/alg-geom/affine-var.tex#exercise-2 |
| 848V8QB47J | 848V8QB47J | 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.07285#07GV |
| 849AFEND52 | 849AFEND52 | 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.00676#AUA8 |
| 849GDKFHWN | 849GDKFHWN | 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 2301.04933#6B2U |
| 849JNNQHWF | 849JNNQHWF | 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.33856#XC4L |
| 849PZ9XVCE | 849PZ9XVCE | 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.12295#O5JX |
| 84A8QJXSX0 | 84A8QJXSX0 | 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.15744#9P5H |
| 84A9TC4MYN | 84A9TC4MYN | 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.11145#I9Z4 |
| 84AM8X09RX | 84AM8X09RX | 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.08196#YN0C |
| 84BAY5GQDR | 84BAY5GQDR | 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.26337#RY04 |
| 84BNFF3A12 | 84BNFF3A12 | 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.36389#1L50 |
| 84C8MWAVWZ | 84C8MWAVWZ | 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.04172#1NTQ |
| 84CBPM1RXK | 84CBPM1RXK | 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 1310.6698#D5ZV |
| 84CH3WP9EF | 84CH3WP9EF | 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.13869#9EF4 |
| 84CJV3Q592 | 84CJV3Q592 | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-4 |
| 84D4EH1N34 | 84D4EH1N34 | 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.21622#O7X6 |
| 84DA95T94B | 84DA95T94B | statement | open | levin_dmoi ptx/sec_gt-intro.ptx#prop-evensum |
| 84DC6P2PCJ | 84DC6P2PCJ | 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.32903#E2P4 |
| 84DNG7Z664 | 84DNG7Z664 | 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.40251#HDFX |
| 84DT4KSZ9S | 84DT4KSZ9S | 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 1009.2047#BXCF |
| 84E8C7WEZ3 | 84E8C7WEZ3 | 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.10567#DCUN |
| 84EHG04AM3 | 84EHG04AM3 | 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.31276#O1EW |
| 84EN0S23A7 | 84EN0S23A7 | 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.08599#7PPF |
| 84EZYKKWV7 | 84EZYKKWV7 | 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.16429#RGQT |
| 84F2DNV6KS | 84F2DNV6KS | 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.31278#RMBD |
| 84FM4HYSRT | 84FM4HYSRT | 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.03497#6XUN |
| 84FXEGER1F | 84FXEGER1F | 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.20306#JC7D |
| 84GKGH9E30 | 84GKGH9E30 | 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.15217#L6MS |
| 84HB1A9SWE | 84HB1A9SWE | exercise | open | napkin tex/H113/structure.tex#problem-1 |
| 84HB42TP6X | 84HB42TP6X | 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.16294#2725 |
| 84K3QFRHKV | 84K3QFRHKV | example | open | hott_book logic.tex#thm:isprop-forall |
| 84KECWAYKA | 84KECWAYKA | 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.17769#P297 |
| 84MAKX000N | 84MAKX000N | 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 2405.01860#QEOA |
| 84ME28Z26W | 84ME28Z26W | 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.05193#MJRP |
| 84N4QAJ5T5 | 84N4QAJ5T5 | 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.22345#8GRE |
| 84N8C43Q7J | 84N8C43Q7J | statement | open | open_logic content/lambda-calculus/syntax/alpha.tex#thm-1 |
| 84QMP1X18F | 84QMP1X18F | 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.26382#ATXJ |
| 84QNMZKXV5 | 84QNMZKXV5 | 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.32650#PM8Z |
| 84QQ7VSWN3 | 84QQ7VSWN3 | 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.14217#RR2V |
| 84QTN70GG0 | 84QTN70GG0 | 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.13295#TEI5 |
| 84QVJXDG0P | 84QVJXDG0P | 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.19861#VKPY |
| 84RM6VQED9 | 84RM6VQED9 | 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.06637#FW4D |
| 84S4YEDY0J | 84S4YEDY0J | 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.31858#K9ZM |
| 84ST61TKVK | 84ST61TKVK | 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.01899#4D9S |
| 84SVMCW8FA | 84SVMCW8FA | 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.38243#LEU7 |
| 84SXJ5XKZ5 | 84SXJ5XKZ5 | 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.19954#GWRD |
| 84SZ0Z3HBE | 84SZ0Z3HBE | 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.08633#RUOA |
| 84TFKQ3WNX | 84TFKQ3WNX | 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#74BC |
| 84TGA7W2VT | 84TGA7W2VT | statement | open | open_logic content/set-theory/cardinals/classing.tex#finitecardisoequal |
| 84TNJ25V0P | 84TNJ25V0P | 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.26496#SQAB |
| 84TW2N3PG5 | 84TW2N3PG5 | statement | open | hott_book reals.tex#thm:RCsim-symmetric |
| 84TZ3R47PY | 84TZ3R47PY | 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.33775#HCBI |
| 84VVW60K08 | 84VVW60K08 | 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 2607.25960#TUTI |
| 84W0W96CNE | 84W0W96CNE | proof | open | hott_book homotopy.tex#proof-7 |
| 84W4ZF61MB | 84W4ZF61MB | 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 2607.25960#1VKO |
| 84XYH221SP | 84XYH221SP | statement | open | open_logic content/set-theory/cardinals/classing.tex#unioncardinalscardinal |
| 84YGCDPRGM | 84YGCDPRGM | 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.16883#518W |
| 84YJBX56S7 | 84YJBX56S7 | exercise | open | lebl_scv scv.tex#exercise-172 |
| 84YKDN7J45 | 84YKDN7J45 | 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.32181#U7VR |
| 84YMSR28SH | 84YMSR28SH | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-28 |