The logic of quantum mechanics 3A4K47Y9F2
| URI | m2://res/3A4K47Y9F2 |
|---|---|
| Kind | preprint |
| Creators | Eric Buffenoir |
| Date | 2025-10-14 |
| Subjects | arxiv quant-ph, arxiv math-ph, arxiv math.MP |
| Scope | border |
Expressions
e1: version, preprint
| Date | 2025-10-14 |
|---|---|
| Ids | arXiv 2510.12502 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| 14VG937FX6 | statement | lemma 2.26 | arxiv |
| 14YVWFYS20 | statement | lemma 7.2 | arxiv |
| 18VQ5X5VX1 | statement | lemma 2.7 | arxiv |
| 1FA1ZWHZHT | definition | definition 6.26 | arxiv |
| 23SD9KZBDG | statement | lemma 4.38 | arxiv |
| 25ZBF4M97B | definition | definition 2.56 | arxiv |
| 2HX0FXXTHX | statement | lemma 2.48 | arxiv |
| 2N4WGKVQZ2 | statement | theorem 4.40 | arxiv |
| 2RSYGPHB1C | definition | definition 4.12 | arxiv |
| 37YKRJM8FH | definition | definition 3.6 | arxiv |
| 393Z15XYEG | statement | lemma 6.18 | arxiv |
| 3NNDNJ2GE0 | statement | lemma 5.29 | arxiv |
| 3WAQRGGDMV | statement | theorem 5.15 | arxiv |
| 43R0CH9Q4A | definition | definition 5.27 | arxiv |
| 4620WTZGSS | definition | definition 2.5 | arxiv |
| 48BRPG2SPV | definition | definition 2.54 | arxiv |
| 4E15JECJH3 | statement | theorem 5.33 | arxiv |
| 4HRT879EQP | statement | theorem 6.1 | arxiv |
| 4KP78KDPJS | statement | lemma 6.30 | arxiv |
| 4W3A4AJHG3 | definition | definition 2.2 | arxiv |
| 4WMQHCE03B | statement | lemma 2.28 | arxiv |
| 4Z9J52J0F6 | definition | definition 6.8 | arxiv |
| 51MFW2WEYY | statement | lemma 2.55 | arxiv |
| 52ASTMBEFW | statement | theorem 2.36 | arxiv |
| 55N3GX7RPJ | definition | definition 2.6 | arxiv |
| 56Y3MF9C8A | statement | lemma 7.4 | arxiv |
| 56YYEGGKGM | statement | lemma 2.53 | arxiv |
| 59J1PDD5M5 | statement | theorem 2.15 | arxiv |
| 5BHM58XQCR | statement | lemma 4.8 | arxiv |
| 5FV7HCP9DA | definition | definition 2.44 | arxiv |
| 5HEH561YTK | statement | lemma 6.19 | arxiv |
| 5KPSZCC8XQ | definition | definition 2.43 | arxiv |
| 5MW7S5K63Q | statement | theorem 4.29 | arxiv |
| 5V5QJDAGWB | statement | theorem 4.31 | arxiv |
| 613NGRN8QX | definition | definition 4.3 | arxiv |
| 6WGBS4E089 | definition | definition 5.16 | arxiv |
| 7C6WPC5H6Y | statement | lemma 3.32 | arxiv |
| 7H3SH6BD4E | statement | lemma 3.1 | arxiv |
| 7HDQD15P3F | statement | lemma 3.2 | arxiv |
| 7J9QQ90ZQH | statement | lemma 3.28 | arxiv |
| 89MRGM1QS5 | definition | definition 3.31 | arxiv |
| 8DA7VH31PC | statement | lemma 4.17 | arxiv |
| 8VQ3DK2SFV | statement | lemma 3.15 | arxiv |
| 8WH0MV0AAF | definition | definition 4.2 | arxiv |
| 8Y6ZDYQ1QG | statement | lemma 3.35 | arxiv |
| 924JR54B9Q | statement | theorem 5.28 | arxiv |
| 9A2QH2T7H5 | statement | lemma 3.14 | arxiv |
| 9BKSTW3VP4 | statement | lemma 4.5 | arxiv |
| 9DVX9HRA1D | statement | theorem 3.10 | arxiv |
| 9DZKA253EG | statement | theorem 4.39 | arxiv |
| 9P6ZFR4JGW | statement | lemma 2.30 | arxiv |
| 9T7M0G6M5R | statement | lemma 5.8 | arxiv |
| 9YTN4D1EHY | definition | definition 5.18 | arxiv |
| ABQRGJ5PAK | statement | theorem 5.3 | arxiv |
| AFV9S8XC4K | statement | lemma 6.21 | arxiv |
| AJDFTWGW11 | definition | definition 2.24 | arxiv |
| AKJ9Y5784B | definition | definition 3.40 | arxiv |
| AM2KNMR3M5 | definition | definition 4.1 | arxiv |
| ARBB1A9V98 | definition | definition 5.11 | arxiv |
| AWBRGZX73T | statement | lemma 5.23 | arxiv |
| B05AK51GXX | statement | lemma 6.20 | arxiv |
| B4E9T97S5J | statement | theorem 3.42 | arxiv |
| B9NYK5RQE8 | statement | theorem 4.20 | arxiv |
| BD5FEXQQMW | statement | lemma 6.23 | arxiv |
| BXRJQAF2GG | definition | definition 4.19 | arxiv |
| C576JQCDP1 | definition | definition 2.34 | arxiv |
| C8MXGK7E8T | definition | definition 5.14 | arxiv |
| C93ZGMT60A | statement | theorem 6.5 | arxiv |
| CE65KD3633 | definition | definition 6.25 | arxiv |
| CEZPZ35JTJ | statement | theorem 6.38 | arxiv |
| CKY9J8ZW8Q | definition | definition 3.27 | arxiv |
| CMMPDPC5SN | definition | definition 3.20 | arxiv |
| CQWPWXKG85 | definition | definition 6.28 | arxiv |
| CXM2BV019W | statement | lemma 4.35 | arxiv |
| CZCWSY2NVM | statement | lemma 3.18 | arxiv |
| DDEEGSE9K9 | statement | lemma 5.26 | arxiv |
| DEGRDBJB6Y | statement | theorem 7.3 | arxiv |
| DJQ865NTTJ | statement | theorem 6.37 | arxiv |
| DMJ1GVZR1Q | definition | definition 2.47 | arxiv |
| DQHZZDP5AV | statement | lemma 5.5 | arxiv |
| E8RD0QD9PQ | statement | theorem 2.19 | arxiv |
| ED8FCN9YPE | statement | lemma 4.4 | arxiv |
| EF9VH2GC4E | definition | definition 2.32 | arxiv |
| EJF38W2Y9H | statement | lemma 2.49 | arxiv |
| EJXYJ697XT | definition | definition 5.2 | arxiv |
| EKSZFCYA2A | statement | lemma 5.7 | arxiv |
| F1RS2DQNJX | statement | theorem 7.5 | arxiv |
| FB8KJPBK64 | statement | lemma 4.34 | arxiv |
| FMNGE2XAZH | statement | lemma 3.13 | arxiv |
| FNEDS7HR71 | definition | definition 3.9 | arxiv |
| FPFXKGYZ8E | statement | theorem 5.17 | arxiv |
| FQWA68BDGG | definition | definition 4.18 | arxiv |
| FWRS46FZ49 | statement | theorem 4.10 | arxiv |
| FZND2DGHNX | definition | definition 2.4 | arxiv |
| G56562E7KH | statement | lemma 5.24 | arxiv |
| G8RS9FRMG6 | statement | theorem 4.25 | arxiv |
| GTN1BDPGPC | statement | theorem 4.11 | arxiv |
| GWFAQA6HSJ | statement | lemma 5.19 | arxiv |
| GX1V25QSN9 | statement | lemma 5.20 | arxiv |
| H3TFYHAJ5R | statement | theorem 2.12 | arxiv |
| H4FC018PFA | definition | definition 3.41 | arxiv |
| H6EGXMXY5S | statement | theorem 6.7 | arxiv |
| H8P0HB0K5X | statement | lemma 2.41 | arxiv |
| HBA7AG95YZ | statement | lemma 6.17 | arxiv |
| HC0V1XK262 | definition | definition 5.1 | arxiv |
| HQ7DGETWGA | statement | theorem 4.22 | arxiv |
| J33S9EEKG9 | statement | lemma 6.33 | arxiv |
| JHDDQEBAVF | statement | lemma 3.7 | arxiv |
| JJ3KGJ90DH | definition | definition 6.29 | arxiv |
| JJXHBEWM8W | definition | definition 3.23 | arxiv |
| JKGY9BJ6E5 | statement | theorem 2.38 | arxiv |
| JMA3VWMT1R | statement | lemma 3.8 | arxiv |
| JVFPVFM14M | statement | lemma 3.19 | arxiv |
| JYP0S4GYHQ | statement | lemma 5.31 | arxiv |
| K0FY66FPV0 | statement | lemma 6.22 | arxiv |
| K473B1WAM1 | definition | definition 2.3 | arxiv |
| K9X0QVQMZ9 | statement | lemma 4.26 | arxiv |
| KBAJPK37X0 | definition | definition 4.7 | arxiv |
| KBNPZARHTD | statement | theorem 6.4 | arxiv |
| KBTE9991A9 | statement | lemma 3.12 | arxiv |
| KGKKX1MT2C | statement | lemma 3.26 | arxiv |
| KPXYEG5QRC | definition | definition 5.13 | arxiv |
| KSTCV6FJQ3 | statement | lemma 6.16 | arxiv |
| KSZA6QG736 | statement | lemma 2.29 | arxiv |
| KWAG442CZY | statement | lemma 5.21 | arxiv |
| M9PYQ01FZ4 | statement | lemma 4.33 | arxiv |
| MEP95HFJVH | statement | lemma 3.33 | arxiv |
| MHBCFTV1CW | definition | definition 6.9 | arxiv |
| MKCAQT1574 | statement | theorem 4.28 | arxiv |
| MM2FQFD6AY | statement | lemma 5.6 | arxiv |
| N53EGXA3AK | statement | theorem 4.6 | arxiv |
| N5K2PMXB5P | statement | theorem 2.31 | arxiv |
| N6MT2JAP0C | definition | definition 6.32 | arxiv |
| N8A02T0AAX | definition | definition 2.9 | arxiv |
| NE1095VZFT | statement | lemma 3.37 | arxiv |
| NEKZWQ92SA | statement | lemma 3.11 | arxiv |
| NXA5XTR8VT | definition | definition 3.5 | arxiv |
| NYFY9D9T56 | definition | definition 6.14 | arxiv |
| P51DPTT5HV | statement | theorem 4.21 | arxiv |
| P5CJ3YZ30Y | definition | definition 4.27 | arxiv |
| P5G1Y6SDCH | definition | definition 4.14 | arxiv |
| PC5YKK550P | definition | definition 2.18 | arxiv |
| PE65KY1ASG | statement | lemma 3.24 | arxiv |
| PGC64Y8GF1 | statement | lemma 2.45 | arxiv |
| PGYBH4668J | statement | theorem 5.9 | arxiv |
| PKH6Q8WVJ7 | definition | definition 2.27 | arxiv |
| PMVSFDWRXR | statement | theorem 5.4 | arxiv |
| Q0JK5P8Y19 | definition | definition 5.10 | arxiv |
| Q648Q1SCYF | statement | theorem 5.32 | arxiv |
| QGYGEM61KG | definition | definition 3.39 | arxiv |
| QRBEB3R2BK | statement | lemma 3.4 | arxiv |
| QYQ5J0YE9X | statement | lemma 4.37 | arxiv |
| R67S2063CQ | statement | theorem 3.22 | arxiv |
| R8S4X32AX9 | definition | definition 2.52 | arxiv |
| RZNT75V3GX | statement | lemma 6.31 | arxiv |
| S0ZSP0DQ79 | definition | definition 5.12 | arxiv |
| S59WJ30H1Z | statement | theorem 2.39 | arxiv |
| SN5XQP8AHF | statement | theorem 2.51 | arxiv |
| SSP0NQTCSH | statement | theorem 4.9 | arxiv |
| STSQ24RS2K | statement | theorem 6.36 | arxiv |
| T075JRVYZ7 | definition | definition 4.32 | arxiv |
| T3RXER5KG8 | definition | definition 2.17 | arxiv |
| T54TMZVN80 | statement | lemma 5.25 | arxiv |
| T5XYZPWCBX | statement | theorem 3.16 | arxiv |
| TC3XF1PPW1 | definition | definition 7.1 | arxiv |
| TMT7X1HDHC | definition | definition 6.2 | arxiv |
| TP0ANBSETZ | statement | lemma 2.35 | arxiv |
| TS394FPPBK | statement | theorem 3.21 | arxiv |
| TW962HEDXY | definition | definition 2.33 | arxiv |
| TYCZV0RZSW | statement | lemma 6.15 | arxiv |
| TZ0RW598E0 | statement | lemma 4.36 | arxiv |
| V0T9GFDMN2 | definition | definition 2.46 | arxiv |
| V12Q3JQ8PH | definition | definition 2.25 | arxiv |
| V1CC554FF0 | definition | definition 6.13 | arxiv |
| V4W4C5C8WJ | statement | lemma 3.34 | arxiv |
| VBE90NM9TX | statement | lemma 5.22 | arxiv |
| VKFP54G4XM | statement | theorem 6.6 | arxiv |
| VM8NQ7RGKJ | statement | lemma 3.36 | arxiv |
| VQFP6V69QK | statement | theorem 4.23 | arxiv |
| VYZ7NX2MZ6 | statement | theorem 2.14 | arxiv |
| W3HQW7NJBQ | definition | definition 6.3 | arxiv |
| W8R3256GVF | statement | lemma 4.15 | arxiv |
| W9VE5A1TK2 | statement | theorem 2.16 | arxiv |
| WDQZZFVFKH | statement | lemma 5.30 | arxiv |
| WQJCBJV5NG | definition | definition 3.3 | arxiv |
| WQW0HXEYJR | definition | definition 2.20 | arxiv |
| WQZNEWQJJY | statement | lemma 3.17 | arxiv |
| WXYYZ07ZNR | definition | definition 2.40 | arxiv |
| X6Q43BBBMH | statement | theorem 6.24 | arxiv |
| XB0D2V7PXF | statement | theorem 4.24 | arxiv |
| XDEKE3GP4B | definition | definition 6.12 | arxiv |
| XQ9EC4GTHM | statement | lemma 2.8 | arxiv |
| XSYQ26F31B | statement | theorem 3.29 | arxiv |
| XYBAS0DYRB | definition | definition 4.13 | arxiv |
| Y5NSKYBM19 | definition | definition 2.1 | arxiv |
| YGVHQ9QBHP | statement | lemma 2.42 | arxiv |
| YHB0YHPMM4 | definition | definition 2.22 | arxiv |
| YMSR9T05Q4 | statement | lemma 2.50 | arxiv |
| YSF4YF1FN0 | statement | lemma 2.37 | arxiv |
| YYR5FBTVCY | statement | theorem 4.30 | arxiv |
| Z491YSEP02 | statement | lemma 4.16 | arxiv |
| Z6BZT1AA3C | statement | lemma 2.13 | arxiv |
| Z6MR70KM9Z | statement | theorem 2.11 | arxiv |
| Z8P0GSE6FJ | statement | theorem 2.21 | arxiv |
| Z9CGEJ068C | statement | theorem 3.38 | arxiv |
| ZS8PG5REHT | statement | lemma 6.35 | arxiv |
Catalogue records
- arxiv: 2510.12502 (work)