Math 2.0

Inventory: other names

The rows of the inventory whose names start with a character that is not a letter of A to Z. 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 26801–26896 of 26896.

NameIdKindOutcomeSources
``Almost-always'' regularityNJ7TEEP84Mstatementrecord (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.21775#O002
``continuity'' of functions in type theory7YBFWSTGT3conceptopenhott_book index/1.2/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryBFBXHDYKFAconceptopenhott_book index/u1.u2/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryDR5ZC765DVconceptopenhott_book index/1.3/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryDZWZ970WFWconceptopenhott_book index/1.4/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryGQ8G26J4MCconceptopenhott_book index/6.2/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryKT0H55NJJXconceptopenhott_book index/9.11/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryYJ66B9A20Aconceptopenhott_book index/9.2/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryYPW2BGQVY5conceptopenhott_book index/9.1/continuity-of-functions-in-type-theory
``continuity'' of functions in type theoryYZXRKJ1FG6conceptopenhott_book index/1.9/continuity-of-functions-in-type-theory
``Energy-Independent" Tomography via Iterative Unsqueezing, Theorem 3VQ4Q8HBYNKstatementrecord (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.06810#NFRF
``Euclidean algorithm''6GNYSKXMF8statementopennapkin tex/H113/structure.tex#claim-1
``Existence"D1QPHQC8EAstatementrecord (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 2204.04317#XLL2
``First isomorphism theorem'' in abelian categoriesRJQJQ922AAstatementopennapkin tex/cats/abelian.tex#prop:break_exact
``Fixing $x$''8XBDWA8F2Adefinitionrecord (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 2104.00162#N98F
``functoriality'' of functions in type theory8Q1RQ58W8Fconceptopenhott_book index/9.11/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theory8VGX0X5PA6conceptopenhott_book index/1.2/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theoryAZ10Z6Z3JZconceptopenhott_book index/6.2/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theoryC3V218VZDJconceptopenhott_book index/9.1/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theoryH8DCKZGSP2conceptopenhott_book index/1.9/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theorySBWCE1BXXJconceptopenhott_book index/1.4/functoriality-of-functions-in-type-theory
``functoriality'' of functions in type theoryYY0BCV8VB6conceptopenhott_book index/9.2/functoriality-of-functions-in-type-theory
``H'' LemmaRC11NPMYKHstatementrecord (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.05506#GE4V
``Hybrid'' local strong convexityF74K6FPH15statementrecord (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.30590#PKVR
``naturality'' of homotopiesETSZFRVSSZconceptopenhott_book index/1.4/naturality-of-homotopies
``Non-negative Reals''Z456TDXHC7definitionrecord (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 2104.00162#ZG2A
``Reversed" Hofer--Zehnder conjecture2P9QNRNQJKstatementrecord (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 2607.25960#IJI0
``The Basic Lemma'' , Theorems 2.1.1, 2.1.3, 2.1.5, 2.1.6 , Corollary 5.6E2CHNZAX7Gstatementrecord (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 2505.04593#CRK3
``Uniqueness"TDYQHM7B7Cstatementrecord (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 2204.04317#ZJLB
{$\QQ[x]$ is a Euclidean domain}7RJE3DD9P4exampleopennapkin tex/H113/ring-flavors.tex#example-10
{$\ZZ[\sqrt7]$} is a UFDWG9BAPTQ5Tstatementopennapkin tex/alg-NT/classgrp.tex#proposition-2
{Norm of $a+b\sqrt[3] 2+c \sqrt[3] 4$}ZB0XY18PESexampleopennapkin tex/alg-NT/norm-trace.tex#example-2
{The ring $\ZZ[\frac{1 + \sqrt{-19}}{2}]$ is not a Euclidean domain}JF514RVEX1exampleopennapkin tex/H113/ring-flavors.tex#example-11
¬S78DYPETC8unknownopenWikidata Q3874245, MathWorld NegationSign
±5X63TFM3GSunknownopenWikidata Q260387, MathWorld PlusorMinus
¼HR246MF9NBunknownopenWikidata Q2310416, MathWorld Quarter
½T7V391H2WSunknownopenWikidata Q2114394, MathWorld Half
×EF72RF330WunknownopenWikidata Q1900125, MathWorld MultiplicationSign
ångströmBS4G431EMNdefinitionopenWikidata Q81454, ProofWiki Definition:Metric_System/Length/Angstrom
Écalle , HakimTCQ2244WAEstatementrecord (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#B6IA
Édouard GoursatCS65V7DMEPunknownout_of_scope (a person, not an item of mathematics)Wikidata Q274322, nLab Édouard Goursat, ProofWiki Mathematician:Édouard_Jean-Baptiste_Goursat
Édouard Lucas90RNZRJMC0unknownout_of_scope (a person, not an item of mathematics)Wikidata Q274377, ProofWiki Mathematician:François_Édouard_Anatole_Lucas
Élie CartanFCTNHACKVXunknownout_of_scope (a person, not an item of mathematics)Wikidata Q274639, nLab Élie Cartan, ProofWiki Mathematician:Élie_Joseph_Cartan
Émile BaudotHD6AZ90FJYunknownout_of_scope (a person, not an item of mathematics)Wikidata Q550192, ProofWiki Mathematician:Émile_Baudot
Émile Borel9DPWY4G862unknownout_of_scope (a person, not an item of mathematics)Wikidata Q154356, EoM Borel,_Émile, nLab Émile Borel, ProofWiki Mathematician:Félix_Édouard_Justin_Émile_Borel
Émile LemoineJREP6N6MWQunknownout_of_scope (a person, not an item of mathematics)Wikidata Q286074, ProofWiki Mathematician:Émile_Michel_Hyacinthe_Lemoine
Émile Léonard MathieuNGZ7TY4FGMunknownout_of_scope (a person, not an item of mathematics)Wikidata Q286161, ProofWiki Mathematician:Émile_Léonard_Mathieu
étale algebra63SYGZ3882unknownopenWikidata Q17097882, nLab étale algebra
étale homotopy typeNTRK0C3DHNunknownopenWikidata Q17011031, nLab étale homotopy
étale morphismC0NYJWWWFBunknownopenWikidata Q8078428, nLab étale map
étale topology4D73EPR2HJunknownopenWikidata Q8078427, EoM Etale_topology, nLab étale site
étale toposG5ZMYA6CNXunknownopenWikidata Q17011044, nLab étale topos
Étienne BézoutDPXBSZKATJunknownout_of_scope (a person, not an item of mathematics)Wikidata Q289471, ProofWiki Mathematician:Étienne_Bézout
Étienne PascalF2VQZ90KCZunknownout_of_scope (a person, not an item of mathematics)Wikidata Q2140187, ProofWiki Mathematician:Étienne_Pascal
Évariste Galois4T2GGJS88Cunknownout_of_scope (a person, not an item of mathematics)Wikidata Q7091, nLab Évariste Galois, ProofWiki Mathematician:Évariste_Galois
Øystein OreYF33AZGBJ7unknownout_of_scope (a person, not an item of mathematics)Wikidata Q329846, nLab Øystein Ore, ProofWiki Mathematician:Øystein_Ore
ĀryabhaṭīyaNMZ4XZ08JQunknownout_of_scope (a book, not an item of mathematics)Wikidata Q3518429, ProofWiki Book:Aryabhata_the_Elder/Aryabhatiya
Čech cohomology610E6YJC6YtopicopenWikidata Q1095535, EoM Čech_cohomology, nLab Čech cohomology
Śleszyński–Pringsheim theoremZAXJ2PHX80statementopenmathlib_1000 Q8081891, Wikidata Q8081891, thousand_plus Q8081891, Wikipedia Śleszyński–Pringsheim theorem
Α/α5CJ90WB07Wunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q9887, ProofWiki Symbols:Greek/Alpha
ΓF2R46HDT5Gunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14387, ProofWiki Symbols:Greek/Gamma
ΖTDYHEFZG6Aunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14394, ProofWiki Symbols:Greek/Zeta
ΗHCX826JZGZunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14396, ProofWiki Symbols:Greek/Eta
Θ/θ52ASYB7X4Cunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14398, ProofWiki Symbols:Greek/Theta
ΛDNCZC0Y7X3unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q10897, ProofWiki Symbols:Greek/Lambda
μ operatorS8VB28974PunknownopenWikidata Q307772, MathWorld Mu-Operator
μ-recursive functionTK0R173WKEunknownopenWikidata Q284164, EoM Recursive_function, MathWorld RecursiveFunction, nLab recursive function
Μ/μ9YPJGVDJBKunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q9902, ProofWiki Symbols:Greek/Mu
Ξ/ξFYYH4M1DK4unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14406, ProofWiki Symbols:Greek/Xi
Ο/ο18YA32SXZRunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14408, ProofWiki Symbols:Greek/Omicron
ΡKS1J7CF943unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14412, ProofWiki Symbols:Greek/Rho
ΣE8ZA87RFB6unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14413, MathWorld Sigma, ProofWiki Symbols:Greek/Sigma
σ-finite measureGKPQ7M6KK0definitionopenWikidata Q291430, ProofWiki Definition:Sigma-Finite_Measure
Τ3XV70YKG9Runknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14415, MathWorld Tau, ProofWiki Symbols:Greek/Tau
ΥB10PYV05KFunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14423, ProofWiki Symbols:Greek/Upsilon
Φ/φPZTXGJC3WVunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q10029, ProofWiki Symbols:Greek/Phi
Χ/χ6AARDKE71Cunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14425, ProofWiki Symbols:Greek/Chi
ΨQ8HHZ1H1CSunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q14432, ProofWiki Symbols:Greek/Psi
ω-mesonMYSKG2JEW4unknownopenWikidata Q424134, nLab ω-meson
Ω/ωHF27RW7GWZunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q9890, ProofWiki Symbols:Greek/Omega
א11NQ7KFE1Cunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q16725860, ProofWiki Symbols:Hebrew/Aleph
בB49KZFKF6Hunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q15049, ProofWiki Symbols:Hebrew/Beth
ג33ARVBANRFunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q15074, ProofWiki Symbols:Hebrew/Gimel
ד1ZM8594MSCunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q15080, ProofWiki Symbols:Hebrew/Daleth
“Surely You're Joking, Mr. Feynman!”3WY5AX4ZRKunknownout_of_scope (a book, not an item of mathematics)Wikidata Q2743592, ProofWiki Book:Richard_P._Feynman/Surely_You're_Joking,_Mr._Feynman!
“What Do You Care What Other People Think?”WW9BXQJ5SZunknownout_of_scope (a book, not an item of mathematics)Wikidata Q2712899, ProofWiki Book:Richard_P._Feynman/What_Do_You_Care_What_Other_People_Think?
†84YJYQF78MunknownopenWikidata Q282364, MathWorld Dagger
‡NGSKNHVBX6unknownopenWikidata Q87523318, MathWorld DoubleDagger
∇DC8288HDD6unknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q937750, ProofWiki Symbols:Nabla
∈TNQGPT1KZWunknownout_of_scope (a notation: the notation register holds it (corpus spec K10.4))Wikidata Q2221333, ProofWiki Symbols:Set_Theory/Element
−1804KHENA47statementopenWikidata Q310395, ProofWiki -1
∓W1G8VVWP6GunknownopenWikidata Q87524447, MathWorld MinusorPlus
∪2B793CRWHRunknownopenWikidata Q87524502, MathWorld Cup
◊FBN208Z7W3unknownopenWikidata Q13127755, MathWorld Lozenge
𝑛-tupleJY0E67FB59unknownopenWikidata Q600590, MathWorld n-Tuple
𝑝-group1WB316ECB3definitionnode (a node has the same Wikidata item as the row)Wikidata Q286972, EoM P-group, MathWorld p-Group, ProofWiki Definition:P-Group