Inventory: A
The rows of the inventory whose names start with A. 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 1001–1100 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| A5ANFPGZVK | A5ANFPGZVK | statement | record (an 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.08272#Z244 |
| A5AYFAGCD6 | A5AYFAGCD6 | statement | record (an 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#QDQS |
| A5B33WWRNG | A5B33WWRNG | 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.19288#O6VF |
| A5B4V46M90 | A5B4V46M90 | unknown | open | arXiv 2610.13680#KC8I |
| A5BFMS4C28 | A5BFMS4C28 | statement | open | lebl_ra ch-metric.tex#prop-5 |
| A5BKRY0CRJ | A5BKRY0CRJ | statement | record (an 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.04252#KWFX |
| A5D9JS4G8Y | A5D9JS4G8Y | statement | record (an 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.05198#OS23 |
| A5DA7FMTNR | A5DA7FMTNR | statement | record (an 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.28861#5IEN |
| A5DREJ7STB | A5DREJ7STB | definition | open | hott_book categories.tex#ct:essentially-surjective |
| A5EQR42487 | A5EQR42487 | statement | record (an 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#BISZ |
| A5FA9J501F | A5FA9J501F | 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 2504.00267#IXOR |
| A5FB3RCDEZ | A5FB3RCDEZ | statement | record (an 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.38975#DRNX |
| A5FPJV1E6Q | A5FPJV1E6Q | statement | record (an 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.03336#C9U3 |
| A5G4MS1B0K | A5G4MS1B0K | statement | record (an 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.01915#ETQ3 |
| A5G82X51SZ | A5G82X51SZ | statement | record (an 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.27200#Q46S |
| A5HABQGSP6 | A5HABQGSP6 | statement | record (an 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#X6RG |
| A5HD3G4V5M | A5HD3G4V5M | statement | record (an 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.01324#6394 |
| A5HHJ9SGY5 | A5HHJ9SGY5 | statement | record (an 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.20649#56WP |
| A5HTBAE4QV | A5HTBAE4QV | statement | record (an 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.02628#02NH |
| A5HV6JDMV6 | A5HV6JDMV6 | exercise | open | lebl_ra ch-real-nums.tex#exercise-26 |
| A5J1K040BW | A5J1K040BW | exercise | open | ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-3 |
| A5J7QAGVWD | A5J7QAGVWD | statement | record (an 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.18242#22WC |
| A5JD1CXFZY | A5JD1CXFZY | 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 2604.10080#66QH |
| A5JMCMJ9HH | A5JMCMJ9HH | statement | record (an 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.00914#GDSI |
| A5K3AQPFGN | A5K3AQPFGN | statement | record (an 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.12352#Y1VA |
| A5KBKJXN1A | A5KBKJXN1A | 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.25983#W8IW |
| A5KQ82AS7W | A5KQ82AS7W | statement | record (an 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.39218#0X2Q |
| A5KZMSW34V | A5KZMSW34V | 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#LAMN |
| A5M0766KFD | A5M0766KFD | 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.24325#IY9E |
| A5MD0C5F7Y | A5MD0C5F7Y | statement | record (an 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.22326#665Y |
| A5MW7474W5 | A5MW7474W5 | statement | record (an 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.37562#GIHH |
| A5N4Q36E0C | A5N4Q36E0C | statement | record (an 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.00625#ONHD |
| A5P149ST99 | A5P149ST99 | exercise | open | levin_dmoi ptx/exercises/seq-induction.ptx#exercise-13 |
| A5PDJ79807 | A5PDJ79807 | 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.17875#62SH |
| A5Q337XCPM | A5Q337XCPM | proof | open | lebl_scv scv.tex#proof-9 |
| A5Q6GT5XVS | A5Q6GT5XVS | statement | record (an 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.39700#NRPS |
| A5Q7P5K2FR | A5Q7P5K2FR | statement | record (an 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.35320#7Y4E |
| A5QTCJ9E84 | A5QTCJ9E84 | statement | record (an 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.20299#SDFU |
| A5S0N82EDN | A5S0N82EDN | statement | record (an 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.15771#DFGI |
| A5SHBS8V17 | A5SHBS8V17 | statement | record (an 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.26340#6F4V |
| A5SPSX754K | A5SPSX754K | statement | record (an 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.31352#LVNP |
| A5T103GTKC | A5T103GTKC | 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.26984#11LI |
| A5TT5V3S3E | A5TT5V3S3E | statement | record (an 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.02852#QT6F |
| A5VACVWS3V | A5VACVWS3V | statement | record (an 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.39505#AHYO |
| A5VTRNAXB9 | A5VTRNAXB9 | statement | record (an 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#3HXX |
| A5VZ1Y8AR6 | A5VZ1Y8AR6 | statement | record (an 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.01868#XL8Y |
| A5W4TGC3AP | A5W4TGC3AP | statement | record (an 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.34522#IRFV |
| A5WP0CMS42 | A5WP0CMS42 | statement | record (an 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.15454#0PBM |
| A5X3CRP6MX | A5X3CRP6MX | statement | record (an 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.04833#OJW0 |
| A5X45QWSDV | A5X45QWSDV | 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 1002.0879#ESK3 |
| A5YWEEYV36 | A5YWEEYV36 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1904.08413#RFH4 |
| A5YY9PCGD2 | A5YY9PCGD2 | statement | record (an 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.17412#NIZ6 |
| A5Z4M32G8M | A5Z4M32G8M | statement | record (an 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.14842#4EDY |
| A5ZN2K1SKT | A5ZN2K1SKT | statement | record (an 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#31SD |
| A5ZTM3N2MC | A5ZTM3N2MC | statement | record (an 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.13833#SAVK |
| A60C1J1MXN | A60C1J1MXN | statement | record (an 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.40274#D43U |
| A619CHN6W8 | A619CHN6W8 | statement | record (an 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.02993#8Y8C |
| A61SQZPWXS | A61SQZPWXS | statement | record (an 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.03835#LUMH |
| A61YC2SRPM | A61YC2SRPM | statement | record (an 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.06340#SVF5 |
| A624A8BNWY | A624A8BNWY | statement | record (an 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.35180#ICA2 |
| A6278MXD55 | A6278MXD55 | statement | record (an 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.13877#FP4T |
| A62DJS6QYQ | A62DJS6QYQ | 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 1107.2621#EST0 |
| A62H8RW8YB | A62H8RW8YB | statement | record (an 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.21092#O935 |
| A62WW1E3N2 | A62WW1E3N2 | statement | record (an 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.08288#KUP1 |
| A632HJ86CV | A632HJ86CV | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#01JK |
| A645K76H38 | A645K76H38 | statement | record (an 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.13532#O3XI |
| A64BZ02Y58 | A64BZ02Y58 | statement | record (an 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.26307#5EJY |
| A6526RR5PK | A6526RR5PK | exercise | open | napkin tex/homology/cup-product.tex#problem-2 |
| A652K6BKG3 | A652K6BKG3 | proof | open | open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#proof-1 |
| A657V3J648 | A657V3J648 | statement | record (an 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.03337#VFU1 |
| A65B1JTNAZ | A65B1JTNAZ | 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 math/0003117#4SRH |
| A66CPAZPBC | A66CPAZPBC | statement | record (an 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.16821#X4H9 |
| A66KM4628W | A66KM4628W | statement | record (an 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.21725#SM4E |
| A67AV7C6DR | A67AV7C6DR | statement | record (an 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.20489#BN8N |
| A67BPB9D3G | A67BPB9D3G | statement | record (an 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.09341#M1MU |
| A67D5BVSNV | A67D5BVSNV | statement | record (an 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.36237#NPNV |
| A67DWCJKP1 | A67DWCJKP1 | statement | record (an 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.08484#AOV7 |
| A67FW11KD0 | A67FW11KD0 | example | open | lebl_ra ch-seq-ser.tex#ps:expex |
| A67V0H1E8C | A67V0H1E8C | statement | record (an 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.39505#PSWS |
| A68CY2FX9Y | A68CY2FX9Y | 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 2411.16022#JDF9 |
| A68KDF9FB3 | A68KDF9FB3 | exercise | open | open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#sfr:siz:zigzag:prob:posint-star |
| A698NR7XHV | A698NR7XHV | example | open | lebl_scv scv.tex#example-27 |
| A69HKMZV46 | A69HKMZV46 | statement | record (an 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.17589#EX39 |
| A69SRT0CH1 | A69SRT0CH1 | statement | record (an 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.31300#5Q5A |
| A6AFRMXFKD | A6AFRMXFKD | statement | record (an 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.09133#F3GF |
| A6C63SBPD3 | A6C63SBPD3 | statement | record (an 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.35740#LPH1 |
| A6DCA0M0TE | A6DCA0M0TE | statement | record (an 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.16225#1QNE |
| A6DWB37017 | A6DWB37017 | statement | record (an 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.25255#HDEL |
| A6E2W3Y2J8 | A6E2W3Y2J8 | 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 2608.23797#DQIW |
| A6EN1S59MY | A6EN1S59MY | 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 2601.15403#7TD7 |
| A6FC59Z6SH | A6FC59Z6SH | statement | open | hott_book hlevels.tex#thm:truncn-ind |
| A6FG1KYRQZ | A6FG1KYRQZ | unknown | open | arXiv math/0507030#SI11 |
| A6FWACSP6Q | A6FWACSP6Q | statement | record (an 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.27918#JBVD |
| A6FZ3JMEPD | A6FZ3JMEPD | statement | record (an 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.11481#AAX8 |
| A6GDHB4W30 | A6GDHB4W30 | unknown | open | arXiv 2609.35404#IRAV |
| A6GPTEPCS0 | A6GPTEPCS0 | statement | record (an 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.05118#46VM |
| A6H1Q88GZC | A6H1Q88GZC | statement | record (an 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.10525#HSA3 |
| A6H5CF6K0R | A6H5CF6K0R | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-17 |
| A6HCMGPZVV | A6HCMGPZVV | statement | record (an 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.00657#EILS |
| A6HD4N4SPB | A6HD4N4SPB | 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.20273#JANQ |