Math 2.0

Inventory: U

The rows of the inventory whose names start with U. 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 801–900 of 1014.

NameIdKindOutcomeSources
Universal pure-pair cup product7BJ7E8FA55statementrecord (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#G4GF
Universal pure-pair surjectivitySPBCCGPT9Mstatementrecord (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#IZWN
universal quantification3XRQ9Q08MVunknownnode (a node has the same Wikidata item as the row)Wikidata Q126695, EoM Universal_quantifier, MathWorld UniversalQuantifier, nLab universal quantifier
universal quantifierX7ATTY6YZMconceptopenlevin_dmoi index/1.2.3/universal-quantifier
Universal radial central limit theoremRH6CCTG158statementrecord (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.27752#8COG
Universal rank certificate8Y89GX8ANPstatementrecord (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.02407#OG2W
Universal rotation floorCERTGED09Mstatementrecord (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.00295#JOU6
Universal second-order service criterionB2KXP44WXMstatementrecord (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.25084#E8ZX
universal sentenceZ45D7RGSRNunknownopenWikidata Q141488365, MathWorld UniversalSentence
universal setADCAEJFZWSunknownnode (a node has the same name as the row)Wikidata Q1378301, MathWorld UniversalSet
Universal signPBSK9QM9J2statementrecord (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.06480#ATHB
Universal single-letter constrained capacity7HTYHX5N55definitionrecord (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.05712#RK5D
Universal small-dispersion asymptotics near the gradient catastrophe point, \protectVN3D6P38Q2statementrecord (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.00770#127W
Universal small-dispersion asymptotics near the harmonic edge, \protectJYQ89FN40Pstatementrecord (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.00770#YV2O
Universal small-dispersion asymptotics near the soliton edge, \protectS5GXS2Q1PRstatementrecord (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.00770#T8OI
Universal source-rate-free lower bound and RDC upper boundKQKDHDCR9Wstatementrecord (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.31607#N1KT
Universal source-rate-free M-costZJ4BFNN7JJdefinitionrecord (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.31607#OYO8
universal spaceFZJAKS8C4GunknownopenWikidata Q20878963, MathWorld UniversalSpace
Universal splitting function1NS4AYYMGEdefinitionrecord (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.05652#6FQS
Universal splitting identityA09WQS2D4Xstatementrecord (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.05652#AX7G
Universal support expansionXWSA2J62H5statementrecord (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.14373#NJX8
Universal trace identitiesYJEYZWJ63Bstatementrecord (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.12326#NMSV
universal Turing machine6HDAEY63HKconceptopenWikidata Q2703890, MathWorld UniversalTuringMachine
Universal upper bound4ZZC2ZGP84statementrecord (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.40054#6I3O
Universal upper bound66DZZVJSV6statementrecord (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.01328#VIWP
universal, cover1Q7AXTD6NFconceptopenhott_book index/7.1.3/universal-cover
universal, cover6T0WA3NZV6conceptopenhott_book index/7.1.2/universal-cover
universal, propertyB5Y3MRJSAJconceptopenhott_book index/1.15/universal-property
universal, property, of $\Sn^1$1BN9KZPBX6conceptopenhott_book index/5.2/universal-property-of-sn-1
universal, property, of $\Sn^n$PFCYXAQ8HFconceptopenhott_book index/5.5/universal-property-of-sn-n
universal, property, of $\w$-typeD3182HSHKSconceptopenhott_book index/8.4/universal-property-of-w-type
universal, property, of a modalityTZDMCTDM0Yconceptopenhott_book index/6.7/universal-property-of-a-modality
universal, property, of cartesian productHTAPHPVA1Xconceptopenhott_book index/1.15/universal-property-of-cartesian-product
universal, property, of coproductZ9HQ1KE615conceptopenhott_book index/1.15/universal-property-of-coproduct
universal, property, of dependent pair typePRZ6J3Q3YZconceptopenhott_book index/5.12/universal-property-of-dependent-pair-type
universal, property, of dependent pair typeY1QC1S7MFCconceptopenhott_book index/1.15/universal-property-of-dependent-pair-type
universal, property, of free group6CK1TSFPKQconceptopenhott_book index/5.11/universal-property-of-free-group
universal, property, of identity typeE9VDM2GXP1conceptopenhott_book index/1.15/universal-property-of-identity-type
universal, property, of metric completion17WKJK5P83conceptopenhott_book index/B.6/universal-property-of-metric-completion
universal, property, of natural numbersWVM46T5JNJconceptopenhott_book index/8.4/universal-property-of-natural-numbers
universal, property, of pushoutRCAVZXV1QHconceptopenhott_book index/5.8/universal-property-of-pushout
universal, property, of pushoutSH587Q830Jconceptopenhott_book index/5.9/universal-property-of-pushout
universal, property, of pushoutYPE2MKH3M4conceptopenhott_book index/6.4/universal-property-of-pushout
universal, property, of Rezk completion1SWBJT5MNSconceptopenhott_book index/2.9/universal-property-of-rezk-completion
universal, property, of set-coequalizerK2WSNRKVSDconceptopenhott_book index/C.1.2/universal-property-of-set-coequalizer
universal, property, of suspension87BFK8TTWDconceptopenhott_book index/5.5/universal-property-of-suspension
universal, property, of truncationG8VR27WTQVconceptopenhott_book index/6.3/universal-property-of-truncation
universal, property, of truncationYAZXCBC6NHconceptopenhott_book index/5.9/universal-property-of-truncation
universality classVM7EQMZYPCconceptopenWikidata Q25098515, MathWorld UniversalityClass, nLab universality class
Universality of online discrepancyMKPYMZA6FSstatementrecord (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.00103#1XVD
universe1TM215FP1WconceptopenWikidata Q597663, ProofWiki Definition:Universe_(Set_Theory)
universeRVGE8HR01HdefinitionopenWikidata Q1, ProofWiki Definition:Physical_Universe
universe level3BPZVE9E1Wconceptopenhott_book index/2/universe-level
universe level6EZ3C41GDWconceptopenhott_book index/B.2/universe-level
universe level80BP4EQE2Dconceptopenhott_book index/C.4/universe-level
universe levelWKW0BGY9SWconceptopenhott_book index/C.3/universe-level
Universe PER $\Uc_i$P37NSPK9VXdefinitionrecord (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.21131#LHTV
Universe Term Predicate $\textsf{Univ}_{i,j}^{\El}$5TBFAKJW2Bdefinitionrecord (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.21131#VC4X
Universe Type Predicate $\textsf{Univ}_{i,j}$H2ZY4E4P6Ydefinitionrecord (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.21131#3YR1
unknotCZ4PZSG5CNunknownopenWikidata Q1188344, MathWorld Unknot, nLab unknot
unknotsSM5Z78MBY9examplerecord (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.18803#PILN
Unknotting numberA6D1D4G3J4definitionrecord (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.10206#DPYO
unknotting numberQCM0RAAED5unknownopenWikidata Q7896949, MathWorld UnknottingNumber, nLab unknotting number
Unknotting number of positive torus links7RR2SJBQESstatementrecord (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.10206#C3ZA
Unknotting number of simply-linked linksTTAJXCWEQEstatementrecord (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.10206#DDLJ
Unknown nonsmooth regularity8CP12BYXCNstatementrecord (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.15202#NT8O
Unknown population smoothness1NT4QG12VPstatementrecord (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.15202#XL2Y
Unknown variance and original distance1HYV67PQW5statementrecord (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.15202#8IQI
Unknown-drift adaptation over joint memoriesMAR44KBQ0Gstatementrecord (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.15543#X67I
Unknown-spectrum cloner fidelity and compact-set optimumECWCP0QMVCstatementrecord (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#P9U8
unlabeled sensing and real phase retrieval1J4YQJRGF6statementrecord (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 2006.05158#QCBK
unlink61ASXBN62BunknownopenWikidata Q2791199, MathWorld Unlink
Unmatched-sink regimesQ7H7R8VC04statementrecord (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.25039#5LUZ
Unnormalized randomized STORMF5ZES2BZ8Pstatementrecord (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.13789#QIR1
Unordered DPP descent datum33521ZXTJGdefinitionrecord (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.27799#4S4X
unordered pair8RTB58KFDPunknownopenWikidata Q1477744, MathWorld Pair, nLab unordered pair
Unoriented tangloid categoryDMPEWV7KQKdefinitionrecord (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.37524#KRJ0
Unramified caseX2XAQCAC5Sstatementrecord (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.10583#M1DT
unramified morphismN8RYPTETX6unknownopenWikidata Q85812355, nLab unramified morphism
Unramified norm, trace, and conductor compatibilityBQ7HB5HJMVstatementrecord (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.10583#7F2E
unravelling the presentationW3RRM5EM7Fstatementrecord (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.32733#TQ4S
Unregularized exact TD--PMD1293VW8W7Tstatementrecord (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.39837#UTK5
Unregularized value boundGKABT4RC6Bstatementrecord (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.04638#JTH5
Unrestricted algorithm reduction of the activated BG-$a$ chain9MSX5SCPC1statementrecord (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.02355#00F8
Unrestricted asymptotic comparisonK4EBSKS0GMstatementrecord (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.05442#3GYV
Unrestricted balanced Bellman inequalityQJ5BT2JVMAstatementrecord (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.24931#8VO9
Unrestricted Bellman theorem implies balanced CKJG8KKQHXAPstatementrecord (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.24931#HRLO
Unrestricted curvature-controlled contraction and deficit9WR4MPPB4Ystatementrecord (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.38228#Q3ZR
Unrestricted differential induction28XVC37ABNstatementrecord (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.24931#P887
Unrestricted feasibilityFK8HHZ6XVCstatementrecord (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.24931#KDIT
Unrestricted transform limitsHT5GR6HT2Hstatementrecord (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.02531#T5XH
Unsigned and signed marked boundsJXM3J8YZ25statementrecord (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.18884#CYDQ
Unsolvability of the Halting ProblemTG5SSXE341statementopenopen_logic content/turing-machines/undecidability/halting-problem.tex#thm:halting-problem
Unstability of the periodic orbit $13223122$JNMZE1QW0Pstatementrecord (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 2512.24812#IB09
unstableEMJS3R3NEXconceptopenactive_calculus index/7.2.3/unstable
unstable critical pointZ2ZGW6MNP6conceptopenlebl_diffyqs index/4.6/unstable-critical-point
Unstable observables encode treesY2VMDHP7JJstatementrecord (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.11002#SY9D
Unstopped pair contractionEQMZTK68TMstatementrecord (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.21268#ZY5F
Untangled families of curves and Lagrangian representationsCJYVFYVA4Sdefinitionrecord (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.17129#QMM3
untouchable numberPEECP8G6Y4unknownopenWikidata Q1193504, MathWorld UntouchableNumber, OEIS A005114