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 9901–10000 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 4AZMAWAC0B | 4AZMAWAC0B | statement | record (an 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.25703#H7P2 |
| 4AZQB44RJS | 4AZQB44RJS | statement | record (an 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.17626#NN2B |
| 4AZV1AA00M | 4AZV1AA00M | statement | record (an 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.16704#A6FK |
| 4AZW8VCJHV | 4AZW8VCJHV | statement | record (an 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#B2TE |
| 4B0WWR8JB8 | 4B0WWR8JB8 | exercise | open | austin_ula src/section7-1.xml#activity-orthog-diag |
| 4B132YY8C9 | 4B132YY8C9 | 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.01915#4L00 |
| 4B1S8PHWYG | 4B1S8PHWYG | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.20170#1EQ5 |
| 4B25Y1JMQY | 4B25Y1JMQY | 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.09171#DSF3 |
| 4B2RGHKVJR | 4B2RGHKVJR | proof | open | open_logic content/sets-functions-relations/arithmetization/cuts.tex#proof-1 |
| 4B2ZYGXKJA | 4B2ZYGXKJA | statement | record (an 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.17669#ZDSN |
| 4B3AKRHEEH | 4B3AKRHEEH | statement | record (an 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.13475#39N7 |
| 4B3VKTEWZM | 4B3VKTEWZM | example | open | lebl_ra ch-seq-funcs.tex#example-9 |
| 4B3XEJC3MR | 4B3XEJC3MR | 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 2312.06581#6DQ6 |
| 4B4XMY7K1Y | 4B4XMY7K1Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.06445#IOQG |
| 4B52KZ7BF4 | 4B52KZ7BF4 | statement | record (an 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.21627#ZZH7 |
| 4B5CWP1GFR | 4B5CWP1GFR | 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 2505.04593#BX4Q |
| 4B66RGXXF4 | 4B66RGXXF4 | statement | record (an 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.27798#SO3C |
| 4B6HDS95TH | 4B6HDS95TH | statement | record (an 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.26922#QKOV |
| 4B6JJ3T0DR | 4B6JJ3T0DR | 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.38975#YW8Z |
| 4B6NW5VTGW | 4B6NW5VTGW | statement | record (an 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.12326#SMAR |
| 4B7NHF37H8 | 4B7NHF37H8 | 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.21725#TH85 |
| 4B7NMAYXKP | 4B7NMAYXKP | statement | record (an 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.24580#NC6X |
| 4B7X9FGDVW | 4B7X9FGDVW | statement | record (an 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.39293#I9T6 |
| 4B7YYY6F8V | 4B7YYY6F8V | statement | record (an 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.37112#YO0U |
| 4B8JV45WVK | 4B8JV45WVK | statement | record (an 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.07243#WW0Y |
| 4B8W58DN2W | 4B8W58DN2W | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-3 |
| 4B8XYDK542 | 4B8XYDK542 | statement | record (an 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.04382#3SXP |
| 4B95GQH07D | 4B95GQH07D | statement | record (an 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.36313#0N04 |
| 4BA1P8BXVS | 4BA1P8BXVS | exercise | open | lebl_scv scv.tex#exercise-285 |
| 4BA71B4ZGX | 4BA71B4ZGX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2312.00752#IWOS |
| 4BA7G6PX7K | 4BA7G6PX7K | statement | record (an 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#2Y2S |
| 4BA9BE52HX | 4BA9BE52HX | statement | record (an 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.06419#6B24 |
| 4BAKM7ERG1 | 4BAKM7ERG1 | statement | record (an 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.15720#LW8E |
| 4BBEWQY2V3 | 4BBEWQY2V3 | 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.26496#GQQE |
| 4BC34D8M5F | 4BC34D8M5F | 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#7WO7 |
| 4BCC3MD2BX | 4BCC3MD2BX | exercise | open | austin_ula src/exercises/exercises7-4.xml#exercise-4 |
| 4BCHFM0BYA | 4BCHFM0BYA | statement | record (an 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.04069#E3B5 |
| 4BDMEV7PF6 | 4BDMEV7PF6 | statement | record (an 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#LOCR |
| 4BE2KSJW9W | 4BE2KSJW9W | statement | record (an 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.38970#SE5V |
| 4BEFR7JTSR | 4BEFR7JTSR | statement | record (an 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#XXEP |
| 4BF7751K6M | 4BF7751K6M | statement | record (an 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.35095#QWNF |
| 4BF98BDEF5 | 4BF98BDEF5 | statement | record (an 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.35597#ELZ1 |
| 4BG7HNRVJW | 4BG7HNRVJW | statement | record (an 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.07508#YZSW |
| 4BGEFAWJ51 | 4BGEFAWJ51 | 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 2412.12141#UQIR |
| 4BGFB4CKPB | 4BGFB4CKPB | statement | record (an 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.14555#OMGB |
| 4BGGX2D70Y | 4BGGX2D70Y | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.07784#I3L0 |
| 4BGQEVDV5Z | 4BGQEVDV5Z | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-89 |
| 4BGT4PM324 | 4BGT4PM324 | 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.20466#NC5G |
| 4BGYQ53GQN | 4BGYQ53GQN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1209.3562#ACJV |
| 4BH0A1MKKJ | 4BH0A1MKKJ | statement | record (an 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.26762#5WBA |
| 4BH388BXC4 | 4BH388BXC4 | 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.29759#I5SR |
| 4BH72DGS2M | 4BH72DGS2M | statement | record (an 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.35678#RFIQ |
| 4BHQ5Y5DBY | 4BHQ5Y5DBY | definition | open | open_logic content/incompleteness/arithmetization-syntax/coding-symbols.tex#defn-2 |
| 4BJ9MEJZJZ | 4BJ9MEJZJZ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0902.4887#3VA6 |
| 4BJGAWQ9P3 | 4BJGAWQ9P3 | statement | record (an 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.27152#KGVC |
| 4BJJ36HV8W | 4BJJ36HV8W | statement | record (an 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#0IU0 |
| 4BJKW50N02 | 4BJKW50N02 | statement | record (an 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#44AI |
| 4BJQNQ1M97 | 4BJQNQ1M97 | statement | record (an 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.29531#PBZR |
| 4BJTNA1QSD | 4BJTNA1QSD | definition | open | lebl_scv scv.tex#defn-2 |
| 4BK45YEEN5 | 4BK45YEEN5 | statement | record (an 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#R7BV |
| 4BKKHQ8J3H | 4BKKHQ8J3H | statement | record (an 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.29227#1984 |
| 4BKVB80XAW | 4BKVB80XAW | statement | record (an 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.06081#SF1N |
| 4BMQ52HXNP | 4BMQ52HXNP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1509.00950#9TU3 |
| 4BNCXD574N | 4BNCXD574N | statement | record (an 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.11785#EQ98 |
| 4BNK5HFB19 | 4BNK5HFB19 | definition | open | open_logic content/computability/recursive-functions/partial-functions.tex#defn:recursive-fn |
| 4BNKTWMDVH | 4BNKTWMDVH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.12716#G9SZ |
| 4BP3PMT74R | 4BP3PMT74R | statement | record (an 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.05722#NGO9 |
| 4BPKBDZAJW | 4BPKBDZAJW | statement | record (an 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.17325#ILG0 |
| 4BPTNQ7A36 | 4BPTNQ7A36 | statement | record (an 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.23812#79XR |
| 4BQK2CZF37 | 4BQK2CZF37 | statement | record (an 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#9KD5 |
| 4BQNFGDAZR | 4BQNFGDAZR | proof | open | hott_book equivalences.tex#proof-24 |
| 4BR1DN4JHF | 4BR1DN4JHF | statement | open | open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#prop:ccs-properties |
| 4BRDR7508X | 4BRDR7508X | statement | record (an 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.19309#IJZW |
| 4BRFT0VGN6 | 4BRFT0VGN6 | 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 2309.17091#HV5H |
| 4BRRRV312D | 4BRRRV312D | statement | record (an 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#1WJJ |
| 4BSEJZABG8 | 4BSEJZABG8 | 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.11455#GHRD |
| 4BSGD96BQ1 | 4BSGD96BQ1 | statement | record (an 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.14060#KJXD |
| 4BSR6S1XQF | 4BSR6S1XQF | statement | record (an 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.28808#VUO9 |
| 4BT1DDS7CY | 4BT1DDS7CY | exercise | open | lebl_ra ch-metric.tex#exercise-59 |
| 4BT4M9DYZB | 4BT4M9DYZB | exercise | open | napkin tex/topology/compactness.tex#thm:bzw |
| 4BT79ZHMG8 | 4BT79ZHMG8 | statement | record (an 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.38453#KVUT |
| 4BT89N7N30 | 4BT89N7N30 | statement | record (an 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.26769#1R7P |
| 4BTN4G652P | 4BTN4G652P | statement | record (an 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#8JCY |
| 4BTSDSXRC1 | 4BTSDSXRC1 | statement | record (an 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.02042#VP61 |
| 4BTV4TFVW9 | 4BTV4TFVW9 | 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.27518#9FG3 |
| 4BV2FJVZRX | 4BV2FJVZRX | statement | record (an 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.37920#QQAA |
| 4BVVXMJ5VB | 4BVVXMJ5VB | exercise | open | hott_book equivalences.tex#ex:qinv-autohtpy-no-univalence |
| 4BVX1N3PSK | 4BVX1N3PSK | statement | record (an 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.31126#LFGL |
| 4BW6YJD17P | 4BW6YJD17P | statement | record (an 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.15424#HFRF |
| 4BW9416WNF | 4BW9416WNF | 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.10576#FB2J |
| 4BWMGH1DJT | 4BWMGH1DJT | statement | record (an 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#PQJY |
| 4BWWBJVVV7 | 4BWWBJVVV7 | statement | record (an 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.32906#YOO2 |
| 4BX02GQ5VK | 4BX02GQ5VK | exercise | open | napkin tex/H113/ring-intro.tex#prob:akizuki |
| 4BX45W85XR | 4BX45W85XR | exercise | open | ernst_ibl MAAPressVersion/Counting.tex#exercise-3 |
| 4BX7RJRQX5 | 4BX7RJRQX5 | 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 2105.13129#WLMW |
| 4BXBAQ5SMG | 4BXBAQ5SMG | proof | open | lebl_ra ch-metric.tex#proof-2 |
| 4BY4H4R39Z | 4BY4H4R39Z | statement | record (an 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.08873#Z8KF |
| 4BY8QYG73D | 4BY8QYG73D | statement | record (an 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.33733#DXA2 |
| 4BYBYVPYW9 | 4BYBYVPYW9 | 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.03628#IUO2 |
| 4BYTQWZ3WG | 4BYTQWZ3WG | statement | record (an 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.13847#XRES |