Inventory: C
The rows of the inventory whose names start with C. 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 801–900 of 7242.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| C98PS92PCB | C98PS92PCB | 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.07061#FNVM |
| C98TPT5D95 | C98TPT5D95 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1806.00752#YBS3 |
| C9992WWG7D | C9992WWG7D | statement | record (an 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#NV4K |
| C9A9JJMN45 | C9A9JJMN45 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1909.03896#BDFZ |
| C9BSNRQA1J | C9BSNRQA1J | statement | record (an 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.11034#FNSK |
| C9BT94TR8W | C9BT94TR8W | 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.25524#IP8O |
| C9C7Y9R025 | C9C7Y9R025 | statement | record (an 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.12983#5X31 |
| C9CEFN6AHD | C9CEFN6AHD | statement | record (an 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.14689#J3VH |
| C9CQ7QSZA5 | C9CQ7QSZA5 | statement | record (an 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#RXQ4 |
| C9CQYC2KFJ | C9CQYC2KFJ | statement | record (an 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.14060#1OJP |
| C9D0K1XZY6 | C9D0K1XZY6 | statement | open | napkin tex/measure/swapsum.tex#theorem-2 |
| C9D540ZFG9 | C9D540ZFG9 | statement | record (an 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.08052#OOPF |
| C9ECDQCKZW | C9ECDQCKZW | 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.28650#H46Q |
| C9EDNBK74A | C9EDNBK74A | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2310.13621#OZ46 |
| C9EFX7RGSY | C9EFX7RGSY | proof | open | open_logic content/many-valued-logic/infinite-valued-logics/goedel.tex#proof-2 |
| C9EGB816RW | C9EGB816RW | statement | record (an 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.29170#OCS4 |
| C9EZXX55Y0 | C9EZXX55Y0 | statement | record (an 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.35095#XWM2 |
| C9GJB593S9 | C9GJB593S9 | statement | record (an 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.39700#WEBX |
| C9GP8FC3EJ | C9GP8FC3EJ | statement | record (an 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.1990#QC62 |
| C9HFQTGMBS | C9HFQTGMBS | statement | record (an 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#RDPW |
| C9JBPJAG60 | C9JBPJAG60 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2502.05771#CK9X |
| C9JD1GJQHW | C9JD1GJQHW | statement | record (an 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.17957#TQGV |
| C9JHQ64JFW | C9JHQ64JFW | statement | record (an 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#9KNN |
| C9KA13N2V5 | C9KA13N2V5 | statement | record (an 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.13888#YFYC |
| C9KAJ6BGFZ | C9KAJ6BGFZ | statement | record (an 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.07718#TCCU |
| C9MM3M2T18 | C9MM3M2T18 | 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.31883#21O8 |
| C9MT1J4TZ7 | C9MT1J4TZ7 | statement | record (an 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.08664#6PZE |
| C9MZGFVR6C | C9MZGFVR6C | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2307.06098#9GOZ |
| C9N38JYQJP | C9N38JYQJP | statement | record (an 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.17227#HCPM |
| C9N3G48QPR | C9N3G48QPR | statement | record (an 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.32916#KT2W |
| C9NP1VYFR4 | C9NP1VYFR4 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1004.4564#EDBS |
| C9PG1J24AJ | C9PG1J24AJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 0805.4273#K4BX |
| C9PSB7GH50 | C9PSB7GH50 | statement | record (an 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.01000#6WHC |
| C9PWJRWKYG | C9PWJRWKYG | 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.21501#WKQJ |
| C9PZMKME2W | C9PZMKME2W | statement | record (an 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.28501#1E56 |
| C9QNGNJKRW | C9QNGNJKRW | statement | record (an 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.12371#QS8B |
| C9QZKFPKMJ | C9QZKFPKMJ | statement | record (an 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#0V02 |
| C9RM084EX1 | C9RM084EX1 | statement | record (an 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.21080#KE1E |
| C9S00JPM4H | C9S00JPM4H | statement | record (an 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.16203#GLWC |
| C9S15HGQR7 | C9S15HGQR7 | statement | record (an 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.34845#RXM5 |
| C9S7DJ4F02 | C9S7DJ4F02 | 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 1503.05744#U6UV |
| C9SDZ7NT4C | C9SDZ7NT4C | statement | record (an 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/0406514#TXV4 |
| C9SS6SDVJM | C9SS6SDVJM | statement | record (an 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.31527#UV1H |
| C9SYQ0VWPZ | C9SYQ0VWPZ | statement | record (an 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.05820#CIXB |
| C9THB9NRKG | C9THB9NRKG | exercise | open | ernst_ibl MAAPressVersion/PowerSets.tex#prob:PowerSets |
| C9VAAN5GHR | C9VAAN5GHR | 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 math/0411039#MK9V |
| C9VC338D4E | C9VC338D4E | statement | record (an 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.33643#OMO9 |
| C9VEVRZJQB | C9VEVRZJQB | exercise | open | napkin tex/topology/top-more.tex#ques-7 |
| C9VZ714BEB | C9VZ714BEB | statement | record (an 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.00909#6SYC |
| C9X2NZQW8X | C9X2NZQW8X | statement | record (an 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#ZZCT |
| C9XBXBXH07 | C9XBXBXH07 | statement | record (an 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.08193#S3U7 |
| C9XCGC6CTY | C9XCGC6CTY | statement | record (an 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#B5OY |
| C9Y9RB354A | C9Y9RB354A | statement | record (an 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.07122#YL00 |
| C9YEB2WSWH | C9YEB2WSWH | statement | record (an 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.20077#KZBX |
| C9ZE9D5FYX | C9ZE9D5FYX | statement | record (an 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.11960#U0FO |
| C9ZM4DRM74 | C9ZM4DRM74 | proof | open | open_logic content/proof-theory/proof-search/completeness.tex#proof-3 |
| C9ZPXCPBPY | C9ZPXCPBPY | statement | open | open_logic content/proof-theory/cut-elimination/ce-topmost.tex#lem:cut-adm-G3c |
| C9ZRFBPFRJ | C9ZRFBPFRJ | statement | record (an 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.26269#56I8 |
| C9ZTDRWV00 | C9ZTDRWV00 | statement | record (an 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.02141#FVUT |
| C: existence of finite orbits | 2WC7AD36WV | statement | record (an 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.40251#SEN9 |
| C\'ea--Babuška lemma | F4RFH1YA59 | statement | record (an 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.20145#OCK6 |
| CA00WHSX20 | CA00WHSX20 | statement | record (an 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.35543#8IG0 |
| CA0DHJXJQ0 | CA0DHJXJQ0 | statement | record (an 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.24448#VHAJ |
| CA0VQEDMGQ | CA0VQEDMGQ | 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 2411.01837#8U7J |
| CA1BVZVEXV | CA1BVZVEXV | statement | record (an 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.20097#JO54 |
| CA20MZ49MR | CA20MZ49MR | statement | record (an 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.26410#7OWN |
| CA2SNEN5C0 | CA2SNEN5C0 | statement | record (an 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#47SD |
| CA3050G813 | CA3050G813 | statement | record (an 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.20176#W8AH |
| CA31VEW2GP | CA31VEW2GP | statement | record (an 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.30086#O8CU |
| CA4AWJHRF8 | CA4AWJHRF8 | statement | record (an 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.24448#NVUR |
| CA4GK69YK2 | CA4GK69YK2 | statement | record (an 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#RQCQ |
| CA529TW5BJ | CA529TW5BJ | statement | record (an 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.14502#JGHV |
| CA55C8C1NB | CA55C8C1NB | statement | record (an 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.36321#YCSA |
| CA5EHHRB0P | CA5EHHRB0P | exercise | open | napkin tex/H113/action.tex#prob:class_eq |
| CA6A4KKSTR | CA6A4KKSTR | 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 2110.06338#J7UG |
| CA6CBZJJYX | CA6CBZJJYX | statement | record (an 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#GS7V |
| CA73AP2R7S | CA73AP2R7S | exercise | open | ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#prob:equiv classes from preimages |
| CA76Z72MM3 | CA76Z72MM3 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2512.08487#RNTX |
| CA7KAK2ATK | CA7KAK2ATK | 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.36181#0QR2 |
| CA7XKM7R66 | CA7XKM7R66 | proof | open | hott_book equivalences.tex#proof-5 |
| CA7YSDM0PW | CA7YSDM0PW | statement | record (an 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.15535#5B2C |
| CA7Z71KQBE | CA7Z71KQBE | 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.30892#VEIA |
| CA81V3R2V9 | CA81V3R2V9 | statement | record (an 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/0406514#RZQV |
| CA84RM7V2R | CA84RM7V2R | 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 0907.5545#1GI3 |
| CA894TT3AQ | CA894TT3AQ | statement | record (an 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.01656#Q4GM |
| CA8RH5DX5D | CA8RH5DX5D | statement | record (an 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.16114#7AEH |
| CA96ED5BAM | CA96ED5BAM | statement | record (an 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.17060#R3SS |
| CA97KCDZ1Q | CA97KCDZ1Q | 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.33015#3TLV |
| CA9C83PH63 | CA9C83PH63 | statement | record (an 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.33124#0HUC |
| CA9HEA0H12 | CA9HEA0H12 | 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.04809#169U |
| CA9N19VVEY | CA9N19VVEY | statement | record (an 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.04069#KDNX |
| CA9QD7QW5Z | CA9QD7QW5Z | statement | record (an 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.26500#9QQW |
| CAA20ZY7AH | CAA20ZY7AH | exercise | open | napkin tex/set-theory/models.tex#dproblem-1 |
| CAACEMWVGS | CAACEMWVGS | statement | record (an 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.16554#6ESL |
| CAAD9H7KKJ | CAAD9H7KKJ | statement | record (an 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.02681#MPJL |
| CAAVCXFM08 | CAAVCXFM08 | unknown | open | |
| CAAYEFDHGN | CAAYEFDHGN | statement | record (an 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.25151#9LVP |
| CAAYTDJVZB | CAAYTDJVZB | statement | record (an 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.10221#1S1S |
| CABCFCDK8N | CABCFCDK8N | proof | open | hott_book logic.tex#proof-14 |
| CABEEG1R3E | CABEEG1R3E | 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.38013#99SQ |