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 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 5701–5800 of 5846.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| JZ0TDXXV3F | JZ0TDXXV3F | statement | record (an 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.00105#4BOA |
| JZ1EN0KPKX | JZ1EN0KPKX | statement | record (an 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.34168#LN8L |
| JZ1ESPM0NF | JZ1ESPM0NF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1303.4328#CVB3 |
| JZ29Z8T4CQ | JZ29Z8T4CQ | 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 2111.14143#QUF8 |
| JZ2ZDVZHGK | JZ2ZDVZHGK | statement | record (an 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.07471#XRUF |
| JZ31YWSSGF | JZ31YWSSGF | statement | record (an 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.15720#UZU8 |
| JZ3QDY7VC6 | JZ3QDY7VC6 | exercise | open | levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-2 |
| JZ4AYFQDTD | JZ4AYFQDTD | 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#GO4L |
| JZ4SRK21YN | JZ4SRK21YN | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2402.05268#0GNJ |
| JZ5ME10EGJ | JZ5ME10EGJ | statement | record (an 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.18152#JCLW |
| JZ6DYX531T | JZ6DYX531T | statement | record (an 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.10474#O0KC |
| JZ6QR11TZC | JZ6QR11TZC | 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.12108#T1PD |
| JZ7JQTGK2V | JZ7JQTGK2V | exercise | open | lebl_ra ch-riemann.tex#exercise:upperlowerlinineq |
| JZ82BBHHFQ | JZ82BBHHFQ | exercise | open | lebl_ra ch-seq-ser.tex#exercise-19 |
| JZ8B3PQX5F | JZ8B3PQX5F | statement | record (an 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.21934#VTWT |
| JZ8NKKNC9M | JZ8NKKNC9M | statement | record (an 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.28893#V67A |
| JZ8YNCNP1M | JZ8YNCNP1M | statement | record (an 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#2PSZ |
| JZ907WWZCG | JZ907WWZCG | statement | record (an 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.01561#124Q |
| JZ9DJDJ0EA | JZ9DJDJ0EA | statement | record (an 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.33651#6VIG |
| JZ9FMB0KZN | JZ9FMB0KZN | statement | record (an 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.25656#VRI8 |
| JZ9JYDQCVW | JZ9JYDQCVW | statement | record (an 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.28674#LSAR |
| JZ9N84G2PH | JZ9N84G2PH | example | open | hott_book logic.tex#thm:isset-forall |
| JZA92N4KXG | JZA92N4KXG | statement | record (an 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.08655#LT4B |
| JZAF2TEFHD | JZAF2TEFHD | statement | record (an 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.31300#K1SI |
| JZAYQSRQT5 | JZAYQSRQT5 | statement | record (an 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#7ICC |
| JZB6KE6X3W | JZB6KE6X3W | 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 2303.14022#BG2T |
| JZBKS30FCP | JZBKS30FCP | statement | record (an 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.24593#M4ZR |
| JZBVTRRVBW | JZBVTRRVBW | statement | record (an 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/0512416#G2R2 |
| JZC27F5EQY | JZC27F5EQY | 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.04179#KHQ1 |
| JZCG0R8MQ9 | JZCG0R8MQ9 | 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.09694#Y4R8 |
| JZCSVH4WJT | JZCSVH4WJT | statement | record (an 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.07728#VAMT |
| JZD53XJXEW | JZD53XJXEW | statement | record (an 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.35678#DL9G |
| JZDG5ECV31 | JZDG5ECV31 | statement | record (an 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.25000#3GEO |
| JZE4EP2TM3 | JZE4EP2TM3 | 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.37815#6N0D |
| JZEFDHPXS9 | JZEFDHPXS9 | example | open | lebl_diffyqs ch-systems.tex#sintro:carts-example |
| JZEJBJFD8B | JZEJBJFD8B | statement | record (an 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.09945#OZG1 |
| JZEZQM33S2 | JZEZQM33S2 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2403.08723#C94F |
| JZF2TX38GV | JZF2TX38GV | statement | record (an 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#O0JU |
| JZF6KA8EH6 | JZF6KA8EH6 | statement | record (an 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.07352#GU54 |
| JZG0BMP37K | JZG0BMP37K | statement | record (an 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.20909#Y96W |
| JZG49R5C3H | JZG49R5C3H | statement | record (an 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.17585#OCUN |
| JZGKY78NB9 | JZGKY78NB9 | 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.23527#RY3W |
| JZH1T054R4 | JZH1T054R4 | statement | record (an 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.30363#608P |
| JZHKSRJX1Q | JZHKSRJX1Q | statement | record (an 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.17002#AR0I |
| JZJ4NQMF5F | JZJ4NQMF5F | statement | record (an 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.04164#CLSW |
| JZJAVGPP9H | JZJAVGPP9H | statement | record (an 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.19360#VB0Q |
| JZJDKF725T | JZJDKF725T | 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.03865#Q0AT |
| JZKB9V6TDX | JZKB9V6TDX | statement | record (an 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.21339#F744 |
| JZKEEN8ARB | JZKEEN8ARB | statement | record (an 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.21092#BDEK |
| JZKSHQA3TP | JZKSHQA3TP | statement | record (an 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.21359#5IDL |
| JZMCHEGEH4 | JZMCHEGEH4 | 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.08196#9V9D |
| JZMTY020DY | JZMTY020DY | statement | record (an 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.02689#GU6K |
| JZN2Z77DTS | JZN2Z77DTS | statement | record (an 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#TS0B |
| JZNMTZJQ29 | JZNMTZJQ29 | statement | record (an 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.10505#P2IM |
| JZNNXRG71Z | JZNNXRG71Z | statement | record (an 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.13214#YD2Q |
| JZPZQGVSTC | JZPZQGVSTC | statement | record (an 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#H5IH |
| JZQNV6HKXA | JZQNV6HKXA | 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#GTPF |
| JZR7H0N1ES | JZR7H0N1ES | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2404.00077#UA0G |
| JZRR36CKV5 | JZRR36CKV5 | statement | record (an 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#3M6V |
| JZS7JAFKBC | JZS7JAFKBC | statement | record (an 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#58B1 |
| JZSCGW2PCE | JZSCGW2PCE | statement | record (an 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.30285#MP9D |
| JZSKRAHFWG | JZSKRAHFWG | 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#N5S1 |
| JZTC7ECWCK | JZTC7ECWCK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2304.07398#5OME |
| JZVBWW29WZ | JZVBWW29WZ | 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.20760#CGAY |
| JZVD046T54 | JZVD046T54 | statement | record (an 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.36884#496R |
| JZWT4RWNGT | JZWT4RWNGT | statement | record (an 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.39218#KRRW |
| JZWYJ7YAKB | JZWYJ7YAKB | statement | record (an 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.10474#B3K5 |
| JZX8K66CMB | JZX8K66CMB | 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.21692#4BCA |
| JZXE0MRGZZ | JZXE0MRGZZ | statement | open | open_logic content/lambda-calculus/lambda-definability/primitive-recursive-functions.tex#lem:comp |
| JZXXMSC0J5 | JZXXMSC0J5 | statement | record (an 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.19416#7IO0 |
| JZY1WJ5YFD | JZY1WJ5YFD | 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.32524#R386 |
| JZYEQ167EJ | JZYEQ167EJ | statement | record (an 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.31910#C0DI |
| JZYHVQNYEV | JZYHVQNYEV | statement | record (an 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.37761#N6N5 |
| JZYXDS66NJ | JZYXDS66NJ | statement | record (an 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.04172#L0M4 |
| JZZ8YRKCST | JZZ8YRKCST | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2606.20229#0KDZ |
| JZZQK8WP8R | JZZQK8WP8R | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1003.2117#RLZ8 |
| Ján Mináč | A55ZAPYEG8 | topic | open | Wikipedia Ján Mináč, Wikidata Q102246328 |
| János Aczél | QGY7HYXC77 | topic | open | Wikipedia János Aczél (mathematician), Wikidata Q482073 |
| János Aczél | RYPCBMDXA3 | topic | open | Wikipedia List of people by Erdős number#F5MR |
| János Bolyai | BJ8H27ENFX | topic | open | Wikipedia János Bolyai, Wikidata Q16924 |
| János Bolyai | QCFBVJ110G | topic | open | Wikipedia List of geometers#D1CA |
| János Bolyai Mathematical Institute | F4VR80YAND | definition | open | Wikipedia János Bolyai Mathematical Institute, Wikidata Q6319696 |
| János Bolyai Mathematical Society | 2353TDE0HB | definition | open | Wikipedia List of mathematical societies#1BNW |
| János Bolyai Mathematical Society | AYZH3RDCS7 | definition | open | Wikipedia János Bolyai Mathematical Society, Wikidata Q834214 |
| János Kollár | 8RWRC49EM2 | unknown | open | Wikipedia List of people by Erdős number#1FOZ, Wikipedia List of algebraic geometry topics#8ACU, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#26UT, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#A0U6 |
| János Komlós | K73WDZEAR0 | unknown | open | Wikipedia List of people by Erdős number#9RUT |
| János Körner | 6CPCX54D0T | topic | open | Wikipedia János Körner, Wikidata Q15822188 |
| János Pach | CAJ7XFC0TV | topic | open | Wikipedia János Pach, Wikidata Q10561955 |
| János Pach | CHQXSCB7XM | topic | open | Wikipedia List of people by Erdős number#5I8F, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZQO1 |
| János Pach | Z6TC2NH7R6 | topic | open | Wikipedia List of books in computational geometry#JQS2 |
| János Pintz | 442ANAXZJJ | topic | open | Wikipedia List of people by Erdős number#CH5F, Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H1O4 |
| János Pintz | HP7ZS1S2CS | topic | open | Wikipedia János Pintz, Wikidata Q963230 |
| Jérôme Franel | YT688HP1MX | topic | open | Wikipedia Jérôme Franel, Wikidata Q3190903 |
| Jñanasrimitra | NFB4AJFKFQ | unknown | open | Wikipedia List of logicians#RPRX |
| Jónsson | MZN0XPZGCN | definition | open | Wikipedia Glossary of set theory#F05G |
| Jónsson algebra | VWSBHJ7M7A | definition | open | Wikipedia List of unsolved problems in mathematics#DTKZ |
| Jónsson cardinal | 2BB6W3M2RX | definition | open | Wikipedia Jónsson cardinal, Wikidata Q6320393 |
| Jónsson function | 4D3BQKKE03 | definition | open | Wikipedia Jónsson function, Wikidata Q6320395 |
| Jónsson term | H7580NGYHD | definition | open | Wikipedia Jónsson term, Wikidata Q48996249 |
| Jónsson's lemma | Q4R4A54J3Z | definition | open | Wikipedia List of lemmas#BOP0 |