Inventory: H
The rows of the inventory whose names start with H. 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 3501–3600 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HV165DWVK8 | HV165DWVK8 | statement | open | lebl_ra ch-seq-ser.tex#prop:limisunique |
| HV189YRZS5 | HV189YRZS5 | 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.31126#9DMP |
| HV19V0838X | HV19V0838X | definition | open | open_logic content/incompleteness/representability-in-q/introduction.tex#defn:representable-fn |
| HV2E6Z9RYY | HV2E6Z9RYY | statement | record (an 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.40214#OVV7 |
| HV3QEYRJ6W | HV3QEYRJ6W | statement | record (an 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#LUFC |
| HV3WW6AE4Q | HV3WW6AE4Q | statement | record (an 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.29918#F5TL |
| HV3YR1AJJ1 | HV3YR1AJJ1 | statement | record (an 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.10477#H9N8 |
| HV4TR00328 | HV4TR00328 | proof | open | napkin tex/topology/metric-top.tex#proof-4 |
| HV5ENJXWXV | HV5ENJXWXV | statement | record (an 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#27T0 |
| HV5M6ERQRH | HV5M6ERQRH | proof | open | lebl_ra ch-seq-ser.tex#proof-17 |
| HV5RNKWQ2E | HV5RNKWQ2E | 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.09319#X9KW |
| HV5XCJ4ZAP | HV5XCJ4ZAP | unknown | open | |
| HV5XXQ780K | HV5XXQ780K | statement | record (an 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.03559#CAE3 |
| HV69JP6YEC | HV69JP6YEC | statement | record (an 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#31ZC |
| HV6DHRG3J5 | HV6DHRG3J5 | statement | record (an 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#BN25 |
| HV6DNPMEBV | HV6DNPMEBV | statement | open | open_logic content/second-order-logic/sol-and-set-theory/power-of-continuum.tex#prop-5 |
| HV6JZS9783 | HV6JZS9783 | statement | record (an 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.10591#72Q9 |
| HV7B0RVRF4 | HV7B0RVRF4 | statement | record (an 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.36725#GNIA |
| HV7XTTENDX | HV7XTTENDX | proof | open | applied_combinatorics source/s_induction_proofs.ptx#proof-3 |
| HV9AGZQYT4 | HV9AGZQYT4 | statement | record (an 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.04566#PZ5F |
| HV9RBWBH2V | HV9RBWBH2V | statement | record (an 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.05539#GWNZ |
| HVA59QX54R | HVA59QX54R | statement | record (an 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.16267#6ZH8 |
| HVACDSEP7F | HVACDSEP7F | statement | record (an 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.05611#H7NN |
| HVB38DF707 | HVB38DF707 | statement | record (an 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.34193#9JTK |
| HVB7GBTGR3 | HVB7GBTGR3 | statement | record (an 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.11545#O24X |
| HVC6X0KQK4 | HVC6X0KQK4 | statement | record (an 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.15421#CSRW |
| HVCDWNQQYC | HVCDWNQQYC | statement | record (an 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.06746#AWUM |
| HVCNDZ41HG | HVCNDZ41HG | statement | record (an 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.00909#IZJS |
| HVCTR3K639 | HVCTR3K639 | statement | record (an 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.30637#6VCH |
| HVCY4HDZ8A | HVCY4HDZ8A | statement | record (an 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.18847#VGSG |
| HVD11NBWD4 | HVD11NBWD4 | exercise | open | levin_dmoi ptx/exercises/counting-addmult.ptx#exercise-6 |
| HVD24QP957 | HVD24QP957 | statement | open | open_logic content/set-theory/z/pairs.tex#prop:pairsconsequences |
| HVD8NAVE8P | HVD8NAVE8P | statement | record (an 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#BFX1 |
| HVDNB1P69Q | HVDNB1P69Q | statement | record (an 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.11974#JJDZ |
| HVE0N627M1 | HVE0N627M1 | statement | record (an 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.38735#UID7 |
| HVECK5XY69 | HVECK5XY69 | exercise | record (an exercise of a paper, which becomes a node only when a node, a project or a curriculum asks for it (corpus arxiv AX8.6)) | arXiv 2610.15698#AVDM |
| Hvedri Inassaridze | SF80MKV9R1 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102123707, nLab Hvedri Inassaridze |
| HVEDT6CHJG | HVEDT6CHJG | statement | record (an 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#F00S |
| HVERWXQ1CG | HVERWXQ1CG | statement | record (an 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#DHKM |
| HVFC5D3S6P | HVFC5D3S6P | statement | record (an 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.28848#0XC0 |
| HVFGHGJPQQ | HVFGHGJPQQ | statement | record (an 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#WZFX |
| HVFN24W2PZ | HVFN24W2PZ | statement | record (an 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.11693#ASJ9 |
| HVFPMET50X | HVFPMET50X | 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.26417#B7BY |
| HVH0J2AMYK | HVH0J2AMYK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2106.11898#AHM3 |
| HVH13XD4Y0 | HVH13XD4Y0 | exercise | open | applied_combinatorics source/s_ramsey_exercises.ptx#exercise-2 |
| HVH1FAZJ6S | HVH1FAZJ6S | statement | record (an 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.35252#5NST |
| HVH1SKY5VZ | HVH1SKY5VZ | statement | record (an 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.02550#NAP1 |
| HVHR5HBCNZ | HVHR5HBCNZ | 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.10469#4AV5, arXiv 2610.16875#32YD |
| HVJGT9DSQD | HVJGT9DSQD | statement | record (an 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#TRNA |
| HVK4S1PHF7 | HVK4S1PHF7 | statement | record (an 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.28403#3F1G |
| HVKHJQ08BG | HVKHJQ08BG | 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#T8N2 |
| HVKPS51WBS | HVKPS51WBS | proof | open | napkin tex/topology/metric-top.tex#proof-2 |
| HVKWQMMSFW | HVKWQMMSFW | statement | record (an 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.11143#57LV |
| HVMDEQN96S | HVMDEQN96S | 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.32077#LCB5 |
| HVMDPV71R4 | HVMDPV71R4 | statement | record (an 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.09704#ZVA3 |
| HVMHVQ41AX | HVMHVQ41AX | 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.20558#WALR |
| HVMNW80AS6 | HVMNW80AS6 | statement | open | applied_combinatorics source/s_strings_permutations.ptx#prop_strings_permutations |
| HVMYH1P5MW | HVMYH1P5MW | statement | record (an 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.17139#T95D |
| HVNAW1G561 | HVNAW1G561 | statement | record (an 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#FG3J |
| HVNBYZPMP2 | HVNBYZPMP2 | 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.05623#87NF |
| HVNRVZBZP7 | HVNRVZBZP7 | statement | record (an 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.20956#6HC0 |
| HVNSYZCMS3 | HVNSYZCMS3 | statement | open | lebl_ra ch-riemann.tex#prop-4 |
| HVNVSRPNGE | HVNVSRPNGE | proof | open | lebl_ra ch-metric.tex#proof-27 |
| HVNWREX4RC | HVNWREX4RC | statement | record (an 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.15169#5KSZ |
| HVPTHGK5FY | HVPTHGK5FY | statement | record (an 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#Z9QR |
| HVPTKKZEDT | HVPTKKZEDT | statement | record (an 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.33578#AY0L |
| HVQBG08XV3 | HVQBG08XV3 | 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.38138#QKKE |
| HVQBWKDBR6 | HVQBWKDBR6 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2201.04174#0DS4 |
| HVR2X1100H | HVR2X1100H | statement | record (an 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.11797#MKPE |
| HVRWW2CAXX | HVRWW2CAXX | 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.39169#H6O9 |
| HVSX76TZQV | HVSX76TZQV | statement | record (an 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.18101#3N6Q |
| HVTM477A74 | HVTM477A74 | 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.31274#GM2C |
| HVTVJTBZV7 | HVTVJTBZV7 | statement | record (an 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.20385#ZV3I |
| HVTWGXC6VY | HVTWGXC6VY | statement | record (an 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.10968#QNQF |
| HVV9S2CE6V | HVV9S2CE6V | statement | record (an 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.26058#C3ZR |
| HVVCEK0EHZ | HVVCEK0EHZ | statement | record (an 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.26307#WMS1 |
| HVVVY54AZX | HVVVY54AZX | exercise | open | napkin tex/set-theory/cardinal.tex#exercise-1 |
| HVVWAB0FSE | HVVWAB0FSE | statement | record (an 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#C72R |
| HVWQG2K6D8 | HVWQG2K6D8 | statement | record (an 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.09704#T0IK |
| HVX6PFPBK6 | HVX6PFPBK6 | 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.20801#SMV8 |
| HVXS28C0EE | HVXS28C0EE | statement | record (an 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.10747#QTNK |
| HVXWTXFGZC | HVXWTXFGZC | statement | record (an 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.33015#T9ZD |
| HVYPGCJ21S | HVYPGCJ21S | 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.21455#6DJB |
| HVZ8X62MBC | HVZ8X62MBC | statement | record (an 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#AKMX |
| HVZEF6AAWT | HVZEF6AAWT | 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.31274#K3DB |
| HVZPN7W1NP | HVZPN7W1NP | statement | record (an 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.38051#9R1A |
| HW00YCKNQD | HW00YCKNQD | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2501.00810#5EWR |
| HW0BBGWZPB | HW0BBGWZPB | statement | open | lebl_ra ch-metric.tex#prop-1 |
| HW0EQ9BXK1 | HW0EQ9BXK1 | statement | record (an 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.28295#V887 |
| HW0FQ2F7V5 | HW0FQ2F7V5 | exercise | open | ernst_ibl MAAPressVersion/Relations.tex#prob:another relation on finite |
| HW0QJSSE7X | HW0QJSSE7X | 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.05259#XQ13 |
| HW1XA9PKH2 | HW1XA9PKH2 | 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.16768#B25A |
| HW1ZYF5QCV | HW1ZYF5QCV | statement | record (an 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#6AGM |
| HW218MKZ82 | HW218MKZ82 | statement | record (an 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.02276#G0GI |
| HW2A7WSJF6 | HW2A7WSJF6 | exercise | open | lebl_ra ch-contfunc.tex#exercise-62 |
| HW2AEX59SM | HW2AEX59SM | statement | record (an 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#JW9H |
| HW2JKPT1B2 | HW2JKPT1B2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2507.20176#K37L |
| HW2XGNG0YC | HW2XGNG0YC | statement | record (an 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.28669#DPSQ |
| HW3GA21YQ6 | HW3GA21YQ6 | statement | record (an 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.00914#L3TI |
| HW3GTVV0F6 | HW3GTVV0F6 | statement | record (an 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.20593#YLKO |