Inventory: J
The rows of the inventory whose names start with J. 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 2601–2700 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JTE0RGTVCW | JTE0RGTVCW | 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.22288#IQQ7 |
| JTEERXWKKP | JTEERXWKKP | statement | record (an 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.10370#90JZ |
| JTEMJ5X76S | JTEMJ5X76S | 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 2504.14383#SQJR |
| JTFFVB0JNN | JTFFVB0JNN | statement | record (an 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.01268#79FR |
| JTFP1YEJW6 | JTFP1YEJW6 | statement | open | lebl_ra ch-multivar-int.tex#mv:thm:contintrect |
| JTG1C614EZ | JTG1C614EZ | 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 2002.01498#0PL7 |
| JTGCN1CK7F | JTGCN1CK7F | statement | record (an 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.38742#29DR |
| JTGMKF8EWZ | JTGMKF8EWZ | statement | record (an 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.13241#Z7JW |
| JTGV6W4C5Z | JTGV6W4C5Z | statement | record (an 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.36509#D8Z3 |
| JTH62M75ST | JTH62M75ST | statement | record (an 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.13792#WPTX |
| JTHXRJQY3B | JTHXRJQY3B | statement | record (an 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.18536#MDI3 |
| JTJMH7PZAY | JTJMH7PZAY | statement | record (an 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.00525#P5C9 |
| JTJWW4MYZX | JTJWW4MYZX | 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 2405.02275#JITM |
| JTKXWY0EHN | JTKXWY0EHN | 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.03619#BR1I |
| JTKYE68703 | JTKYE68703 | statement | record (an 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.25524#ZLRN |
| JTM3CAYPPK | JTM3CAYPPK | statement | record (an 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.00113#A9AL |
| JTM7Z2DFF9 | JTM7Z2DFF9 | statement | record (an 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#MAT6 |
| JTMFBMNKX6 | JTMFBMNKX6 | statement | record (an 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.11886#LLID |
| JTMWTXK5AA | JTMWTXK5AA | example | open | lebl_ra ch-contfunc.tex#example-4 |
| JTMY8VCRSC | JTMY8VCRSC | statement | record (an 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.17006#0HXZ |
| JTN8MCADC0 | JTN8MCADC0 | statement | record (an 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#33BS |
| JTP5RWMZA6 | JTP5RWMZA6 | statement | record (an 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.09162#3BII |
| JTQDT7NNVJ | JTQDT7NNVJ | statement | record (an 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.27823#S009 |
| JTQNMANV5T | JTQNMANV5T | statement | record (an 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.14509#DCHI |
| JTQTYY97TF | JTQTYY97TF | example | open | napkin tex/alg-NT/artin.tex#example-2 |
| JTRZHP9AT7 | JTRZHP9AT7 | 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.10262#C4LB |
| JTRZXTZPJ2 | JTRZXTZPJ2 | statement | record (an 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.20153#A2M9 |
| JTS1DXSFR3 | JTS1DXSFR3 | statement | record (an 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.13533#X7W6 |
| JTSAGSVG8K | JTSAGSVG8K | statement | record (an 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.39307#85SY |
| JTSFG4BDPA | JTSFG4BDPA | exercise | open | napkin tex/homology/cellular.tex#dproblem-2 |
| JTSTHZH56Y | JTSTHZH56Y | statement | record (an 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.18223#L5SD |
| JTT2YPPGNF | JTT2YPPGNF | proof | open | hott_book homotopy.tex#proof-2 |
| JTT58EP777 | JTT58EP777 | statement | record (an 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.18302#5NYT |
| JTTV1ZFE7P | JTTV1ZFE7P | 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.36088#L1EM |
| JTV091FWRC | JTV091FWRC | statement | record (an 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#IF76 |
| JTV29CSRB9 | JTV29CSRB9 | statement | record (an 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.06381#PKOP |
| JTV3SJXM67 | JTV3SJXM67 | statement | record (an 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.19535#8ENK |
| JTV9JSZMM7 | JTV9JSZMM7 | statement | record (an 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.24323#B8DI |
| JTVFNSEGH8 | JTVFNSEGH8 | statement | record (an 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#BDFU |
| JTVVPCXXF0 | JTVVPCXXF0 | statement | record (an 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.01251#ACLR |
| JTW53DFSXY | JTW53DFSXY | statement | record (an 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.13792#E52Z |
| JTWJV2QE6M | JTWJV2QE6M | statement | record (an 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.17135#320I |
| JTXFSRVQX3 | JTXFSRVQX3 | statement | record (an 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.30203#JZJL |
| JTXH8JBA1H | JTXH8JBA1H | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2004.12552#CWAX |
| JTYGMR2V84 | JTYGMR2V84 | statement | record (an 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.15472#Y69J |
| JTYKJ8HA3H | JTYKJ8HA3H | statement | record (an 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.16606#FAIP |
| JTZ1Y7RPNB | JTZ1Y7RPNB | statement | record (an 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#QB2M |
| JTZ2RBZCR8 | JTZ2RBZCR8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2308.05066#ZW8M |
| JTZ794SRNF | JTZ794SRNF | statement | record (an 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#BGLS |
| JTZ8RHFD45 | JTZ8RHFD45 | 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.13241#QOU8 |
| JTZ907Y093 | JTZ907Y093 | statement | record (an 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.37520#CVCA |
| JTZEJBQ8DK | JTZEJBQ8DK | 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 2506.16491#QTRE |
| JTZJ6NPSXE | JTZJ6NPSXE | statement | record (an 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.13241#BMAO |
| JTZZVFY9CZ | JTZZVFY9CZ | statement | record (an 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.36811#5IU6 |
| Juan José Manjarín | ZS13YJ9HVT | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q102362748, nLab Juan José Manjarín |
| Juan Martín Maldacena | W59DDFJ8P0 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q560811, nLab Juan Maldacena |
| Judea Pearl | 7BNMYRF192 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q92824, nLab Judea Pearl |
| judgment | 6S87G8KSQC | concept | open | hott_book index/A.1/judgment |
| judgment | XC0XQ26RXC | concept | open | hott_book index/sec:formal-prelim/judgment |
| Judgment Forms | HZYA7VKAZY | 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.21131#DZUH |
| judgmental equality | 12371YBCCN | concept | open | hott_book index/sec:formal-prelim/judgmental-equality |
| judgmental equality | 5VQ1W118J2 | concept | open | hott_book index/5.2/judgmental-equality |
| judgmental equality | 8FA88CRB37 | concept | open | hott_book index/8.1/judgmental-equality |
| judgmental equality | 98KABWQVGR | concept | open | hott_book index/1.5/judgmental-equality |
| juggler sequence | HJK52DEKPJ | unknown | open | Wikidata Q4373890, MathWorld JugglerSequence |
| juggling | JTTF2F80NF | unknown | open | Wikidata Q194326, MathWorld Juggling |
| Julia set | JV8V8YTTR7 | topic | open | Wikidata Q848427, EoM Julia_set, MathWorld JuliaSet, nLab Julia set |
| Julian calendar | 4KX4B7VYVX | definition | open | Wikidata Q11184, ProofWiki Definition:Calendar/Julian |
| Julian Cole | QNP57YEGGH | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q1451285, nLab Julian Cole |
| Julian Seymour Schwinger | 9MG225M44S | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q186465, nLab Julian Schwinger |
| Julian year | KPR8GWWQMM | definition | open | Wikidata Q217208, ProofWiki Definition:Calendar/Julian/Year |
| Julie Bergner | Z7KRDKDH6Q | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q58494998, nLab Julie Bergner |
| Julius Wess | ACVS4A5B33 | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q78700, nLab Julius Wess |
| July | X2E3BJHB1C | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q121, ProofWiki Mathematician:Mathematicians/Sorted_By_Birthday/July |
| jump | KEQN7SRJ3Q | statement | record (an 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.10408#CM9P |
| jump carried by the potential | C9FY425FPK | statement | record (an 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.08016#61SO |
| jump discontinuity | AXP3JXN50D | unknown | node (a node has the same name as the row) | Wikidata Q77871488, MathWorld JumpDiscontinuity |
| Jump Functions | E5C2JBZWC2 | 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.33590#HS2S |
| Jun-iti Nagata | KSE90JC1DP | unknown | out_of_scope (a person, not an item of mathematics) | Wikidata Q6377763, ProofWiki Mathematician:Jun-iti_Nagata |
| Junction-tree formulation | 8TE60QT2VF | statement | record (an 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.04027#EQPX |
| Jung's theorem | 4G5YW9KEG8 | statement | open | mathlib_1000 Q1075398, Wikidata Q1075398, thousand_plus Q1075398, Wikipedia Jung's theorem, MathWorld JungsTheorem |
| Jupiter | HY9GF3R1DG | definition | open | Wikidata Q319, ProofWiki Definition:Jupiter |
| Jurkat–Richert theorem | TCQ58WVWK5 | statement | open | mathlib_1000 Q17098075, Wikidata Q17098075, thousand_plus Q17098075, Wikipedia Jurkat–Richert theorem |
| Justification | V96W6QNEYZ | unknown | open | arXiv 2610.13680#WBIO |
| Justification | XW5NN2AXPZ | 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#25OB |
| Justification by initial-density approximation | 74NS74P2XE | statement | record (an 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.28611#5OL8 |
| JV01NE045R | JV01NE045R | statement | record (an 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.10736#JYUQ |
| JV08DE2CW7 | JV08DE2CW7 | statement | record (an 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.18106#5FY9 |
| JV0B4T4AJW | JV0B4T4AJW | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1103.1038#QYUO |
| JV16R83DAR | JV16R83DAR | statement | record (an 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.1196#4XLW |
| JV18JTE1GS | JV18JTE1GS | statement | record (an 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#XNUY |
| JV1EHM8EPE | JV1EHM8EPE | statement | record (an 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.17850#39CY |
| JV1S00DD5M | JV1S00DD5M | exercise | open | napkin tex/topology/fundamental-group.tex#ques-5 |
| JV24R83VC6 | JV24R83VC6 | statement | record (an 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.11145#SNQS |
| JV33XP3YTD | JV33XP3YTD | 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.05179#A4H3 |
| JV3HF66C8X | JV3HF66C8X | statement | record (an 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.08149#UPWI |
| JV4DY47D9X | JV4DY47D9X | statement | record (an 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#XS4K |
| JV4ZM8M6XY | JV4ZM8M6XY | exercise | open | open_logic content/propositional-logic/syntax-and-semantics/preliminaries.tex#prob-4 |
| JV53525HAR | JV53525HAR | 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#L6AG |
| JV58CGW0RW | JV58CGW0RW | statement | record (an 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.16655#R4MY |