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 401–500 of 3085.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| J4KGAN2ENT | J4KGAN2ENT | statement | record (an 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.21662#C7AL |
| J4KMC16M8K | J4KMC16M8K | statement | record (an 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.03988#DY5J |
| J4KQM9DXQ1 | J4KQM9DXQ1 | statement | record (an 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.39353#TSW5 |
| J4MNTVEJW2 | J4MNTVEJW2 | 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 2404.00077#309Q |
| J4NBH4BZY8 | J4NBH4BZY8 | proof | open | open_logic content/normal-modal-logic/frame-definability/properties-accessibility.tex#proof-1 |
| J4NPTVD8SH | J4NPTVD8SH | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1011.5443#FYQC |
| J4P9W6V0QW | J4P9W6V0QW | statement | record (an 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.31476#JJ5D |
| J4PCGCRH55 | J4PCGCRH55 | statement | record (an 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.11517#U7VG |
| J4PPG68HRV | J4PPG68HRV | statement | record (an 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.09176#NX6I |
| J4PWX9QFM3 | J4PWX9QFM3 | statement | record (an 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.06338#ML35 |
| J4QGPMPKV0 | J4QGPMPKV0 | proof | open | hott_book basics.tex#proof-38 |
| J4RGGJJRDC | J4RGGJJRDC | statement | record (an 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#5XSA |
| J4RVFXKRDQ | J4RVFXKRDQ | statement | record (an 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.07927#D58B |
| J4S92PDRJA | J4S92PDRJA | statement | record (an 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.27151#V1O2 |
| J4TDGHZJKB | J4TDGHZJKB | statement | record (an 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.05661#PH35 |
| J4TK0C5R7K | J4TK0C5R7K | statement | record (an 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.25805#YHAV |
| J4TMGGG0GV | J4TMGGG0GV | statement | record (an 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#73VQ |
| J4VQAT3E07 | J4VQAT3E07 | statement | record (an 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.31604#IC8T |
| J4W8815PJ0 | J4W8815PJ0 | statement | record (an 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.14803#0MGA |
| J4WD4KBDS0 | J4WD4KBDS0 | statement | record (an 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.09570#CZBP |
| J4X1N2WZYS | J4X1N2WZYS | statement | record (an 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.02065#IPIS |
| J4XH25GGWR | J4XH25GGWR | statement | record (an 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.15010#YVK5 |
| J4XV9E1ZNN | J4XV9E1ZNN | statement | open | hott_book setmath.tex#cor-5 |
| J4XWXYTAPV | J4XWXYTAPV | statement | record (an 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#YB4D |
| J4YEBF37YX | J4YEBF37YX | statement | record (an 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#NBKR |
| J50RMEJM2A | J50RMEJM2A | statement | record (an 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.26262#A87B |
| J50S4K625A | J50S4K625A | statement | record (an 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#Z2A5 |
| J51HSV088X | J51HSV088X | statement | record (an 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.17871#XZ71 |
| J51KGPFH8B | J51KGPFH8B | exercise | open | lebl_ra ch-contfunc.tex#exercise-61 |
| J51Y0BSJ5W | J51Y0BSJ5W | statement | record (an 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.29531#N0PJ |
| J52BMKHBFZ | J52BMKHBFZ | statement | record (an 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.00103#F44M |
| J52Q3BBJRH | J52Q3BBJRH | statement | record (an 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.24584#6KPV |
| J52ZENSFE4 | J52ZENSFE4 | statement | record (an 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.19545#IIPR |
| J546Q1MJW4 | J546Q1MJW4 | statement | record (an 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#3XB8 |
| J5488TMGQM | J5488TMGQM | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2105.03715#4YZN |
| J548WWVFDH | J548WWVFDH | statement | record (an 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.11369#CJZX |
| J54J8XC70G | J54J8XC70G | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1902.04230#X2NM |
| J54Z7PMW6T | J54Z7PMW6T | statement | record (an 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.06764#6RXX |
| J55JST1NET | J55JST1NET | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2511.07697#U18E |
| J577F2WBNJ | J577F2WBNJ | statement | record (an 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.06310#NQEV |
| J57A78MP7V | J57A78MP7V | statement | record (an 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#6JHB |
| J57DGEHQ3C | J57DGEHQ3C | statement | record (an 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.11902#02KR |
| J57JD3MFMR | J57JD3MFMR | statement | record (an 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.36377#ITB2 |
| J57ZDFP7FE | J57ZDFP7FE | 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.13475#RD0Z |
| J580GPPCS3 | J580GPPCS3 | statement | record (an 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.13852#OHR4 |
| J58K4ZMK56 | J58K4ZMK56 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2112.05010#CC0U |
| J58TRK97WP | J58TRK97WP | statement | record (an 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.12329#8Y51 |
| J58TV9SKAJ | J58TV9SKAJ | statement | record (an 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.22040#W71R |
| J599BVME2F | J599BVME2F | statement | open | lebl_scv scv.tex#lemma:crdf |
| J59B9HSGAZ | J59B9HSGAZ | statement | record (an 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.31919#O8AI |
| J59JYBW0GG | J59JYBW0GG | statement | record (an 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.08912#IGDS |
| J5AB9R7JGC | J5AB9R7JGC | statement | record (an 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.29521#QXAD |
| J5BB0TQKNE | J5BB0TQKNE | statement | record (an 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.13898#4Z7W |
| J5BDKFXF67 | J5BDKFXF67 | statement | record (an 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.05191#ROIR |
| J5BFDB60PK | J5BFDB60PK | statement | record (an 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.20758#H3FQ |
| J5BJH20HGQ | J5BJH20HGQ | 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.37337#E3T2 |
| J5BS2HPZJ1 | J5BS2HPZJ1 | statement | record (an 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.33697#MHFM |
| J5DZC9BWH7 | J5DZC9BWH7 | statement | open | open_logic content/second-order-logic/metatheory/second-order-arithmetic.tex#prop:sol-pa-definable |
| J5E5H2S9P7 | J5E5H2S9P7 | statement | record (an 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#88QT |
| J5E7VBY5DN | J5E7VBY5DN | proof | open | applied_combinatorics source/s_posets_intervalorder.ptx#proof-1 |
| J5F9EBMK9T | J5F9EBMK9T | statement | record (an 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.25843#3NWN |
| J5FX87KHEG | J5FX87KHEG | statement | record (an 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.15403#B0V3 |
| J5G1J64SDE | J5G1J64SDE | 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.35691#52OT |
| J5G5SSKHM3 | J5G5SSKHM3 | statement | record (an 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#QLLL |
| J5G6V0NWM8 | J5G6V0NWM8 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2409.01237#WWAF |
| J5GB5S833E | J5GB5S833E | example | open | napkin tex/H113/sylow.tex#example-1 |
| J5GE6AXBGA | J5GE6AXBGA | statement | record (an 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.15593#G8X3 |
| J5GNMWQ69M | J5GNMWQ69M | statement | record (an 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#OHIW |
| J5HKRCNCQX | J5HKRCNCQX | statement | record (an 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.15385#VXGR |
| J5HQ1TQG3V | J5HQ1TQG3V | statement | record (an 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.05232#DQ9Q |
| J5HVK32QKC | J5HVK32QKC | statement | record (an 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.27484#C8RY |
| J5HZ5CYRBK | J5HZ5CYRBK | statement | record (an 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.21662#S0R0 |
| J5J5H8MSJT | J5J5H8MSJT | statement | record (an 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.01959#AXK3 |
| J5JAW9VEQH | J5JAW9VEQH | exercise | open | lebl_scv scv.tex#exercise-259 |
| J5JBBYC9Q2 | J5JBBYC9Q2 | proof | open | open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#proof-3 |
| J5JG598HEH | J5JG598HEH | statement | record (an 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.12013#NSFX |
| J5K885Q4AB | J5K885Q4AB | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2202.02831#U69X |
| J5KHEFH7FB | J5KHEFH7FB | statement | record (an 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.35467#AJVV |
| J5KWASHVFA | J5KWASHVFA | statement | record (an 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.36204#ZV71 |
| J5MP9ETTK1 | J5MP9ETTK1 | statement | record (an 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#QGAD |
| J5MQQNME3N | J5MQQNME3N | 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.11301#746M |
| J5MSAZ7W5D | J5MSAZ7W5D | exercise | open | hott_book preliminaries.tex#ex:tautologies |
| J5MXANRRT9 | J5MXANRRT9 | statement | record (an 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.33162#F22Q |
| J5NFNS2W0R | J5NFNS2W0R | 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#CRNI |
| J5NZDPD83M | J5NZDPD83M | 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#HZ32 |
| J5PM1B3RYD | J5PM1B3RYD | statement | record (an 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.37026#CT8H |
| J5PYBWD26H | J5PYBWD26H | 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.26896#38B0 |
| J5QHB9KK1V | J5QHB9KK1V | exercise | open | lebl_ra ch-seq-ser.tex#exercise-2 |
| J5QKBPTNJS | J5QKBPTNJS | 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.12831#YNFY |
| J5RMPVH1CD | J5RMPVH1CD | 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.36237#FAXO |
| J5SGHTDV3V | J5SGHTDV3V | statement | record (an 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.08123#NJK2 |
| J5SKNAF28B | J5SKNAF28B | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1503.05744#69CR |
| J5SM0PHW7C | J5SM0PHW7C | statement | record (an 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.05019#RDXJ |
| J5SNST3PG4 | J5SNST3PG4 | statement | record (an 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.01919#CU35 |
| J5TMJZ6F70 | J5TMJZ6F70 | 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 2308.05715#ZN2U |
| J5TZ52P29N | J5TZ52P29N | statement | record (an 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.15257#L91T |
| J5V1HSD9TA | J5V1HSD9TA | statement | record (an 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.10017#3BXU |
| J5V7S2A0DN | J5V7S2A0DN | statement | record (an 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.16465#XLBF |
| J5VXV0BWYW | J5VXV0BWYW | statement | record (an 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.02022#XIGE |
| J5WN67Q7AB | J5WN67Q7AB | statement | record (an 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#5DTH |