Math 2.0

Inventory: L

The rows of the inventory whose names start with L. 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.

Rows 6501–6535 of 6535.

NameIdKindOutcomeSources
Lévy's zero–one lawQ80EW68F7FstatementopenWikipedia Doob's martingale convergence theorems#5OCW
Lévy-Itō decompositionP7NS7K23RFunknownopenWikipedia Lévy process#S0VX
Lévy–Khintchine formula41SJJNWE49statementopenWikipedia Infinite divisibility (probability)#MULO
Lévy–Prokhorov metricEFYEWEDNVXdefinitionopenWikipedia Lévy–Prokhorov metric, Wikidata Q421945
Lévy–Prokhorov metricWZB1Q0VPQ6definitionopenWikipedia List of probability topics#K4SI
Lévy–Steinitz theoremT67HKVF46PstatementopenWikipedia Lévy–Steinitz theorem, Wikidata Q2341004
Lê Dũng TrángV0ZNEBAHK2topicopenWikipedia Lê Dũng Tráng, Wikidata Q15694557
Lê Thị Thanh Nhàn4H7R345R77topicopenWikipedia Lê Thị Thanh Nhàn, Wikidata Q20735776
Lê Vũ AnhTCZRC3RDHCtopicopenWikipedia Lê Vũ Anh, Wikidata Q108293163
López-Hernanz, Raissy, Ribón, SanzSPN5DCZFXRstatementrecord (an 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.01520#HO59
López-Hernanz, RosasZDH3BYC9C1statementrecord (an 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.01520#RRDR
Löb paradoxDBBMF5QGFHdefinitionopenWikipedia Glossary of logic#ANQI
Löb's theorem1H8EW7DXMFdefinitionopenWikipedia Glossary of logic#8WQG
Löb's theorem8BVAJGREM7statementopenmathlib_1000 Q204884, Wikidata Q204884, thousand_plus Q204884, Wikipedia Löb's theorem, nLab Löb's theorem
Löb's theoremRXDK2D0WQ9statementopenWikipedia List of theorems#N1RT
Löb's theoremTHRYPHPG48statementopenWikipedia List of mathematical logic topics#AJOQ
Löb's theorem in provability logic1WWMN5M6CYstatementopenWikipedia Löb's theorem#SMBU
Lövheim Cube of EmotionsBZKBYKM30XdefinitionopenWikipedia Lövheim Cube of Emotions, Wikidata Q116921959
LöwenheimA7M906C3EPdefinitionopenWikipedia Glossary of set theory#W2IQ
Löwenheim number5YEY40FM20definitionopenWikipedia Löwenheim number, Wikidata Q4988715
Löwenheim–Skolem theorem125Y2TSHCTdefinitionopenWikipedia Glossary of logic#VAEV
Löwenheim–Skolem theorem6ZHMZD4224statementopenmathlib_1000 Q1068283, Mathlib FirstOrder.Language.exists_elementaryEmbedding_card_eq, Wikidata Q1068283, mathlib_overview Logic and computation > Model theory > Löwenheim-Skolem, thousand_plus Q1068283, Wikipedia Löwenheim–Skolem theorem, MathWorld Loewenheim-SkolemTheorem
Löwenheim–Skolem theoremCAKM46YMSHstatementopenWikipedia List of theorems#7HZH
Löwenheim–Skolem theoremF2CZPV34NCstatementopenWikipedia List of mathematical logic topics#ELRX
Löwenheim–Skolem theoremJNVZETDEQ3statementopenWikipedia First-order logic#KWIJ
Löwner–Heinz theoremFNJKHQTHMCstatementopenWikipedia Trace inequality#OJQ2
Löwner’s theorem on holomorphic extensionQ2J70KE844statementopenWikipedia Operator monotone function#20TY
Lüroth invariantCCTSYT11CWdefinitionopenWikipedia Glossary of invariant theory#1HMI
Lüroth quarticRD8CRAMTXDdefinitionopenWikipedia Lüroth quartic, Wikidata Q6711564
Lüroth's theorem601R6GCWSQstatementopenWikidata Q3527115, MathWorld LuerothsTheorem, Wikipedia Lüroth's theorem
Lüroth's theoremSV73R93G2DstatementopenWikipedia Rational variety#Z651
L’Hopital’s Rule8Y8HFYBFCRstatementopenmathlib_100 64, Mathlib deriv.lhopital_zero_nhds
L∞ function894JSRQPNJunknownopenWikipedia L-infinity#VWJ5
L∞ spaceV0ZQDNBRDWdefinitionopenWikidata Q25109715, MathWorld L-Infinity-Space, Wikipedia L-infinity
L∞-algebra11YPXSC5ZTdefinitionopenWikidata Q42614797, nLab L-infinity-algebra, Wikipedia Homotopy Lie algebra