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 4401–4500 of 5460.

Name	Id	Kind	Outcome	Sources
Projective integrability criterion	3W8VRMECWD	statement	record (an 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.12497#HP4U
Projective lift and Hilbert function	83EW4M6RBZ	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.31689#YVAV
projective line	3J3ZQKNS5K	unknown	open	Wikidata Q764115, nLab projective line
projective linear group	W4TG905N53	unknown	open	Wikidata Q2997419, MathWorld ProjectiveGeneralLinearGroup
projective module	BKVNN1QF9F	definition	open	Wikidata Q942423, EoM Projective_module, Mathlib Module.Projective, MathWorld ProjectiveModule, nLab projective module, ProofWiki Definition:Projective_Module
projective object	D86XHB62R8	definition	open	Wikidata Q2112502, EoM Projective_object_of_a_category, nLab projective object, ProofWiki Definition:Projective_Object
projective orthogonal group	4ETE44Y1MM	unknown	open	Wikidata Q7249468, MathWorld ProjectiveGeneralOrthogonalGroup
projective plane	SWW1QD0FPZ	unknown	open	Wikidata Q1475760, MathWorld ProjectivePlane
projective plane	VPME96B1CN	concept	open	hott_book index/5.6/projective-plane
Projective planes	TCDZ90TS8P	statement	record (an 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#NTTS
projective representation	6DR3QSG4G5	unknown	open	Wikidata Q7249476, nLab projective representation
projective scheme	RZQ6137AY1	unknown	open	Wikidata Q91443379, EoM Projective_scheme
projective set	98D0P74Q3K	unknown	open	Wikidata Q219448, EoM Projective_set, nLab projective set
projective space	2W1E90JDWK	unknown	open	Wikidata Q877775, EoM Projective_space, LMFDB knowl ag.projective_space, MathWorld ProjectiveSpace, nLab projective space
Projective space and projective subspace	SM35STH66C	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#8BVS
projective special linear group	CGP5E9VFKM	unknown	open	Wikidata Q78498942, MathWorld ProjectiveSpecialLinearGroup, nLab projective special linear group
Projective Tits input	XNX780XH82	statement	record (an 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.36098#F9DZ
Projective transformations	1V9GJZ45DP	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.18154#OXD3
projective unitary group	E6WNVE6MK4	unknown	open	Wikidata Q7249475, MathWorld ProjectiveGeneralUnitaryGroup, nLab projective unitary group
projective variety	4NFRXDGHQ4	unknown	open	Wikidata Q3554818, EoM Projective_algebraic_set, MathWorld ProjectiveAlgebraicVariety, nLab projective variety
Projective version of the Kong--Tamo bound	S0RQQ058SH	statement	record (an 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.33365#A1YH
Projective-ray estimate	6QXFTQP098	statement	record (an 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#6BSU
projectively extended real line	W2HW6DV7XM	unknown	open	Wikidata Q2558939, MathWorld ProjectivelyExtendedRealNumbers
projectivization	8GXQCMM60K	unknown	open	Wikidata Q7249479, MathWorld Projectivization
Projector converse	VS74DSGD1V	statement	record (an 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.35986#RXUB
Projector drift via Davis--Kahan	5B4V607HJR	statement	record (an 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.08152#JYNU
Projector identifiability	D16944A2CP	statement	record (an 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.31458#SHIG
Prokhorov distance	S25XMC1VZK	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.40338#ZJPB
Prokhorov's theorem	TBETGA4DBM	statement	open	mathlib_1000 Q7249519, Mathlib isCompact_setOfPred_finiteMeasure_mass_le_compl_isCompact_le, Mathlib isCompact_setOfPred_finiteMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_setOfPred_probabilityMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_closure_of_isTightMeasureSet, Wikidata Q7249519, thousand_plus Q7249519, Mathlib isCompact_setOf_finiteMeasure_mass_le_compl_isCompact_le, Mathlib isCompact_setOf_finiteMeasure_mass_eq_compl_isCompact_le, Mathlib isCompact_setOf_probabilityMeasure_mass_eq_compl_isCompact_le, Wikipedia Prokhorov's theorem
prolate cycloid	14Z9PP0JGW	unknown	open	Wikidata Q78153395, MathWorld ProlateCycloid
prolate epicycloid	BGTSPSBEMS	unknown	open	Wikidata Q78154039, MathWorld ProlateEpicycloid
prolate hypocycloid	E0VVS6W3V6	unknown	open	Wikidata Q78154038, MathWorld ProlateHypocycloid
prolate spheroid	CQENHCPVSP	unknown	open	Wikidata Q3297588, MathWorld ProlateSpheroid
prolate spheroidal coordinates	66X4SRVHB6	unknown	open	Wikidata Q7249552, MathWorld ProlateSpheroidalCoordinates
promonoidal category	THW6VWBRJN	unknown	open	Wikidata Q107469099, nLab promonoidal category
promotion	6F9HE1XK6B	definition	open	Wikidata Q215599, ProofWiki Definition:Chess/Pawn/Promotion
Prompt-conditioned score Transformer	GXMZS5B341	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.05333#U7B2
Prompt-generating process	GTSDJMFDPM	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.05333#0F6Y
pronic number	KZCYWCGGHB	unknown	open	Wikidata Q1486643, MathWorld PronicNumber, OEIS A002378
Proof	DF3BJPCC5X	proof	open	open_logic content/set-theory/replacement/refproofs.tex#proof-2
proof	M8NYR28X6T	concept	open	hott_book index/A.11/proof
proof	Q7J14FE12C	concept	open	hott_book index/A.1/proof
proof assistant	7AWVQC2ACK	unknown	open	Wikidata Q11387554, nLab proof assistant
proof by cases	BF4DG7QKQD	concept	open	levin_dmoi index/4.2.5/proof-by-cases
proof by contradiction	VY3W75JEVC	concept	open	levin_dmoi index/4.2.3/proof-by-contradiction
proof by contradiction	ZJ3E8DJ8EN	statement	open	Wikidata Q184899, MathWorld ProofbyContradiction, nLab proof by contradiction, ProofWiki Proof_by_Contradiction
proof by contrapositive	DBEJE0GSHM	concept	open	levin_dmoi index/4.2.2/proof-by-contrapositive
proof net	JBW75D4BEA	unknown	open	Wikidata Q3457091, nLab proof net
Proof of $(\exists x)P(x)$ by Contradiction	76JVZ08VQK	proof	open	ernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton-2
Proof of $(\forall n \in \mathbb{Z})(n \geq a \implies P(n))$ by Induction	ECB6BGN431	proof	open	ernst_ibl MAAPressVersion/MoreInduction.tex#skeleton-1
Proof of $(\forall n\in\mathbb{N})P(n)$ by Complete Induction	DPY4RCRYNR	proof	open	ernst_ibl MAAPressVersion/CompleteInduction.tex#skeleton-1
Proof of $(\forall n\in\mathbb{N})P(n)$ by Induction	42PEFESKK2	proof	open	ernst_ibl MAAPressVersion/IntroInduction.tex#skeleton-1
Proof of $(\forall x)(A(x)\implies B(x))$	15RB0HXFG1	proof	open	ernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton:for all direct proof
Proof of $(\forall x)P(x)$ by Contradiction	ASMJ9KM73X	proof	open	ernst_ibl MAAPressVersion/MoreQuantification.tex#skeleton-1
Proof of $A\implies B$ by contradiction	9DG1KQH80P	proof	open	ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#pf by contradiction for implication
Proof of $A\implies B$ by contraposition	3Y1EJ1YHGQ	proof	open	ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#pf by contraposition
Proof of $A\implies B$ by direct proof	942D4MKJ04	proof	open	ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#skeleton:direct proof
Proof of $P$ by contradiction	YPXV4H58WK	proof	open	ernst_ibl MAAPressVersion/NegatingAndContradiction.tex#skeleton-1
Proof of \cref{thm:flattening}	P2T9D80263	proof	open	hott_book hits.tex#proof-34
Proof of \cref{thm:freudcode}	YTJEHACBTH	proof	open	hott_book homotopy.tex#proof-30
Proof of \cref{thm:freudenthal}	F93ZBDWQVA	proof	open	hott_book homotopy.tex#proof-32
Proof of \cref{thm:hlevel-loops}	DJW1KM3ETP	proof	open	hott_book hlevels.tex#proof-14
Proof of \Cref{thm:uniqueness_primary_form_one_prime_torsion_module}	G3TBSYARQG	proof	open	napkin tex/H113/structure.tex#proof-6
Proof of \olref{prop:rep-add}	VDHMJ0QRKJ	proof	open	open_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-4
Proof of \olref{prop:rep-id}	YM3DS0VNMM	proof	open	open_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-2
Proof of \olref{thm:interpolation}	645QVZJQ9B	proof	open	open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-2
Proof of \olref{thm:lob}	JA77Z8ZYZS	proof	open	open_logic content/incompleteness/incompleteness-provability/lob-thm.tex#proof-1
Proof of \thmref{thm:dbaronpoly}	4BGZKSYYSZ	proof	open	lebl_scv scv.tex#proof-59
Proof of \thmref{thm:fourierlocalization}	TBJ9NMFM7K	proof	open	lebl_ra ch-approximate.tex#proof-32
Proof of \thmref{thm:Rothstein}	6J7JDRPNP1	proof	open	lebl_scv scv.tex#proof-11
Proof of Bochner--Martinelli	4E24T9NY4K	proof	open	lebl_scv scv.tex#proof-65
Proof of Cartan's uniqueness theorem	3V1NHANT86	proof	open	lebl_scv scv.tex#proof-12
Proof of Cayley-Hamilton	6F206XF6Q5	proof	open	napkin tex/linalg/dets.tex#proof-3
Proof of density theorem	PYYG97YK0Z	proof	open	napkin tex/rep-theory/semisimple.tex#proof-3
Proof of Green's theorem for $U$ of type III	8H0BR8AS0E	proof	open	lebl_ra ch-multivar-int.tex#proof-23
Proof of Herbrand's Theorem	KXPZWPHB83	proof	open	open_logic content/proof-theory/cut-elimination/midsequent.tex#proof-2
Proof of Lemma A.1	47SNX445D3	statement	record (an 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.11082#914H
Proof of Proposition 3.5	JAC5BGYBDC	statement	record (an 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.31278#ZRYN
Proof of Rice's theorem	NWDFQTX6QQ	proof	open	open_logic content/computability/computability-theory/rice-theorem.tex#proof-1
Proof of Schr\"oder-Bernstein	SXS7XX1KJ4	proof	open	open_logic content/sets-functions-relations/infinite/card-sb.tex#proof-3
Proof of the lemma	3YPCHK294R	proof	open	lebl_scv scv.tex#proof-57
Proof of the theorem	GBFFAM6V96	proof	open	lebl_scv scv.tex#proof-16
Proof of the theorem of Baouendi--Tr{\`e}ves	G230ZCTA37	proof	open	lebl_scv scv.tex#proof-48
Proof of Theorem 7	6EX4GY5HYG	statement	record (an 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.25656#F15H
Proof of {\olref[nen-alt]{thm:nonenum-pownat}} by reduction	8SG7RXTQBZ	proof	open	open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#proof-1
Proof of {\olref[nen]{thm:nonenum-pownat}} by reduction	JAN58C5N7R	proof	open	open_logic content/sets-functions-relations/size-of-sets/reduction.tex#proof-1
Proof of~\cref{thm:omg}	ZPQ729CZYM	proof	open	hott_book basics.tex#proof-5
Proof skeleton	G7JX9R9Q5S	proof	open	open_logic content/set-theory/card-arithmetic/opps.tex#proof-5
Proof sketch	2Y6CT4A3T1	unknown	open	arXiv 2610.13680#MX0R
Proof sketch	D4E88YW43D	proof	open	open_logic content/sets-functions-relations/arithmetization/cauchy.tex#proof-2
Proof Sketch	X7VS078QE4	proof	open	open_logic content/computability/computability-theory/normal-form.tex#proof-1
Proof that a function is injective	V8G1GR924A	proof	open	ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#skeleton-1
Proof that a function is surjective	Z0QHPYT5FY	proof	open	ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#skeleton-2
Proof that a relation is reflexive	D8N55AQMZR	proof	open	ernst_ibl MAAPressVersion/Relations.tex#skeleton-1
Proof that a relation is symmetric	AW3D4S17TY	proof	open	ernst_ibl MAAPressVersion/Relations.tex#skeleton-2
Proof that a relation is transitive	6NFTSSX7NE	proof	open	ernst_ibl MAAPressVersion/Relations.tex#skeleton-3
proof theory	75KM352SJ5	topic	open	Wikidata Q852732, MathWorld ProofTheory, nLab proof theory, ProofWiki Definition:Proof_Theory
Proof using Chevalley's method	W1NKZJPX29	unknown	open	arXiv 2011.06637#R9CF
Proof using Chevalley's theorem	CDN4ZFB0YB	unknown	open	arXiv 2011.06637#8HP0
Proof using covers	JCNCT3GKFE	proof	open	napkin tex/topology/compactness.tex#proof-4