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 11801–11900 of 25924.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 50GB6YN02H | 50GB6YN02H | statement | record (an 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#6P17 |
| 50HFKRFM1H | 50HFKRFM1H | statement | record (an 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.34856#80SA |
| 50HMZA7XSR | 50HMZA7XSR | statement | record (an 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.00323#X3KI |
| 50HZCA9BMC | 50HZCA9BMC | statement | record (an 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.21475#MYT1 |
| 50JCKJJCZW | 50JCKJJCZW | statement | open | hott_book formal.tex#thm:conversion-preserves-typing |
| 50JJFDGX2J | 50JJFDGX2J | 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#N30P |
| 50KJZY2CRZ | 50KJZY2CRZ | statement | record (an 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.05820#Z31T |
| 50KTQ8RCY4 | 50KTQ8RCY4 | statement | record (an 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.06338#B89Y |
| 50KZMTDM9D | 50KZMTDM9D | statement | record (an 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#62PS |
| 50M6DQ0SZY | 50M6DQ0SZY | statement | record (an 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.24206#L64L |
| 50M7BN9801 | 50M7BN9801 | statement | record (an 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#KMSN |
| 50N1M9AMFJ | 50N1M9AMFJ | statement | record (an 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#CTT2 |
| 50NB1NXDY4 | 50NB1NXDY4 | statement | record (an 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.16785#0NVV |
| 50NXXJ7SC2 | 50NXXJ7SC2 | statement | record (an 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.21501#NM5A |
| 50PC9TG9EB | 50PC9TG9EB | statement | record (an 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.20165#8189 |
| 50PJCCGQYY | 50PJCCGQYY | 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.36884#JDTX |
| 50PZMKXRD1 | 50PZMKXRD1 | statement | record (an 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.22882#7G1M |
| 50QBTFX6GP | 50QBTFX6GP | 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#8TXM |
| 50QVZNSXYB | 50QVZNSXYB | statement | record (an 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.34675#ZM8R |
| 50RJAH9T9G | 50RJAH9T9G | statement | record (an 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#BXZS |
| 50SAT7VG3G | 50SAT7VG3G | statement | record (an 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.16099#U8DG |
| 50SBRXZ3TK | 50SBRXZ3TK | 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#ZCMS |
| 50SH54WKV1 | 50SH54WKV1 | statement | record (an 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.24553#0GHW |
| 50SJ0V4JPF | 50SJ0V4JPF | definition | open | napkin tex/homology/cohomology.tex#definition-2 |
| 50TQK877F8 | 50TQK877F8 | statement | record (an 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.04075#OLEF |
| 50TSRJB344 | 50TSRJB344 | 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#9IJZ |
| 50TZ6JEPZK | 50TZ6JEPZK | statement | open | hott_book basics.tex#thm:prod-umpd |
| 50VCHR8YJ5 | 50VCHR8YJ5 | exercise | open | lebl_ra ch-real-nums.tex#exercise-40 |
| 50W0V9FNH7 | 50W0V9FNH7 | statement | record (an 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.14956#D7J3 |
| 50WHHTVQJW | 50WHHTVQJW | statement | record (an 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.31389#EOZI |
| 50WQXNY881 | 50WQXNY881 | statement | open | open_logic content/intuitionistic-logic/semantics/semantic-notions.tex#prop-1 |
| 50XCZ89CFC | 50XCZ89CFC | exercise | open | levin_dmoi ptx/exercises/gt-coloring.ptx#exercise-13 |
| 50XRZQJGPB | 50XRZQJGPB | exercise | open | hott_book induction.tex#ex:inductive-lawvere |
| 50YRA720PN | 50YRA720PN | proof | open | open_logic content/set-theory/choice/countablechoice.tex#proof-2 |
| 50YTPP0ZJR | 50YTPP0ZJR | statement | record (an 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#OPQ5 |
| 50Z9X2ABFM | 50Z9X2ABFM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2306.12846#BIY9 |
| 50ZA1SC1HP | 50ZA1SC1HP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2203.10220#DL23 |
| 50ZBPMR4NB | 50ZBPMR4NB | statement | record (an 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.07608#9DUV |
| 50ZM69G9X9 | 50ZM69G9X9 | statement | open | open_logic content/first-order-logic/syntax-and-semantics/formation-sequences.tex#prop:fseq-trm-equiv |
| 50ZW7M9BZX | 50ZW7M9BZX | statement | record (an 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.35287#RJF8 |
| 5106HSJQNC | 5106HSJQNC | statement | record (an 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.10077#68T5 |
| 510NHK4G58 | 510NHK4G58 | 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.01802#ITPO |
| 510YM70MFN | 510YM70MFN | statement | record (an 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.25823#U00P |
| 51120NBKN8 | 51120NBKN8 | statement | record (an 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.07451#7OKS |
| 5115MVBCPV | 5115MVBCPV | statement | record (an 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.14692#1DYE |
| 511FR3M5JX | 511FR3M5JX | statement | record (an 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.4141#Y7QN |
| 511GH85S4D | 511GH85S4D | statement | record (an 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.21692#WPFI |
| 5128C69XS9 | 5128C69XS9 | statement | record (an 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#RK2L |
| 5129AYB8ZS | 5129AYB8ZS | example | open | levin_dmoi ptx/sec_counting-advPIE.ptx#example-8 |
| 512CNK4CEQ | 512CNK4CEQ | statement | record (an 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.01958#GPGX |
| 512XDAYFNS | 512XDAYFNS | exercise | open | open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#prob-2 |
| 513D419DC2 | 513D419DC2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.15043#W0BQ |
| 513FQ77W6M | 513FQ77W6M | statement | record (an 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.26479#Y32S |
| 513GP8VVC0 | 513GP8VVC0 | statement | record (an 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.36613#KQIL |
| 514PXHFT0K | 514PXHFT0K | statement | record (an 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#GWJC |
| 514Y2TW2VZ | 514Y2TW2VZ | unknown | open | arXiv 2610.13680#NWWY |
| 515E4EQ30N | 515E4EQ30N | statement | record (an 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#VKVA |
| 515NH3FTGQ | 515NH3FTGQ | statement | record (an 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.32439#I8G1 |
| 5168ZG47E7 | 5168ZG47E7 | 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.31269#Z1TP |
| 516C7NBJ1G | 516C7NBJ1G | statement | record (an 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.02022#3R2I |
| 516H0Q5K20 | 516H0Q5K20 | 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 1903.07030#XYGA |
| 516R7KFD5V | 516R7KFD5V | definition | open | napkin tex/set-theory/cardinal.tex#definition-1 |
| 516ZEF8XYN | 516ZEF8XYN | statement | record (an 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.26366#NFLX |
| 5175PPFFCT | 5175PPFFCT | statement | record (an 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.11047#QI57 |
| 517B4P4DPW | 517B4P4DPW | statement | record (an 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.19416#K9BO |
| 517K9YVK3M | 517K9YVK3M | statement | record (an 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.30544#ZM7G |
| 5188MTC7PE | 5188MTC7PE | statement | record (an 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.04431#E88Q |
| 518GAWHC5C | 518GAWHC5C | statement | record (an 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#HN8B |
| 51AQX7NRJ0 | 51AQX7NRJ0 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2302.05529#5XVU |
| 51AXNTA4TJ | 51AXNTA4TJ | statement | record (an 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.26270#CO6R |
| 51AZPT5Q5G | 51AZPT5Q5G | statement | record (an 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.38194#H5SH |
| 51B4TKKVFK | 51B4TKKVFK | statement | record (an 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.10147#6TFR |
| 51B9PQSG2B | 51B9PQSG2B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1804.06366#UK8P |
| 51BDZ2GANV | 51BDZ2GANV | statement | record (an 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#ED3L |
| 51BPBTVWXB | 51BPBTVWXB | 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.15344#0F85 |
| 51BQGSD7EH | 51BQGSD7EH | statement | record (an 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.30067#LE8G |
| 51C5KW8VPX | 51C5KW8VPX | statement | record (an 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.05232#PYFC |
| 51DBVWP8FA | 51DBVWP8FA | statement | record (an 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.10881#5DDF |
| 51DNXXVN6P | 51DNXXVN6P | statement | record (an 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.25823#271V |
| 51EDVKM1C0 | 51EDVKM1C0 | statement | record (an 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.07541#KVF9 |
| 51F9Y9JV8R | 51F9Y9JV8R | statement | open | napkin tex/H113/ring-intro.tex#theorem-1 |
| 51FA7EDM11 | 51FA7EDM11 | proof | open | open_logic content/computability/recursive-functions/pr-relations.tex#proof-1 |
| 51FHPYEYJW | 51FHPYEYJW | 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.27192#47DH |
| 51FJ7JAQ3M | 51FJ7JAQ3M | 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.13833#0I5A |
| 51GCYXVQW7 | 51GCYXVQW7 | exercise | open | austin_ula src/exercises/exercises4-5.xml#exercise-5 |
| 51GS0F840R | 51GS0F840R | statement | record (an 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.15700#RFTE |
| 51GVJPSGB5 | 51GVJPSGB5 | statement | record (an 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.01576#MB1V |
| 51GWWTGTAP | 51GWWTGTAP | statement | record (an 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.08885#0XSY |
| 51H6QD9R06 | 51H6QD9R06 | statement | record (an 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.37274#9OFW |
| 51HFX95X5E | 51HFX95X5E | statement | record (an 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.14450#520R |
| 51HJB124NP | 51HJB124NP | statement | record (an 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.00617#6VDO |
| 51M1V8SM3Z | 51M1V8SM3Z | statement | record (an 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.12054#ZCS9 |
| 51MFW2WEYY | 51MFW2WEYY | statement | record (an 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.12502#5CSX |
| 51MSR0TQP9 | 51MSR0TQP9 | statement | record (an 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.35605#RMYG |
| 51N8QSRDA8 | 51N8QSRDA8 | statement | open | hott_book reals.tex#defn:No-codes |
| 51P9JRQ3TV | 51P9JRQ3TV | statement | record (an 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.25543#V9VE |
| 51PQ3S1BKY | 51PQ3S1BKY | statement | open | open_logic content/sets-functions-relations/sets/subsets.tex#prop-1 |
| 51Q5SZNC4G | 51Q5SZNC4G | statement | record (an 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#JGVB |
| 51QBHB7KQX | 51QBHB7KQX | 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.17060#8S6I |
| 51QEDR2RAP | 51QEDR2RAP | statement | record (an 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.04046#28GB |