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 29490
- A 14276
- B 8378
- C 15607
- D 13617
- E 14772
- F 9322
- G 9280
- H 7946
- I 4245
- J 5846
- K 5471
- L 6535
- M 10449
- N 6691
- O 2386
- P 13732
- Q 4142
- R 9674
- S 15820
- T 11759
- U 2142
- V 4994
- W 5624
- X 3003
- Y 3402
- Z 3622
Rows 1701–1800 of 3402.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| 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 |
| YGP0BM4472 | YGP0BM4472 | statement | record (an 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.21703#DVVG |
| YGPAMR78TG | YGPAMR78TG | statement | record (an 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.31090#NKGF |
| YGPD1KH6RA | YGPD1KH6RA | statement | record (an 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#A7EY |
| YGPF1F1FMC | YGPF1F1FMC | statement | record (an 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#GE61 |
| YGQ893WNMG | YGQ893WNMG | 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.24065#8WAF |
| YGQFMXFH7J | YGQFMXFH7J | 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.17825#HMYL |
| YGQMRR0VH9 | YGQMRR0VH9 | statement | record (an 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.05684#2R9T |
| YGRBK9EKMF | YGRBK9EKMF | statement | record (an 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.01276#7W8U |
| YGRKZC5X8D | YGRKZC5X8D | statement | record (an 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.08837#KX3C |
| YGRWV8R0VZ | YGRWV8R0VZ | proof | open | lebl_ra ch-riemann.tex#proof-10 |
| YGS3VGAHP4 | YGS3VGAHP4 | statement | record (an 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#089Q |
| YGT3ZCRAT0 | YGT3ZCRAT0 | statement | record (an 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.04603#OO71 |
| YGT60QQ7SR | YGT60QQ7SR | statement | record (an 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.27689#W72Y |
| YGT6RCMX4D | YGT6RCMX4D | statement | record (an 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.10745#OZW3 |
| YGTZRZRFTT | YGTZRZRFTT | statement | record (an 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.40207#H9TN |
| YGVHQ9QBHP | YGVHQ9QBHP | statement | record (an 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#WQA2 |
| YGVJ7T2HVP | YGVJ7T2HVP | statement | record (an 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.39706#K4SR |
| YGVKXNAY4Z | YGVKXNAY4Z | 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.19088#7TDN |
| YGWGNXQN2T | YGWGNXQN2T | statement | record (an 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.11034#C2AF |
| YGWH2VPRG4 | YGWH2VPRG4 | proof | open | napkin tex/measure/martingale.tex#proof-3 |
| YGWZ96N7KA | YGWZ96N7KA | statement | open | ernst_ibl MAAPressVersion/CountableSets.tex#theorem-3 |
| YGX8VBW8CN | YGX8VBW8CN | statement | record (an 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.08839#RDTD |
| YGXM5R67XM | YGXM5R67XM | statement | record (an 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.33856#Y98V |
| YGXMCY9E62 | YGXMCY9E62 | statement | open | open_logic content/model-theory/basics/partial-iso.tex#thm:p-isom1 |
| YGY19WRPV9 | YGY19WRPV9 | 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.14383#CF1F |
| YGZDCKK3AY | YGZDCKK3AY | 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.24845#CK66 |
| YGZE3EYRNJ | YGZE3EYRNJ | problem | open | Wikipedia Moving sofa problem#G6KA |
| YH05CQ0PH5 | YH05CQ0PH5 | statement | record (an 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#ITME |
| YH088V2V3T | YH088V2V3T | 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.37815#DL2G |
| YH0KHZC104 | YH0KHZC104 | proof | open | napkin tex/set-theory/CH.tex#proof-4 |
| YH1CSTC5S7 | YH1CSTC5S7 | statement | record (an 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.37739#9LXV |
| YH1K4ZP0DF | YH1K4ZP0DF | statement | record (an 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#VYJX |
| YH20XX13R0 | YH20XX13R0 | statement | record (an 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.00241#SKHJ |
| YH21FEKHSP | YH21FEKHSP | statement | record (an 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#1HFI |
| YH2DZ3Z42R | YH2DZ3Z42R | statement | record (an 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.19036#5PA7 |
| YH2HQ3G5G4 | YH2HQ3G5G4 | statement | record (an 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.15831#HP2N |
| YH2PRVYV84 | YH2PRVYV84 | proof | open | hott_book homotopy.tex#proof-39 |
| YH2SJ2MGS2 | YH2SJ2MGS2 | statement | record (an 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.08638#MX4Z |
| YH3PA0FWH5 | YH3PA0FWH5 | statement | record (an 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.25380#QE18 |