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 1–100 of 29490.

NameIdKindOutcomeSources
!W8E69PWNCFdefinitionopenWikipedia Glossary of mathematical symbols#BARU
!!^{bijection}T37TNCTXYTdefinitionopenopen_logic content/sets-functions-relations/functions/function-kinds.tex#defn-3
!!^{derivability}1KAEG2MKH7definitionopenopen_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#defn-2
!!^{derivability}4MXGNHDJR0definitionopenopen_logic content/many-valued-logic/sequent-calculus/rules-and-proofs.tex#defn-4
!!^{derivability}EDCVED3K02definitionopenopen_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-3
!!^{derivability}JY6TYDYJW5definitionopenopen_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#defn-2
!!^{derivability}K9Y6G27AXQdefinitionopenopen_logic content/first-order-logic/sequent-calculus/proof-theoretic-notions.tex#defn-2
!!^{derivability}P3S7662PNZdefinitionopenopen_logic content/intuitionistic-logic/introduction/axiomatic-derivations.tex#defn-1
!!^{derivability}PVQJKYAN8Sdefinitionopenopen_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#defn-2
!!^{derivability}XNBGFAQRJPdefinitionopenopen_logic content/first-order-logic/axiomatic-deduction/rules-and-proofs.tex#defn-1
!!^{derivability}XSDRQGZ37Bdefinitionopenopen_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#defn-1
!!^{derivability}XSP0V3V9RMdefinitionopenopen_logic content/first-order-logic/axiomatic-deduction/rules-and-proofs.tex#defn-3
!!^{derivation}ECMG72PQSRdefinitionopenopen_logic content/first-order-logic/natural-deduction/derivations.tex#defn-1
!!^{injective} functionH1YP2N3D2Sdefinitionopenopen_logic content/sets-functions-relations/functions/function-kinds.tex#defn-2
!!^{main operator}ERZHKMWF6Ddefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/main-operator.tex#def:main-op
!!^{structure}sH2ZX05EQDDdefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/structures.tex#defn-1
!!^{subformula}QZP4RF8DNSdefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#defn-3
!!^{surjective} function7Q3Q4ASVF0definitionopenopen_logic content/sets-functions-relations/functions/function-kinds.tex#defn-1
!!^{tableau}SJKRX95SCXdefinitionopenopen_logic content/first-order-logic/tableaux/derivations.tex#defn-1
!!^{valuation}sBZQR0T53RCdefinitionopenopen_logic content/propositional-logic/syntax-and-semantics/valuations-sat.tex#defn-1
!!^{valuation}sXVR7AHRQPRdefinitionopenopen_logic content/many-valued-logic/syntax-and-semantics/valuations-sat.tex#defn-1
!!^{value} of closed termsTJ0BBFBT7Bdefinitionopenopen_logic content/first-order-logic/syntax-and-semantics/covered-structures.tex#defn-1
!!^{value} of TermsVXSS94KFQ5definitionopenopen_logic content/first-order-logic/syntax-and-semantics/satisfaction.tex#defn-2
!:!9DQ34ZTVFTdefinitionopenWikipedia Glossary of mathematical symbols#VE3G
!=NM08D5E787unknownopenWikipedia Equals sign#P4H8
!□!3HTBC88Z98definitionopenWikipedia Glossary of mathematical symbols#6RMH
"Babbage principle"TSFZ4ETT64statementopenWikipedia Charles Babbage#LP9V
"Fido"-Fido principleHXT7CVXPSDdefinitionopenWikipedia Glossary of logic#UMP3
"Gluing=Composition"9893S35KSBstatementrecord (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.10078#0LH1
"Goodbye Pareto Principle"FH27X38KJ0statementopenWikipedia Long tail#YFE6
"is" of identityCTQNXEWJ4EdefinitionopenWikipedia Glossary of logic#6MPY
"is" of predicationYA2XPV7B5DdefinitionopenWikipedia Glossary of logic#TOMB
"Propositions as types"FQ68AQ9KCFstatementopenWikipedia Homotopy type theory#BHL8
"Quod erat demonstrandum"WMHN7N025CdefinitionopenWikipedia List of mathematical abbreviations#17D0
"uniform cost model"F1CY2ZJ5JSunknownopenWikipedia Analysis of algorithms#SO9Y
"Weak=Strong" theorems4FCQF06S5DstatementopenWikipedia Mollifier#B4F4
"Zipper rift" hypothesis6AFT1KDXPSstatementopenWikipedia Snowball Earth#S2SX
#1H372HKRRFDconceptopenhott_book index/9.u2/1
$ 1 \ll \log(M) \ll N $ and $ \log(L) \ll N $NWVE799YRWstatementrecord (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 2405.10580#MO4T
$( \Ucal, \kappa, \rho)$-uniform-stability8Y7S9JYNXTdefinitionrecord (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.22338#YLJO
$(-3)$-sieve; quadratic reciprocity7RBSV4G4QWstatementrecord (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 2606.18859#6QWF
$(0, 2)$ is a smooth $1$-manifoldYA193Q30CKexampleopennapkin tex/riemann-surface/complex-structure.tex#example-2
$(0, 2)$ is a topological $1$-manifoldTSR3SXZ57Wexampleopennapkin tex/riemann-surface/complex-structure.tex#example-1
$(3)\inv$ in $\ZZ$T9DNMFSSP2exampleopennapkin tex/alg-NT/dedekind.tex#example-6
$(\bla,A)$-plankG93R98W8RCdefinitionrecord (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#Q5C9
$(\ell, s, B)$-Sequential Sampling Algorithm56RJGYMTCKdefinitionrecord (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.14615#YKCX
$(\epsilon,\delta)$-repetition budgetSRZ8TQPXPBdefinitionrecord (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.10795#G8OV
$(\eta,\delta)$-approximate covering numberTZ6FHYEXB1definitionrecord (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.11834#RB94
$(\infty,1)$-category3RTDNZ5HHRconceptopenhott_book index/8.4/infty-1-category
$(\infty,1)$-category7NDY7QTE7Fconceptopenhott_book index/2.9/infty-1-category
$(\infty,1)$-category90PV88Q9T1conceptopenhott_book index/2/infty-1-category
$(\infty,1)$-categoryD816XH3Q8Xconceptopenhott_book index/6.3/infty-1-category
$(\infty,1)$-categoryVK7TDCMNNZconceptopenhott_book index/3.9/infty-1-category
$(\infty,1)$-categoryYJPWHBA04Yconceptopenhott_book index/1.15/infty-1-category
$(\infty,1)$-topos71C3B8B34Qconceptopenhott_book index/5.12/infty-1-topos
$(\infty,1)$-topos767KPAFYKHconceptopenhott_book index/6.7/infty-1-topos
$(\infty,1)$-toposG0D1NDRTX6conceptopenhott_book index/7/infty-1-topos
$(\infty,1)$-toposGDA31FS5TXconceptopenhott_book index/7.8/infty-1-topos
$(\infty,1)$-toposM6E2715NF7conceptopenhott_book index/2.9/infty-1-topos
$(\infty,1)$-toposQ3K28RARBVconceptopenhott_book index/7.7.2/infty-1-topos
$(\infty,1)$-toposY7YB4XN3Z2conceptopenhott_book index/u1.u8/infty-1-topos
$(\infty,1)$-toposZ41KN0Y3MMconceptopenhott_book index/3.8/infty-1-topos
$(\infty,1)$-topos, non-hypercompleteXDZTFGREN7conceptopenhott_book index/7.8/infty-1-topos-non-hypercomplete
$(\mu,k)$-approximate differentialRGWBG1BZPQdefinitionrecord (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.24451#NRQE
$(\mu^{|N},M_0)$-smooth functionsNCX4YCT9Y6definitionrecord (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.21725#RLIH
$(A,L)$-umbrellaBXVQPYCP6Tdefinitionrecord (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.12330#XY05
$(a_i, b_i, w_i)$-bounded growthRA46MNDHYHdefinitionrecord (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 2203.10220#NCWW
$(B, \gamma,\delta)$-Quantum Decoding ProblemFF3FJ4FRC7definitionrecord (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.40345#FXYY
$(F,n)$-decision, cf. Lemmas 1.5--1.83F6M94NFQCstatementrecord (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.35180#5A87
$(G, \mu)$-aperturesKNM8027ENAdefinitionrecord (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.33808#9AM5
$(G, X)$-modulesJJEJ24E9HBdefinitionrecord (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.15432#GVGT
$(H, \beta,\eps)$-Gibbs Sampling Problem2WYHZY1WPAdefinitionrecord (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.40345#EREQ
$(h,\nu)$-perturbationN0CVP2WGSQdefinitionrecord (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.30559#HLIK
$(k,\delta)$-symmetry78T2QQ4EV0definitionrecord (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.26592#KZ5E
$(k,r)$-cubical complexRBQJHC2N99definitionrecord (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.00525#OA40
$(L_0,L_1)$-LipschitznessBDKKHJSSKVdefinitionrecord (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.26581#SH5U
$(q,d,z)=(5,2,2)$B0RDKEQ66Pexamplerecord (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.26055#F4OR
$(sn,n)$-Dyck PathZA3Y2BJWWAdefinitionrecord (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.07671#WU7Z
$(sn,n)$-Dyck Path AreaHZJ54ZVPRFdefinitionrecord (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.07671#TF7Y
$(z-i)^{-3} \cdot (z-\infty)^{-4}$ as a divisorAE1G6F483Vexampleopennapkin tex/riemann-surface/riemann-roch.tex#example-3
$(z^2+i)$-gluing data468F185G9Xexamplerecord (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.35102#3XDM
$*$-locality, $*$-extensivityNG334J64AYdefinitionrecord (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.25188#M0I1
$0$-incompressibility79YP9A2F8Qstatementrecord (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.09422#RXDX
$0$-incompressibilityW8ZHR9SM54definitionrecord (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.09422#7Y2W
$0$th order estimateCT6F0KRM5Hstatementrecord (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 2112.14455#OCDF
$1$-density3GRWZR55XWdefinitionopennapkin tex/diffgeo/forms.tex#definition-5
$1$-rectifiability of limit varifoldsE97A8GSG6Mstatementrecord (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.24451#A6LD
$1-\delta$)-confident RSOA computationENBFQBZJY2problemrecord (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 2601.01076#BXFN
$1-e^{-\gamma}$ barrierVFDP09KGM1statementrecord (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.24569#UNNA
$2$-category of elementsFVNERMWY66definitionrecord (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 2302.04566#EMHX
$2$-incompressibility16GK7QK1CZdefinitionrecord (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.09422#3GJK
$3\times 6$ caseETRPBNPT1Fexamplerecord (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.13291#KS2B
$3\times5$ caseVMKVNQ60H2statementrecord (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.13291#6VIT
$3\times5$ caseW2QTQB6R8Eexamplerecord (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.13291#GQ1J
$3\times6$ case1PP67FRDB4statementrecord (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.13291#UJ3E
$8$-corner exactness32B4H8GB5Xstatementrecord (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.14050#L9A6
$8$-corner exactness5B3WKCZZDYstatementrecord (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.14051#VAWU
$8\pi$ obstruction8ST35W6QNBstatementrecord (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.02714#OIUX
$\AaL(1,p^d)$8NWNQC1KD3statementrecord (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.15340#3LMK
$\AGL(1,p^d)$RVVTTF9S84statementrecord (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.15340#BZ14