Inventory: K
The rows of the inventory whose names start with K. 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 201–300 of 5471.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| K103ADJM3N | K103ADJM3N | statement | record (an 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.34675#G7KI |
| K107E99DN2 | K107E99DN2 | statement | record (an 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.21724#P5X2 |
| K10F6JXGY3 | K10F6JXGY3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2509.04068#YLH3 |
| K10V1H6Y00 | K10V1H6Y00 | 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.35678#3EWW |
| K11FYRBM32 | K11FYRBM32 | statement | record (an 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.06785#RF1X |
| K11SKH8KAE | K11SKH8KAE | statement | record (an 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.16022#RR6V |
| K123ZZCRWA | K123ZZCRWA | proof | open | open_logic content/model-theory/models-of-arithmetic/models-of-pa.tex#proof-9 |
| K1264WJ4F3 | K1264WJ4F3 | statement | record (an 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.03601#04ID |
| K12A1N4PZP | K12A1N4PZP | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0807.1620#W2PT |
| K13CR7VWS8 | K13CR7VWS8 | example | open | open_logic content/first-order-logic/completeness/compactness.tex#ex-2 |
| K13W1KHK19 | K13W1KHK19 | statement | record (an 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.20656#R9IJ |
| K13XCQ64GN | K13XCQ64GN | 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 1507.03803#VIXK |
| K145DJGWE6 | K145DJGWE6 | statement | record (an 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.24777#R2CC |
| K14Y6NVHPW | K14Y6NVHPW | statement | record (an 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.20306#A0MC |
| K15RGPXT50 | K15RGPXT50 | exercise | open | napkin tex/topology/constructions.tex#dproblem-1 |
| K175TN3A6Z | K175TN3A6Z | 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 2103.08272#BUVW |
| K18543YN9M | K18543YN9M | 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 1911.06467#I7XB |
| K18PS28V74 | K18PS28V74 | 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 2505.04593#TRLM |
| K18SDDVAG6 | K18SDDVAG6 | statement | record (an 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.36045#JR8I |
| K18TGH9JZS | K18TGH9JZS | statement | record (an 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#4G7Q |
| K19901D05R | K19901D05R | statement | record (an 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#ZL98 |
| K19QQABZ01 | K19QQABZ01 | statement | record (an 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.15255#FHVS |
| K19V8GNVBF | K19V8GNVBF | statement | record (an 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.29537#E2KR |
| K19VRHA61D | K19VRHA61D | statement | record (an 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.23634#I73N |
| K1ARV2HCWB | K1ARV2HCWB | statement | record (an 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#51V7 |
| K1AV9KCCMQ | K1AV9KCCMQ | statement | record (an 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.34289#KU0V |
| K1AV9QVYM2 | K1AV9QVYM2 | 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 2501.12834#NX6E |
| K1B87R7MCT | K1B87R7MCT | statement | record (an 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#Z0S9 |
| K1BM85F2JM | K1BM85F2JM | statement | record (an 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.13100#9SM5 |
| K1BX1AXEZH | K1BX1AXEZH | statement | record (an 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.23660#CDIH |
| K1CA9TE8Y9 | K1CA9TE8Y9 | statement | record (an 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.06747#H4WT |
| K1CAGNGMZC | K1CAGNGMZC | statement | record (an 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.17476#163A |
| K1CKEFB94V | K1CKEFB94V | 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.00295#SVJI |
| K1CQBA6QAJ | K1CQBA6QAJ | statement | record (an 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.19694#NWQ4 |
| K1CV3C7JCV | K1CV3C7JCV | statement | record (an 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#4O6P |
| K1DDY259D5 | K1DDY259D5 | statement | record (an 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.14278#NCHM |
| K1DK1NG88V | K1DK1NG88V | proof | open | open_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#proof-1 |
| K1DN3N891K | K1DN3N891K | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2309.01359#IK6Q |
| K1E8VPQCRV | K1E8VPQCRV | statement | record (an 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.23343#0W7E |
| K1EJCAVA31 | K1EJCAVA31 | 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 2205.09049#3AMA |
| K1EQ6T33A2 | K1EQ6T33A2 | statement | record (an 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#MGIM |
| K1EVTWJTFK | K1EVTWJTFK | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2603.21971#INX7 |
| K1FGNHG0QY | K1FGNHG0QY | statement | record (an 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.19658#W7HZ |
| K1FNA76YHX | K1FNA76YHX | statement | record (an 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.17116#LA7J |
| K1FZBWK4F0 | K1FZBWK4F0 | statement | record (an 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.06747#CXF4 |
| K1GN5V4SZX | K1GN5V4SZX | statement | record (an 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#79XH |
| K1GP8C0STQ | K1GP8C0STQ | statement | record (an 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.38188#B40O |
| K1GZK1MSEJ | K1GZK1MSEJ | 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.21365#LVAS |
| K1H1SG3HQB | K1H1SG3HQB | statement | record (an 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.33682#DU5K |
| K1H2BJAMF5 | K1H2BJAMF5 | statement | record (an 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.08581#K3VN |
| K1HMDPSD65 | K1HMDPSD65 | 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.19285#8I1U |
| K1J8RMDRP7 | K1J8RMDRP7 | statement | record (an 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.20900#AYMC |
| K1JCSN6BPV | K1JCSN6BPV | statement | record (an 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#5IG2 |
| K1KVZQ0FN6 | K1KVZQ0FN6 | 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.22825#PIOU |
| K1MVFWEQAK | K1MVFWEQAK | statement | record (an 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.03563#AOOA |
| K1N4DAPFVJ | K1N4DAPFVJ | problem | open | Wikipedia Osserman manifold#KW8U |
| K1N7SZXNBE | K1N7SZXNBE | statement | record (an 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.21533#4A4Y |
| K1N8BAKYHX | K1N8BAKYHX | exercise | open | lebl_diffyqs ch-fourier-and-pde.tex#exercise-84 |
| K1NHYRRTKN | K1NHYRRTKN | statement | open | open_logic content/incompleteness/arithmetization-syntax/coding-terms.tex#prop:term-primrec |
| K1PDBYH7C8 | K1PDBYH7C8 | statement | open | open_logic content/set-theory/spine/rank.tex#valphalowerrank |
| K1PWNZCX2C | K1PWNZCX2C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2208.04502#K97G |
| K1Q035YD76 | K1Q035YD76 | statement | record (an 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.08288#HEIZ |
| K1Q97AAS2Q | K1Q97AAS2Q | exercise | open | open_logic content/sets-functions-relations/size-of-sets/enumerability-alt.tex#prob-2 |
| K1QAYWMA83 | K1QAYWMA83 | statement | record (an 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.15099#HI8E |
| K1QTQ76QMD | K1QTQ76QMD | 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.27301#YLG2 |
| K1R4HKX68W | K1R4HKX68W | 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.03661#LJ9M |
| K1R75JW35Y | K1R75JW35Y | statement | record (an 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.17412#YHE6 |
| K1R92XAEA7 | K1R92XAEA7 | statement | record (an 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.14135#6N7N |
| K1RAK8YMRC | K1RAK8YMRC | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2103.14389#GU2B |
| K1RGSSHA6J | K1RGSSHA6J | statement | record (an 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.22190#XAUC |
| K1RNC7E4KC | K1RNC7E4KC | statement | record (an 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.19854#NHYC |
| K1S2QA62T7 | K1S2QA62T7 | statement | record (an 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#QC4A |
| K1SYMFE6BQ | K1SYMFE6BQ | 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 2312.06581#XXLI |
| K1VJD6F49V | K1VJD6F49V | 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.26114#ZMYE |
| K1VPVZWK41 | K1VPVZWK41 | 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.23338#H5S0 |
| K1XR9YDDN3 | K1XR9YDDN3 | statement | record (an 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.06544#YAOH |
| K1XS7SRNXW | K1XS7SRNXW | statement | record (an 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.00440#VLLN |
| K1XSZ4H9DV | K1XSZ4H9DV | statement | record (an 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.26127#65WJ |
| K1Y1NNS6JW | K1Y1NNS6JW | statement | record (an 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.05193#PWFM |
| K1YDB9VN8K | K1YDB9VN8K | statement | record (an 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#TWHS |
| K1Z3EM48XV | K1Z3EM48XV | statement | record (an 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.32300#JOK8 |
| K1Z3RRPY3W | K1Z3RRPY3W | statement | record (an 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.02751#VLCL |
| K1Z4TWS8DF | K1Z4TWS8DF | exercise | open | levin_dmoi ptx/exercises/addtops-genfun.ptx#exercise-10 |
| K1Z55BTQZM | K1Z55BTQZM | statement | record (an 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.14319#17AC |
| K1Z89W7KD8 | K1Z89W7KD8 | statement | record (an 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.16640#NR1W |
| K1ZA8K762M | K1ZA8K762M | statement | open | open_logic content/set-theory/ordinals/basic.tex#ordisoidentity |
| K1ZAF9HE3H | K1ZAF9HE3H | 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.20153#L4M1 |
| K1ZBWQNABK | K1ZBWQNABK | statement | record (an 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.17589#9FAD |
| K1ZRVF37HB | K1ZRVF37HB | statement | record (an 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#76XM |
| K1ZVR3PD64 | K1ZVR3PD64 | statement | record (an 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.12231#48XV |
| K1ZWV8HFCM | K1ZWV8HFCM | statement | record (an 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.40123#JBSC |
| K224XZN7NR | K224XZN7NR | statement | record (an 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.21752#03JO |
| K229FBDT61 | K229FBDT61 | statement | record (an 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.11210#D5OJ |
| K22S21880X | K22S21880X | statement | record (an 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.01073#MJGB |
| K232EKJEFF | K232EKJEFF | proof | open | open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#proof-1 |
| K2330ENGBF | K2330ENGBF | 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.32338#U7LZ |
| K2396NSQQE | K2396NSQQE | statement | record (an 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.12481#6FCV |
| K23PAHFSKR | K23PAHFSKR | 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.14803#R1PF |
| K23R2V09M8 | K23R2V09M8 | statement | record (an 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.07164#XDUU |
| K23S486PMX | K23S486PMX | statement | record (an 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.31549#X3W9 |