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 1901–2000 of 4070.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| HEXPBPVWGY | HEXPBPVWGY | statement | record (an 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#H78K |
| HEY1ZW7D3N | HEY1ZW7D3N | example | open | levin_dmoi ptx/sec_counting-advPIE.ptx#example-11 |
| HEY5XN2CQY | HEY5XN2CQY | proof | open | open_logic content/first-order-logic/axiomatic-deduction/provability-consistency.tex#proof-1 |
| HEY839G858 | HEY839G858 | statement | record (an 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#22FY |
| HEYMDRSG41 | HEYMDRSG41 | statement | record (an 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.34382#XLAN |
| Heyting algebra | 94BEFCBRXK | concept | open | Wikidata Q1617044, MathWorld HeytingAlgebra, nLab Heyting algebra |
| Heyting arithmetic | 7RRXQA7QSV | unknown | open | Wikidata Q5548813, nLab Heyting arithmetic |
| Heyting spaces, preliminary | GN4F9JFTB1 | 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#IURG |
| HEZ4SK79N4 | HEZ4SK79N4 | proof | open | napkin tex/linalg/dual-trace.tex#proof-2 |
| HEZR24QC4D | HEZR24QC4D | statement | record (an 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.18709#X5FA |
| HF036THYPQ | HF036THYPQ | statement | record (an 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.38417#4E57 |
| HF03HGMWZM | HF03HGMWZM | statement | record (an 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.28350#Z1IZ |
| HF043W23Y4 | HF043W23Y4 | statement | record (an 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.14455#07KF |
| HF0MJF2E2G | HF0MJF2E2G | statement | record (an 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.01087#LR7P |
| HF0PX0FE3B | HF0PX0FE3B | 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.26386#N8AF |
| HF0TZTCW5X | HF0TZTCW5X | statement | record (an 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.16706#3F3T |
| HF21DDSQT3 | HF21DDSQT3 | statement | record (an 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#TT7Q |
| HF2E6WRT8S | HF2E6WRT8S | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2410.22607#NM3H |
| HF32TP9BY1 | HF32TP9BY1 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.00407#OZWP |
| HF3RFQ0RVC | HF3RFQ0RVC | statement | record (an 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.22074#Y2YR |
| HF4C08QPEH | HF4C08QPEH | statement | record (an 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.39790#BRKR |
| HF51MFTCCJ | HF51MFTCCJ | exercise | open | lebl_scv scv.tex#exercise-9 |
| HF5304V79D | HF5304V79D | statement | record (an 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.39103#7KNJ |
| HF5CG8MYMZ | HF5CG8MYMZ | 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 2207.12181#4K4Z |
| HF6JYQZ4W0 | HF6JYQZ4W0 | example | open | napkin tex/alg-geom/localization.tex#example-9 |
| HF6QJ9Q3ZC | HF6QJ9Q3ZC | example | open | lebl_ra ch-riemann.tex#example-10 |
| HF6TDYJ5SK | HF6TDYJ5SK | statement | record (an 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.19845#T6WB |
| HF712SDNWT | HF712SDNWT | statement | record (an 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.09324#HSTR |
| HF75E16ADE | HF75E16ADE | 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.33313#CSK1 |
| HF7D50JRAR | HF7D50JRAR | statement | record (an 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.15847#NKAR |
| HF7EPXPPY8 | HF7EPXPPY8 | statement | record (an 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#9QG4 |
| HF7FR00QG8 | HF7FR00QG8 | 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.36423#SQYI |
| HF7QRR3WRD | HF7QRR3WRD | statement | record (an 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.00869#HDA4 |
| HF8DWEZYAS | HF8DWEZYAS | statement | record (an 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.08426#LG49 |
| HF8QYGQA3V | HF8QYGQA3V | definition | open | ernst_ibl MAAPressVersion/FundamentalTheoremArithmetic.tex#definition-1 |
| HF9A2KFDTV | HF9A2KFDTV | exercise | open | lebl_ra ch-contfunc.tex#exercise-76 |
| HF9BNEPMCZ | HF9BNEPMCZ | statement | record (an 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.06868#KSZ3 |
| HF9HRTVV46 | HF9HRTVV46 | 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.09201#WE02 |
| HF9YTHM5J5 | HF9YTHM5J5 | 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#NLSF |
| HFA2G3ZX3J | HFA2G3ZX3J | 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.15037#QEA3 |
| HFA75EXPYD | HFA75EXPYD | statement | record (an 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.02790#KIY1 |
| HFAED48JPZ | HFAED48JPZ | 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.04046#5CA0 |
| HFCAWMA1EE | HFCAWMA1EE | statement | record (an 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.40017#NJQF |
| HFCFQBZT84 | HFCFQBZT84 | statement | record (an 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.03422#EVPL |
| HFCTW0Z2RH | HFCTW0Z2RH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2104.04145#7E41 |
| HFD3V5W3A5 | HFD3V5W3A5 | statement | record (an 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.12484#ZDKH |
| HFDXSYPE6Z | HFDXSYPE6Z | statement | record (an 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#XVVH |
| HFDYQPDB1A | HFDYQPDB1A | statement | record (an 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.17066#S0T6 |
| HFEAM2QR0P | HFEAM2QR0P | statement | record (an 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.14455#ED3S |
| HFED7ZNY8Z | HFED7ZNY8Z | exercise | open | levin_dmoi ptx/exercises/seq-conc.ptx#exercise-3 |
| HFEV7J1S9A | HFEV7J1S9A | statement | record (an 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.06529#9BZ4 |
| HFF1R2HW9B | HFF1R2HW9B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2011.06637#ZDLG |
| HFFP5N66VJ | HFFP5N66VJ | statement | record (an 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.24701#MVXW |
| HFGPEWPXZP | HFGPEWPXZP | statement | record (an 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.01354#JZBZ |
| HFGSR9DFTW | HFGSR9DFTW | 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.13295#V2I1 |
| HFGZCG4T9J | HFGZCG4T9J | statement | record (an 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.26477#21T0 |
| HFHT0ARP3T | HFHT0ARP3T | statement | record (an 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.03373#35CL |
| HFJBHZ26BW | HFJBHZ26BW | statement | open | hott_book equivalences.tex#thm:retract-equiv |
| HFJN9QPC90 | HFJN9QPC90 | statement | record (an 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.35323#L9QA |
| HFJT93EM6Y | HFJT93EM6Y | 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.25409#QZEC |
| HFK31KJFW2 | HFK31KJFW2 | statement | record (an 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.25282#DZHO |
| HFK486SQ11 | HFK486SQ11 | statement | record (an 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#ZDRQ |
| HFK5BJFQY8 | HFK5BJFQY8 | 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.38118#BBF1 |
| HFKG0TG6DW | HFKG0TG6DW | statement | record (an 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.31782#3KQF |
| HFKTH58JTE | HFKTH58JTE | statement | record (an 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.07790#3Z6S |
| HFM5Z3ZRCF | HFM5Z3ZRCF | statement | record (an 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.32903#1UW1 |
| HFM7XDRAYY | HFM7XDRAYY | definition | open | hott_book reals.tex#defn:cauchy-approximation |
| HFMN4J40K7 | HFMN4J40K7 | 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.31445#CED8 |
| HFMVBV7M1N | HFMVBV7M1N | statement | record (an 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.39455#9MSZ |
| HFNGQ9F7XV | HFNGQ9F7XV | 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.33476#GBZU |
| HFNJQGJ6BH | HFNJQGJ6BH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2605.24355#BLDB |
| HFPQC8RAN4 | HFPQC8RAN4 | statement | record (an 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.24860#76DP |
| HFPVY11XNY | HFPVY11XNY | statement | record (an 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.17045#GR7S |
| HFQCFA3FQ7 | HFQCFA3FQ7 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2305.01474#8VG0 |
| HFQKTK406G | HFQKTK406G | exercise | open | napkin tex/rep-theory/rep-alg.tex#prob:one_dim |
| HFQYECDTSJ | HFQYECDTSJ | statement | record (an 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#HQV4 |
| HFR6T8F50Q | HFR6T8F50Q | 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.12857#EWG2 |
| HFSEP51P9H | HFSEP51P9H | statement | record (an 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#KV8J |
| HFSHBQNVFS | HFSHBQNVFS | 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.10925#58KR |
| HFSPFHEVB9 | HFSPFHEVB9 | 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#ZVRD |
| HFT0VNWH8K | HFT0VNWH8K | statement | record (an 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.28597#DPMI |
| HFTFAA2503 | HFTFAA2503 | 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.25289#FHCD |
| HFTNPG2JDQ | HFTNPG2JDQ | statement | record (an 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.05327#WQUX |
| HFTQ9F3S02 | HFTQ9F3S02 | statement | record (an 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.33829#2I4I |
| HFV9EGESAS | HFV9EGESAS | 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 2401.07983#OW3G |
| HFVHHWAY69 | HFVHHWAY69 | statement | record (an 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.03422#PIQ3 |
| HFVV7CMMF7 | HFVV7CMMF7 | statement | open | hott_book homotopy.tex#thm:les |
| HFWG8Y5CE5 | HFWG8Y5CE5 | 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.10930#ZVS4 |
| HFWP82J1CF | HFWP82J1CF | statement | record (an 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.11056#P1FK |
| HFWQD6TN1J | HFWQD6TN1J | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2506.07061#CPQS |
| HFYTCSPBSV | HFYTCSPBSV | statement | record (an 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.31249#2KTD |
| HG1WVVZ3S8 | HG1WVVZ3S8 | proof | open | open_logic content/set-theory/spine/rank.tex#proof-6 |
| HG2FWCCZ7G | HG2FWCCZ7G | statement | record (an 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.22153#MU48 |
| HG2K1AEMHQ | HG2K1AEMHQ | statement | record (an 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.12309#WZK6 |
| HG3FXJTDK2 | HG3FXJTDK2 | statement | record (an 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.06038#TCEK |
| HG3Y4EV2JN | HG3Y4EV2JN | statement | record (an 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.22218#UHFP |
| HG47FHSFCN | HG47FHSFCN | statement | record (an 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#9WJE |
| HG49HTKGPV | HG49HTKGPV | statement | record (an 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#JNGQ |
| HG4D42QADV | HG4D42QADV | statement | record (an 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.02628#FNK4 |
| HG4VP3KS4J | HG4VP3KS4J | 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 2412.20001#O5RD |