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 5101–5200 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 2JQ6KWJPPA | 2JQ6KWJPPA | 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.06541#LZJ8 |
| 2JQAVT7PD2 | 2JQAVT7PD2 | 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 2606.00589#JNFM |
| 2JQJM85VBX | 2JQJM85VBX | 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.31794#A95S |
| 2JQQHHZD04 | 2JQQHHZD04 | example | open | lebl_ra ch-metric.tex#example-21 |
| 2JQS19FGBK | 2JQS19FGBK | exercise | open | napkin tex/calculus/limits.tex#exercise-2 |
| 2JR8PNBH32 | 2JR8PNBH32 | 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.38068#QGI3 |
| 2JRFDBBHW5 | 2JRFDBBHW5 | 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.10330#3WSQ |
| 2JRPX292CT | 2JRPX292CT | exercise | open | hott_book basics.tex#ex:sigma-assoc |
| 2JSJ822BDA | 2JSJ822BDA | 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.14022#0NQZ |
| 2JSY0WBBQD | 2JSY0WBBQD | 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.37706#CQ9L |
| 2JT0R50GYJ | 2JT0R50GYJ | 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.21929#6NL0 |
| 2JT5ENJM14 | 2JT5ENJM14 | exercise | open | hott_book basics.tex#ex:ap-to-apd-equiv-apd-to-ap |
| 2JTN2DFYJE | 2JTN2DFYJE | 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#SL5B |
| 2JV4ZZ3CSC | 2JV4ZZ3CSC | 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.26477#D0W6 |
| 2JVCC62TK4 | 2JVCC62TK4 | 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 2104.00162#A104 |
| 2JVQ8HXYE6 | 2JVQ8HXYE6 | exercise | open | lebl_scv scv.tex#exercise-269 |
| 2JWBHZYRAV | 2JWBHZYRAV | 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.25275#NC8R |
| 2JX9HEA04S | 2JX9HEA04S | 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.01916#48CF |
| 2JXBAW27K2 | 2JXBAW27K2 | 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.25321#O06F |
| 2JXQGBA971 | 2JXQGBA971 | 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 2510.07095#8XXD |
| 2JXX9WMA65 | 2JXX9WMA65 | 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.18101#N1R8 |
| 2JY73J953H | 2JY73J953H | 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.12633#N9MH |
| 2JYB67MWM1 | 2JYB67MWM1 | 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 2504.09464#6ZOZ |
| 2JYRNNHKSC | 2JYRNNHKSC | 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#PGX6 |
| 2JZFQQHEY8 | 2JZFQQHEY8 | 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 2407.20385#9JBC |
| 2JZS7S8MPT | 2JZS7S8MPT | 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.37159#9K6Z |
| 2JZYVPCK0N | 2JZYVPCK0N | 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.20285#XE3N |
| 2K0G8JRXWG | 2K0G8JRXWG | 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 2209.08186#30UR |
| 2K0H2BT448 | 2K0H2BT448 | 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.08196#X67Y |
| 2K0QCXV4E6 | 2K0QCXV4E6 | 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.19854#Q724 |
| 2K0QT9MZQX | 2K0QT9MZQX | 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.17411#E8GS |
| 2K0TAF1PFP | 2K0TAF1PFP | unknown | open | |
| 2K17BDF43N | 2K17BDF43N | exercise | open | levin_dmoi ptx/exercises/seq-basics.ptx#exercise-3 |
| 2K25DK17AP | 2K25DK17AP | 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.13888#3T3N |
| 2K2FZE72A5 | 2K2FZE72A5 | statement | open | open_logic content/set-theory/cardinals/cardsasords.tex#lem:CardinalsExist |
| 2K2YHS9K7R | 2K2YHS9K7R | 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.08766#UQ58 |
| 2K40WDYW5R | 2K40WDYW5R | exercise | open | open_logic content/normal-modal-logic/axioms-systems/more-proofs-in-K.tex#prob-1 |
| 2K4EF8NHWR | 2K4EF8NHWR | 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 2204.01073#ZYGU |
| 2K4VX3K55J | 2K4VX3K55J | 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#EBHG |
| 2K54TD2AFD | 2K54TD2AFD | definition | open | open_logic content/applied-modal-logic/temporal-logic/extra-temporal-operators.tex#defn:since-until |
| 2K55VFAE4A | 2K55VFAE4A | 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.29894#ATFE |
| 2K7258E9HZ | 2K7258E9HZ | 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.26896#0U2A |
| 2K7FSCKV8V | 2K7FSCKV8V | 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#TAPV |
| 2K7Q8W5D01 | 2K7Q8W5D01 | 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.17547#UDJQ |
| 2K7QA7AM6N | 2K7QA7AM6N | 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.31604#OC0E |
| 2K8P62QQSW | 2K8P62QQSW | 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.16339#ZGPJ |
| 2K9KRATRA8 | 2K9KRATRA8 | 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.13385#6R06 |
| 2KA4TKW1TT | 2KA4TKW1TT | 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.24463#VEIE |
| 2KA64DQB5P | 2KA64DQB5P | 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.18600#2NWP |
| 2KAEJADVE7 | 2KAEJADVE7 | 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.12857#0ALC |
| 2KAQ1019CS | 2KAQ1019CS | definition | open | lebl_ra ch-real-nums.tex#defn-4 |
| 2KB1YA843H | 2KB1YA843H | 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.04325#2R8D |
| 2KB91QZKKR | 2KB91QZKKR | exercise | open | open_logic content/turing-machines/undecidability/representing-tms.tex#prob-1 |
| 2KB98VRT0M | 2KB98VRT0M | 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.12053#6Z3D |
| 2KBH76FDTE | 2KBH76FDTE | 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.17553#PH24 |
| 2KBZF4AQXC | 2KBZF4AQXC | 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.09129#75QT |
| 2KC20P9QQ1 | 2KC20P9QQ1 | 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.19285#LZQA |
| 2KC2EVD4C2 | 2KC2EVD4C2 | 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 2204.01073#BSKG |
| 2KC5MXXWK8 | 2KC5MXXWK8 | 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 1512.06981#G6LK |
| 2KCMHKR20M | 2KCMHKR20M | 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.18929#4X0N |
| 2KCP15ZJ7N | 2KCP15ZJ7N | 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.10330#N8F5 |
| 2KD0CHQ5DR | 2KD0CHQ5DR | 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.31910#F05D |
| 2KD7Q78ZE7 | 2KD7Q78ZE7 | 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#WKB9 |
| 2KDGYZ9TME | 2KDGYZ9TME | 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.11800#N2ON |
| 2KDZ5JGS3M | 2KDZ5JGS3M | 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.00909#TOA4 |
| 2KF3NPA2ZJ | 2KF3NPA2ZJ | 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.24465#U0GZ |
| 2KF5M4VAV1 | 2KF5M4VAV1 | 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 2309.15424#WN66 |
| 2KFD4VTJA0 | 2KFD4VTJA0 | proof | open | hott_book setmath.tex#proof-34 |
| 2KFFC8M7SS | 2KFFC8M7SS | 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.10505#PPVL |
| 2KFTWCZQDW | 2KFTWCZQDW | 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.02275#SFJ3 |
| 2KG176HF1Z | 2KG176HF1Z | 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.27301#BQNK |
| 2KG52J3KER | 2KG52J3KER | 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 2205.09049#6Z9J |
| 2KGAYE12ZG | 2KGAYE12ZG | 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.17135#B68H |
| 2KGB1RS86W | 2KGB1RS86W | 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#BM02 |
| 2KGRXQ82GB | 2KGRXQ82GB | exercise | open | lebl_diffyqs ch-intro.tex#exercise-10 |
| 2KH304BZ7W | 2KH304BZ7W | 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.15169#KMSI |
| 2KHAP2SB39 | 2KHAP2SB39 | 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 2108.03672#J88N |
| 2KJ0MCZCJZ | 2KJ0MCZCJZ | 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.16731#WD0T |
| 2KJ6B99S4C | 2KJ6B99S4C | 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.12484#1897 |
| 2KJ6WYTGSF | 2KJ6WYTGSF | 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 1711.00219#MYAQ |
| 2KJK38N2WX | 2KJK38N2WX | 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.24451#0761 |
| 2KK8WBMNMF | 2KK8WBMNMF | 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.25896#IO8D |
| 2KK97XTYMJ | 2KK97XTYMJ | exercise | open | levin_dmoi ptx/exercises/intro-functions.ptx#exercise-4 |
| 2KKA91SYHH | 2KKA91SYHH | proof | open | hott_book setmath.tex#proof-38 |
| 2KM5XS57Q7 | 2KM5XS57Q7 | 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.28297#U7BX |
| 2KN1VPPGXR | 2KN1VPPGXR | 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.26665#3G7X |
| 2KN7TSFBNN | 2KN7TSFBNN | 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 1903.07030#WPFG |
| 2KNBAB3E9E | 2KNBAB3E9E | conjecture | open | levin_dmoi ptx/sec_seq-induction.ptx#conjecture-1 |
| 2KNN5YD69F | 2KNN5YD69F | 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.09154#PXLX |
| 2KNZFP42JW | 2KNZFP42JW | 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 2504.13328#6VGM |
| 2KPAFP60CT | 2KPAFP60CT | 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.04894#SOIK |
| 2KPGGP5D5M | 2KPGGP5D5M | 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 2103.12669#0MHX |
| 2KQHC486B1 | 2KQHC486B1 | 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.10372#66S5 |
| 2KQK1C040N | 2KQK1C040N | 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 2401.15490#2VJG |
| 2KQYB0PFK3 | 2KQYB0PFK3 | 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.29824#Z3LQ |
| 2KR2SDM4K2 | 2KR2SDM4K2 | 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.11470#V8OK |
| 2KR6Q8AXZB | 2KR6Q8AXZB | example | open | napkin tex/rep-theory/rep-alg.tex#example-3 |
| 2KRA04BHPP | 2KRA04BHPP | 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.10093#O7PR |
| 2KRGYMQTTS | 2KRGYMQTTS | 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.18016#WW79 |
| 2KSB1RBMVG | 2KSB1RBMVG | 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#J1AT |