Inventory: P
The rows of the inventory whose names start with P. 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 5001–5100 of 5460.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| Purely negative $T^2$ in rank two | J8R0SW5FR9 | statement | record (an 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.20649#DHUD |
| Purely negative cocircuit witnesses | W7PVA50YKT | statement | record (an 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.20649#NEP5 |
| purely transcendental base change | TTMBF2DS8T | statement | record (an 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.07508#JV0O |
| purely transcendental base change of the profile | TK6V7S4J64 | statement | record (an 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.09298#8EKC |
| Purity and self-duality for diagonal sectors | MDNEFZZSD2 | statement | record (an 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#HJE0 |
| Purity budget | 7WKASF5NMV | statement | record (an 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.04271#T6MC |
| Purity of middle convolution | EV404DDJ2W | statement | record (an 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.04099#882W |
| Purity of the boundary | 9VEPR04H79 | statement | record (an 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.15831#GM4Z |
| Purity of the middle-extension cohomology on a curve | 14FFKWZVZH | statement | record (an 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.04099#YV02 |
| Purser's theorem | VHRRJB3SY3 | statement | open | Wikidata Q18762467, MathWorld PursersTheorem |
| Pursuing Stacks | RH5YGA7MRR | unknown | open | Wikidata Q16966343, nLab Pursuing Stacks |
| pursuit curve | C4PEQA5XG8 | unknown | open | Wikidata Q1757469, MathWorld PursuitCurve |
| Push-forward along a varying map | YZAQJGCG2R | statement | record (an 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.26270#NB1Q |
| Push-forward measure | BGDNZRMSZK | 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.35466#SWQU |
| Pushforward Lemma | E931KCWKJG | statement | record (an 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.09650#NST4 |
| pushforward measure | F7R05751BR | unknown | open | Wikidata Q860929, nLab pushforward measure |
| Pushforward to bounded functions | 8X43X8FXCJ | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2510.05499#EUFS |
| pushout | 2AAS4WRRKH | concept | open | hott_book index/7.10/pushout |
| pushout | 5B2DXFWPSE | unknown | open | Wikidata Q1633079, nLab pushout |
| pushout | AW6B40ECG8 | concept | open | hott_book index/7.5.1/pushout |
| pushout | XSW1EVQCGZ | concept | open | hott_book index/5.8/pushout |
| pushout, of sets | RTTZKHCEQM | concept | open | hott_book index/5.9/pushout-of-sets |
| Putnam 2014 | 5MCZGBZRZ9 | exercise | open | napkin tex/linalg/inner-form.tex#problem-3 |
| Putting the overlaps back | XBZG5PRTC8 | statement | record (an 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.25120#S8XR |
| puzzle | 9D42RF1W97 | definition | open | Wikidata Q13698, ProofWiki Definition:Puzzle |
| PV-Moore matrix | FV9TWP04RQ | 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.32834#KA0H |
| PV01V871RR | PV01V871RR | statement | record (an 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.33231#48AY |
| PV08Z6KET1 | PV08Z6KET1 | statement | record (an 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#OJ7U |
| PV1TR6KEYK | PV1TR6KEYK | exercise | open | lebl_diffyqs ch-systems.tex#exercise-86 |
| PV2CMEH08Y | PV2CMEH08Y | statement | record (an 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.03231#1ZF0 |
| PV2JB0KTBN | PV2JB0KTBN | statement | record (an 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.03238#Z9HD |
| PV39X0WTJP | PV39X0WTJP | statement | record (an 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.14249#9X24 |
| PV3A0DFVMS | PV3A0DFVMS | 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.40207#S5OF |
| PV3MRQCJ0C | PV3MRQCJ0C | statement | record (an 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.34295#IQOS |
| PV3Q5651QH | PV3Q5651QH | 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.17139#5I7O |
| PV3Y5KGZNC | PV3Y5KGZNC | 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.20956#8YRG |
| PV41N5531G | PV41N5531G | statement | record (an 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.14044#UUUI |
| PV4BH7WDS2 | PV4BH7WDS2 | 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 2208.06310#GB4H |
| PV4K1EX8J5 | PV4K1EX8J5 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv alg-geom/9506022#S4T8 |
| PV4RATVB9P | PV4RATVB9P | exercise | open | austin_ula src/exercises/exercises4-3.xml#exercise-1 |
| PV50FCF7GY | PV50FCF7GY | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2109.00080#1R3V |
| PV585TCBY2 | PV585TCBY2 | statement | record (an 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.33185#HXHB |
| PV5E5TV1E8 | PV5E5TV1E8 | statement | record (an 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.10643#WIYX |
| PV5WB6VW2Z | PV5WB6VW2Z | statement | record (an 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.15111#5MZ7 |
| PV5YK2JMJ9 | PV5YK2JMJ9 | example | open | levin_dmoi ptx/sec_gt-intro.ptx#example-1 |
| PV5YPMG97Q | PV5YPMG97Q | statement | record (an 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.19468#YFXL |
| PV657RVRQ3 | PV657RVRQ3 | statement | record (an 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.38206#TQTA |
| PV68Z4PR5J | PV68Z4PR5J | 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.13385#WAIM |
| PV6Y7WVW0H | PV6Y7WVW0H | statement | record (an 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.11886#BF2G |
| PV70HXCN4N | PV70HXCN4N | 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.24577#6WT8 |
| PV7HDW39HH | PV7HDW39HH | statement | record (an 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.19260#CWKR |
| PV7Q8X6THX | PV7Q8X6THX | 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 2507.03563#I3Y6 |
| PV7Z8VVR9Z | PV7Z8VVR9Z | statement | record (an 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.08226#TDM6 |
| PV83RZBPJ4 | PV83RZBPJ4 | statement | record (an 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#42DE |
| PV8C9HR9TA | PV8C9HR9TA | statement | record (an 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.28046#BI6O |
| PV8GGHR671 | PV8GGHR671 | exercise | open | lebl_scv scv.tex#exercise-50 |
| PV90B440TF | PV90B440TF | 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.30086#JSQZ |
| PV92E68MPH | PV92E68MPH | statement | record (an 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.07099#5LJT |
| PV9FA74BWG | PV9FA74BWG | statement | record (an 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.32088#9CPG |
| PVAMYP6SFT | PVAMYP6SFT | statement | record (an 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.07409#C5V8 |
| PVAQAA7E75 | PVAQAA7E75 | statement | record (an 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.08039#NZPJ |
| PVAV8WKMTD | PVAV8WKMTD | statement | record (an 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.21622#5NRT |
| PVB1ARKB4V | PVB1ARKB4V | exercise | open | austin_ula src/exercises/exercises2-3.xml#exercise-9 |
| PVBB8HA4X3 | PVBB8HA4X3 | statement | record (an 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.19534#Q1PN |
| PVBMY6VEEA | PVBMY6VEEA | statement | record (an 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.01346#CY8W |
| PVBXB86HRS | PVBXB86HRS | statement | record (an 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.05784#6M8L |
| PVCFJZG1PY | PVCFJZG1PY | statement | record (an 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.21278#X042 |
| PVCKC6DY0Q | PVCKC6DY0Q | 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.21080#2G0X |
| PVDRBRJX6A | PVDRBRJX6A | exercise | open | lebl_ra ch-multivar-int.tex#exercise-54 |
| PVDVK256WH | PVDVK256WH | example | open | open_logic content/first-order-logic/models-theories/expressing-props-of-structures.tex#ex-1 |
| PVEHJNZ4N3 | PVEHJNZ4N3 | 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 2412.20001#P4JF |
| PVEW89H3C9 | PVEW89H3C9 | statement | record (an 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#BI8C |
| PVG6GVAG57 | PVG6GVAG57 | statement | record (an 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.22161#EKSN |
| PVGT32B788 | PVGT32B788 | statement | record (an 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.16332#1Q9X |
| PVGZBMF733 | PVGZBMF733 | 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.22326#GRIS |
| PVHZG1F25A | PVHZG1F25A | statement | record (an 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.30779#UHKC |
| PVJ1BH0MS4 | PVJ1BH0MS4 | exercise | open | napkin tex/complex-ana/holomorphic.tex#exercise-1 |
| PVJ1TZQR2K | PVJ1TZQR2K | 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.06747#E3Z3 |
| PVJ3SB844P | PVJ3SB844P | statement | record (an 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.11679#FA7Q |
| PVJ56CG069 | PVJ56CG069 | statement | record (an 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.13518#11WC |
| PVJ8PWHQDE | PVJ8PWHQDE | 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 2503.12486#O6WS |
| PVK0SS64CX | PVK0SS64CX | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2206.11809#S53B |
| PVKS6C2THZ | PVKS6C2THZ | 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.01802#TG87 |
| PVM75DNYNX | PVM75DNYNX | exercise | open | napkin tex/calculus/p-adic.tex#exercise-3 |
| PVNFTRQFWT | PVNFTRQFWT | 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.31269#GWV0 |
| PVNQYJBVP9 | PVNQYJBVP9 | statement | record (an 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.12484#TW12 |
| PVNXTTN5JC | PVNXTTN5JC | statement | record (an 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.27168#4CCZ |
| PVPSVMKJTS | PVPSVMKJTS | statement | record (an 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.08873#LX4R |
| PVPZETJMRC | PVPZETJMRC | statement | record (an 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.17717#YQL4 |
| PVQCQ7K13S | PVQCQ7K13S | statement | record (an 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.18673#8N1O |
| PVRGDK0WP1 | PVRGDK0WP1 | statement | record (an 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.06152#SKE9 |
| PVRHTC85RF | PVRHTC85RF | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 1009.3308#5G0E |
| PVS12AN035 | PVS12AN035 | statement | record (an 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.05391#ITN2 |
| PVSJR53P5Q | PVSJR53P5Q | 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 1209.3562#LMZ3 |
| PVSN6BE6V0 | PVSN6BE6V0 | exercise | open | lebl_ra ch-several-vars-ders.tex#exercise-72 |
| PVT43N6E42 | PVT43N6E42 | statement | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) | arXiv 2212.02556#PPLN |
| PVT5ES20MW | PVT5ES20MW | statement | record (an 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.13972#VRG9 |
| PVT74VZJNX | PVT74VZJNX | statement | record (an 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#3L7V |
| PVTF3HRF0X | PVTF3HRF0X | 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.14060#3T50 |
| PVTK475A7Z | PVTK475A7Z | exercise | open | austin_ula src/exercises/exercises7-4.xml#ex-7-4-1 |