Inventory: Y
The rows of the inventory whose names start with Y. 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 1401–1500 of 2835.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| YFJHHYBV9T | YFJHHYBV9T | statement | record (an 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.25080#D5N8 |
| YFJWHEGCCX | YFJWHEGCCX | statement | record (an 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.12013#9GKA |
| YFKP5BED2N | YFKP5BED2N | statement | record (an 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.27078#5NP6 |
| YFKS8H4EV6 | YFKS8H4EV6 | statement | record (an 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.10511#XHBD |
| YFM2XWFQ6H | YFM2XWFQ6H | statement | record (an 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.09796#ERP8 |
| YFN2GZAAZA | YFN2GZAAZA | statement | record (an 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#A193 |
| YFPDVXAJ7J | YFPDVXAJ7J | statement | record (an 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.33841#0R5X |
| YFPT73S2TJ | YFPT73S2TJ | 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.19296#0TCE |
| YFQ6B5ZJ1H | YFQ6B5ZJ1H | statement | record (an 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#QNXP |
| YFQ8D41F8Y | YFQ8D41F8Y | statement | record (an 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.14985#G7QS |
| YFQ8NH29R3 | YFQ8NH29R3 | unknown | open | |
| YFQ9TM76NM | YFQ9TM76NM | 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 1912.02769#6129 |
| YFR4A5327G | YFR4A5327G | statement | record (an 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.07710#811P |
| YFR9GJHWWF | YFR9GJHWWF | statement | record (an 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.07280#VCM7 |
| YFTF7FTPYB | YFTF7FTPYB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2408.13548#E8J0 |
| YFTFZTK072 | YFTFZTK072 | 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.24448#RRPT |
| YFTYYKA2ZW | YFTYYKA2ZW | statement | record (an 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.21278#4FBM |
| YFV2EVN5VX | YFV2EVN5VX | 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 2607.00146#34YP |
| YFVRH6QHX1 | YFVRH6QHX1 | statement | record (an 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.19192#QTJ6 |
| YFVTZ4W0PT | YFVTZ4W0PT | statement | record (an 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.11671#POH0 |
| YFW1VAYKWG | YFW1VAYKWG | statement | record (an 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.37778#LP77 |
| YFW4RYH1QN | YFW4RYH1QN | statement | open | hott_book basics.tex#thm:ap-prod |
| YFWAW65016 | YFWAW65016 | 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 2210.02997#UI0R |
| YFWE8K90WZ | YFWE8K90WZ | 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 1209.5343#V75Z |
| YFWX33GTB4 | YFWX33GTB4 | exercise | open | ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-11 |
| YFX7NT9SNQ | YFX7NT9SNQ | statement | record (an 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.19449#OWNJ |
| YFXF9M20Z1 | YFXF9M20Z1 | statement | record (an 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.06755#9ZFW |
| YFXHRJXY44 | YFXHRJXY44 | statement | record (an 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#ESV3 |
| YFXM3EPAC2 | YFXM3EPAC2 | statement | record (an 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#GE6Y |
| YFYMQ3Y761 | YFYMQ3Y761 | 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.01802#PJA8 |
| YFYSQW76W6 | YFYSQW76W6 | 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.10930#NOID |
| YFZNTF1K4Z | YFZNTF1K4Z | 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.33469#482G |
| YG0XS9EREA | YG0XS9EREA | 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 2504.00267#BOFR |
| YG14201MZM | YG14201MZM | exercise | open | levin_dmoi ptx/exercises/addtops-numbth.ptx#exercise-16 |
| YG1CM0RZWK | YG1CM0RZWK | statement | record (an 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#3FC2 |
| YG21QDV65B | YG21QDV65B | statement | record (an 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.21954#KRPY |
| YG21VEHJ84 | YG21VEHJ84 | 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.36068#9NAD |
| YG29H3Q2XM | YG29H3Q2XM | statement | record (an 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.14839#6VQW |
| YG3H7ZX9VM | YG3H7ZX9VM | exercise | open | lebl_diffyqs ch-systems.tex#exercise-100 |
| YG3RXM7WA8 | YG3RXM7WA8 | statement | record (an 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.09001#0GHC |
| YG49G76Z1D | YG49G76Z1D | exercise | open | napkin tex/H113/action.tex#exercise-1 |
| YG4NM38KQR | YG4NM38KQR | statement | record (an 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.24314#EJ77 |
| YG510EDZVA | YG510EDZVA | statement | record (an 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.19528#NLMV |
| YG5FEAZM6N | YG5FEAZM6N | definition | open | hott_book equivalences.tex#defn:lcoh-rcoh |
| YG5S7TJXG5 | YG5S7TJXG5 | 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.27799#RSUS |
| YG5WJ8BAF2 | YG5WJ8BAF2 | statement | record (an 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.31615#YO41 |
| YG66V1X913 | YG66V1X913 | statement | record (an 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#5PXP |
| YG6CMCZD3M | YG6CMCZD3M | statement | record (an 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#BOXT |
| YG6FGENCFM | YG6FGENCFM | 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.10469#DJWO |
| YG6FPD8SGM | YG6FPD8SGM | statement | record (an 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#JZ35 |
| YG6GCGK602 | YG6GCGK602 | example | open | napkin tex/topology/constructions.tex#example-10 |
| YG8841T6PA | YG8841T6PA | 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 1903.11969#ZWX4 |
| YG8DD5QFJM | YG8DD5QFJM | statement | record (an 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.25762#HLPY |
| YG907ZF9EH | YG907ZF9EH | statement | record (an 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.20916#Y56D |
| YG90PGH23S | YG90PGH23S | example | open | ernst_ibl MAAPressVersion/ModularArithmetic.tex#exam:twomodseven |
| YG91967GK3 | YG91967GK3 | 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.26337#2ABR |
| YG953N212R | YG953N212R | statement | record (an 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.14582#9WBS |
| YG99M5QPE9 | YG99M5QPE9 | 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 math/9602216#QPYV |
| YG9RWBA3HB | YG9RWBA3HB | 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.18016#ZYGA |
| YG9WQ7HTM9 | YG9WQ7HTM9 | statement | record (an 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.04305#GNZT |
| YG9XWKS8GW | YG9XWKS8GW | statement | record (an 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.31798#BB7W |
| YGA49H9P9Y | YGA49H9P9Y | statement | record (an 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.07099#73P4 |
| YGA9YWC8QE | YGA9YWC8QE | statement | record (an 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.06707#UDEV |
| YGB4MZCHMZ | YGB4MZCHMZ | 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 2505.10801#BDHK |
| YGB7E6SXSH | YGB7E6SXSH | 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.35209#12VV |
| YGBGDRXP0A | YGBGDRXP0A | statement | record (an 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.27628#FX9D |
| YGBH75B5T9 | YGBH75B5T9 | example | open | open_logic content/first-order-logic/models-theories/theories.tex#ex-4 |
| YGBP8E6ZMN | YGBP8E6ZMN | statement | record (an 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#CBLK |
| YGCZWHPJMA | YGCZWHPJMA | statement | record (an 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.31373#GQT8 |
| YGD0QMHD9M | YGD0QMHD9M | proof | open | open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#proof-3 |
| YGD84R7W15 | YGD84R7W15 | statement | record (an 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.35340#XNPN |
| YGDJRSG6T1 | YGDJRSG6T1 | statement | record (an 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.30585#B6S1 |
| YGDYG9XR4P | YGDYG9XR4P | statement | open | open_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#prop:provability-lif |
| YGDYSX6SQQ | YGDYSX6SQQ | exercise | open | levin_dmoi ptx/sec_seq-induction.ptx#investigation-2 |
| YGE4QV00DF | YGE4QV00DF | proof | open | hott_book hlevels.tex#proof-30 |
| YGF350F2XD | YGF350F2XD | statement | record (an 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.03050#9A2B |
| YGF4CA2GJP | YGF4CA2GJP | statement | record (an 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.03305#AQC5 |
| YGF8W9BA43 | YGF8W9BA43 | statement | record (an 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#8YGS |
| YGFT90D27Z | YGFT90D27Z | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2111.00832#73YC |
| YGFYMHGDXM | YGFYMHGDXM | statement | open | open_logic content/computability/computability-theory/non-comp-set.tex#thm:K-0 |
| YGG69J5FTT | YGG69J5FTT | 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 2609.39260#8KSL |
| YGGA8J9EKZ | YGGA8J9EKZ | statement | record (an 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.05730#6VA0 |
| YGGAVNK8WM | YGGAVNK8WM | statement | record (an 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.05193#3A4H |
| YGGKQ2VDNZ | YGGKQ2VDNZ | statement | record (an 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.35632#5NXF |
| YGGRX75YQ1 | YGGRX75YQ1 | statement | record (an 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.12576#1QXP |
| YGHBS60J98 | YGHBS60J98 | statement | record (an 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.10243#00RE |
| YGHSTHXRAA | YGHSTHXRAA | statement | record (an 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.31242#N0H9 |
| YGHZY4QQAP | YGHZY4QQAP | statement | record (an 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.02218#3SP9 |
| YGJSEF2AHS | YGJSEF2AHS | statement | record (an 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.25468#XTHE |
| YGKAYAWNST | YGKAYAWNST | statement | record (an 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.26434#DNUX |
| YGKDHRNE43 | YGKDHRNE43 | statement | record (an 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.35186#A3ZE |
| YGKH5AE39P | YGKH5AE39P | statement | record (an 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#SF3C |
| YGKH8ZHPVW | YGKH8ZHPVW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1001.3646#UTUG |
| YGKJVBBH81 | YGKJVBBH81 | counterexample | record (an 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.04709#09LQ |
| YGKTW0RSVR | YGKTW0RSVR | statement | record (an 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.09889#ZBBV |
| YGKXPRB1XR | YGKXPRB1XR | statement | record (an 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.32058#ZXD1 |
| YGM699QPPQ | YGM699QPPQ | statement | record (an 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#Z47R |
| YGMRFGV6G6 | YGMRFGV6G6 | 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.10221#A770 |
| YGMY440MZD | YGMY440MZD | 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.04870#8U7Z |
| YGN57KV54Y | YGN57KV54Y | 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 2204.13401#UB4Y |