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 1301–1400 of 5528.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| A8Z53BXY86 | A8Z53BXY86 | statement | record (an 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.20135#01F3 |
| A8ZKWBTWC5 | A8ZKWBTWC5 | 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.26129#JU68 |
| A9178NERKT | A9178NERKT | statement | record (an 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.11101#SQKK |
| A921S4Q5CV | A921S4Q5CV | statement | record (an 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.01467#AZ3T |
| A92C2C5RF3 | A92C2C5RF3 | statement | record (an 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#C5QM |
| A92RA93GZN | A92RA93GZN | statement | record (an 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#OWLM |
| A93MDS0BN0 | A93MDS0BN0 | 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.28552#FH85 |
| A93P5T0S7W | A93P5T0S7W | 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.32300#EUE4 |
| A93Z1K3RCK | A93Z1K3RCK | 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 0811.0544#KSN3 |
| A94813WYDX | A94813WYDX | statement | record (an 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.03081#YAN2 |
| A94B8TJZQK | A94B8TJZQK | statement | record (an 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.33926#WD3U |
| A94FRCCXC2 | A94FRCCXC2 | statement | record (an 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.35466#SHTB |
| A94MKR6PAJ | A94MKR6PAJ | statement | record (an 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#S7XS |
| A94ZK1XV3R | A94ZK1XV3R | 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.27056#MJ5O |
| A95BAY9Q4B | A95BAY9Q4B | statement | record (an 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.35001#C997 |
| A95BCFBCJ0 | A95BCFBCJ0 | statement | record (an 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#8ANJ |
| A95EEMKBG8 | A95EEMKBG8 | statement | record (an 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.38556#9976 |
| A9635ZA1P9 | A9635ZA1P9 | statement | record (an 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.28594#IB8U |
| A973XVDHKA | A973XVDHKA | statement | record (an 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.00512#0D5K |
| A983322GP7 | A983322GP7 | 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 2512.16003#HTR0 |
| A985BPV1AP | A985BPV1AP | statement | record (an 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.01653#E1LM |
| A98TV0AF3S | A98TV0AF3S | 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.21752#3X6Z |
| A99FRT0PSE | A99FRT0PSE | statement | record (an 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.09596#5TC8 |
| A9A65JVQ3S | A9A65JVQ3S | statement | record (an 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.16102#JCST |
| A9AAGQR1HR | A9AAGQR1HR | 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.13295#C33H |
| A9AF7H7J5Q | A9AF7H7J5Q | statement | record (an 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.38131#HN8X |
| A9ATWGZNS5 | A9ATWGZNS5 | statement | record (an 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.04993#IZFD |
| A9B0YPRVRX | A9B0YPRVRX | 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 2206.14762#YW5F |
| A9B6B16QQY | A9B6B16QQY | statement | record (an 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.14561#NDXY |
| A9B6CE1G39 | A9B6CE1G39 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.01474#VR1H |
| A9BE1GGXHC | A9BE1GGXHC | definition | open | napkin tex/topology/metric-top.tex#definition-4 |
| A9BPYW8A4W | A9BPYW8A4W | statement | record (an 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.10460#2H8Q |
| A9BTGKAMYT | A9BTGKAMYT | statement | record (an 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.36403#AHZP |
| A9C4YVZVBZ | A9C4YVZVBZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2211.10178#RKRF |
| A9C8QEDKKJ | A9C8QEDKKJ | statement | record (an 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.20416#F5AF |
| A9CPHAJXWD | A9CPHAJXWD | statement | record (an 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#VCF5 |
| A9CVPWXVP4 | A9CVPWXVP4 | statement | record (an 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#SZ6U |
| A9D0FWFAXC | A9D0FWFAXC | statement | record (an 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.06455#GAKC |
| A9D4B5T5BT | A9D4B5T5BT | exercise | open | hott_book basics.tex#ex:npaths |
| A9D5JG8QK1 | A9D5JG8QK1 | statement | record (an 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.29877#HWK6 |
| A9DJFRR88R | A9DJFRR88R | statement | record (an 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.32207#TT6N |
| A9DJT7E25K | A9DJT7E25K | statement | record (an 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.21675#A113 |
| A9DN5QMP1J | A9DN5QMP1J | statement | record (an 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.12983#91TD |
| A9E4EWNVF7 | A9E4EWNVF7 | statement | open | lebl_ra ch-approximate.tex#cor-4 |
| A9E6YDAH66 | A9E6YDAH66 | 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.30262#28IW |
| A9EDYB0K0Z | A9EDYB0K0Z | statement | record (an 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.16386#548L |
| A9ET7WV2DG | A9ET7WV2DG | 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.10365#JHKG |
| A9G9PSZSZW | A9G9PSZSZW | exercise | open | open_logic content/first-order-logic/completeness/compactness-direct.tex#prob-5 |
| A9GD1MH9XR | A9GD1MH9XR | statement | record (an 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.38138#3K2Z |
| A9GF9GV9Q2 | A9GF9GV9Q2 | statement | record (an 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#ZRV7 |
| A9GQHQMF89 | A9GQHQMF89 | statement | record (an 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#D18X |
| A9GY48PQZH | A9GY48PQZH | statement | record (an 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#N1P5 |
| A9GYE1KHK8 | A9GYE1KHK8 | statement | record (an 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.02751#QNBM |
| A9HJ1E74GB | A9HJ1E74GB | statement | record (an 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.20542#TJPZ |
| A9HK2EZN4Z | A9HK2EZN4Z | statement | record (an 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#6QOT |
| A9J2TCMWWX | A9J2TCMWWX | statement | record (an 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.04772#A08S |
| A9J9T2MD8R | A9J9T2MD8R | exercise | open | napkin tex/topology/compactness.tex#problem-2 |
| A9JA0A6J28 | A9JA0A6J28 | statement | record (an 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.40096#2MCM |
| A9JJMXNBFJ | A9JJMXNBFJ | statement | record (an 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#K24V |
| A9KWRS114B | A9KWRS114B | statement | record (an 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.26745#EVTP |
| A9KXEY7F24 | A9KXEY7F24 | statement | record (an 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.32174#DM21 |
| A9KYC1A4GC | A9KYC1A4GC | statement | record (an 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#15NL |
| A9MJRGYNXT | A9MJRGYNXT | statement | record (an 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.29605#K6EG |
| A9MKT3655M | A9MKT3655M | statement | record (an 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.36181#3J1R |
| A9NJ8C8189 | A9NJ8C8189 | statement | record (an 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.05069#V858 |
| A9NNMV08Q8 | A9NNMV08Q8 | statement | record (an 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#4TS3 |
| A9NR1V1XBE | A9NR1V1XBE | statement | record (an 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#SWTC |
| A9NRVQ4DD3 | A9NRVQ4DD3 | statement | record (an 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.02722#9IJB |
| A9P240C927 | A9P240C927 | statement | record (an 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.25967#W81Q |
| A9P3XHWGGX | A9P3XHWGGX | statement | record (an 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.21868#T6U1 |
| A9PK80H0P3 | A9PK80H0P3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2406.13841#1OQL |
| A9PK946988 | A9PK946988 | statement | record (an 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.18324#NC9V |
| A9PKTKNGKS | A9PKTKNGKS | 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.20801#90DQ |
| A9PSAPSEVV | A9PSAPSEVV | definition | open | hott_book setmath.tex#def:simulation |
| A9QBV03622 | A9QBV03622 | statement | record (an 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.05259#JSB7 |
| A9QEC7F0ED | A9QEC7F0ED | statement | record (an 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#87DN |
| A9R0345V8K | A9R0345V8K | statement | record (an 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.12983#89UR |
| A9RZ37R6JA | A9RZ37R6JA | 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 2206.05392#M5V4 |
| A9VAG158QZ | A9VAG158QZ | statement | record (an 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#BCIJ |
| A9VXNYHS9R | A9VXNYHS9R | statement | record (an 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.16258#YAV8 |
| A9WGNVANDH | A9WGNVANDH | 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.19260#QBI3 |
| A9WK62X905 | A9WK62X905 | statement | record (an 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.31445#K1V8 |
| A9WXKVDMD3 | A9WXKVDMD3 | 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.20915#P52W |
| A9WXXZ9DCW | A9WXXZ9DCW | statement | record (an 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#3CVM |
| A9WZJZV03A | A9WZJZV03A | statement | record (an 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.33283#ZZZQ |
| A9XQ2XRCMA | A9XQ2XRCMA | statement | record (an 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#BUU4 |
| A9Y458BSHY | A9Y458BSHY | statement | record (an 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.08567#RB3E |
| A9Y81P41E1 | A9Y81P41E1 | statement | record (an 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.15099#IZ6G |
| A9YNHTMYST | A9YNHTMYST | 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.07828#DLFI |
| A9YS1674BX | A9YS1674BX | statement | record (an 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.24363#YF6Q |
| A9YTGEC2CB | A9YTGEC2CB | exercise | open | napkin tex/set-theory/forcing.tex#ques-2 |
| A9ZATR1NNB | A9ZATR1NNB | statement | record (an 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.14267#E1YS |
| A9ZCWS81HJ | A9ZCWS81HJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.21444#8B5S |
| A9ZEMF1A3C | A9ZEMF1A3C | statement | record (an 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#GSEZ |
| A9ZQ6R0AMP | A9ZQ6R0AMP | statement | record (an 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#0723 |
| A9ZRW5AJH5 | A9ZRW5AJH5 | statement | record (an 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.17408#PDMY |
| A9ZVAMBP85 | A9ZVAMBP85 | 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 2210.17066#N9LJ |
| A9ZXYCEB87 | A9ZXYCEB87 | statement | record (an 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#14HI |
| A: realization at an infinite orbit | VF2Q036CPQ | statement | record (an 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#2XT1 |
| AA03BWMJ1G | AA03BWMJ1G | statement | record (an 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.28597#07VK |