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 1401–1500 of 2142.

NameIdKindOutcomeSources
Universal property of the limit operator systemWB8R71B7YBstatementrecord (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 2510.02019#JKPC
Universal property of the quotient operator systemSX60MV9CAEstatementrecord (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 2510.02019#OTFA
Universal property of truncationsZ6Y4JSE0ACstatementopenhott_book hlevels.tex#thm:trunc-reflective
Universal property, presented formBF4PECF4CVstatementrecord (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.28489#F09K
universal proposition6FVBKY121RdefinitionopenWikipedia Glossary of logic#KJH1
Universal psychometricsKCNKHY4DR8definitionopenWikipedia Universal psychometrics, Wikidata Q110712120
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 quadratic form86DVQHAMQYdefinitionopenWikipedia Universal quadratic form, Wikidata Q7894152
Universal quantification2X53QDAW22statementopenWikipedia Universal quantification#5VBV
universal quantification3XRQ9Q08MVdefinitionnode (a node has the same Wikidata item as the row)Wikidata Q126695, EoM Universal_quantifier, MathWorld UniversalQuantifier, nLab universal quantifier, Wikipedia Universal quantification
universal quantifierKGR3JVEXC4definitionopenWikipedia Glossary of logic#OLH3
universal quantifierX7ATTY6YZMconceptopenlevin_dmoi index/1.2.3/universal-quantifier
Universal quantum computer3098VGSB8BdefinitionopenWikipedia List of mathematical topics in quantum theory#56YZ
Universal quantum gateZHGQZRG86CunknownopenWikipedia Quantum logic gate#88FK
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 rhetoric656D034EY0definitionopenWikipedia Universal rhetoric, Wikidata Q7894159
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 scienceAG088ZQDNYdefinitionopenWikipedia Universal science, Wikidata Q2495640
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 setADCAEJFZWSdefinitionnode (a node has the same name as the row)Wikidata Q1378301, MathWorld UniversalSet, Wikipedia Universal set
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 spaceFZJAKS8C4GdefinitionopenWikidata Q20878963, MathWorld UniversalSpace, Wikipedia Universal space
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 Taylor series68SACWHHDDdefinitionopenWikipedia Universal Taylor series, Wikidata Q116205302
Universal Teichmüller spaceRF8ZBHGGXYdefinitionopenWikipedia Universal Teichmüller space, Wikidata Q7894083
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, Wikipedia Universal Turing machine
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 variableHHH6D7BKYWdefinitionopenWikipedia Glossary of logic#O2UI
Universal vertexWMTVHDMHV2definitionopenWikipedia Universal vertex, Wikidata Q26789594
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
Universality73543CT6GKdefinitionopenWikipedia Universality (dynamical systems), Wikidata Q2495574
Universality7AZY6ZG6QAstatementrecord (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.20431#PN51
universality classVM7EQMZYPCconceptopenWikidata Q25098515, MathWorld UniversalityClass, nLab universality class, Wikipedia 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
UniversalizabilityKMG0RDHTVJdefinitionopenWikipedia Universalizability, Wikidata Q7894189
universally708ZGNCD32definitionopenWikipedia Glossary of commutative algebra#YV5N
universallyRNKC3B2933definitionopenWikipedia Glossary of algebraic geometry#RN1D
Universally Baire setFP2VRAMY0BdefinitionopenWikipedia List of properties of sets of reals#YM5U
Universally Baire setVSTVYWPT4RdefinitionopenWikipedia Universally Baire set, Wikidata Q7894191
Universally measurable setC5W84SE94MdefinitionopenWikipedia List of properties of sets of reals#UCU6, Wikipedia List of types of sets#8VSW
Universally measurable setTYXXFEEXEMdefinitionopenWikipedia Universally measurable set, Wikidata Q7894192
universe1TM215FP1WconceptopenWikidata Q597663, ProofWiki Definition:Universe_(Set_Theory), Wikipedia Universe (mathematics)
universe4XQJY15SGRdefinitionopenWikipedia Glossary of category theory#LTXZ
universeQEJCDF4JJAdefinitionopenWikipedia Glossary of set theory#C445
universeRFWZM4F1PFdefinitionopenWikipedia List of forcing notions#PCJ4
universeRVGE8HR01HdefinitionopenWikidata Q1, ProofWiki Definition:Physical_Universe
Universe (mathematics)2PB0VRN8HBdefinitionopenWikipedia List of mathematical logic topics#WTMY
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 of discourseNYGNRP18M7definitionopenWikipedia Glossary of logic#64YI
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
Universidade do Rio Grande do SulQ1N663VT8FunknownopenWikipedia Federal University of Rio Grande do Sul#KRA8
University of California PressTDCHMA3YE2unknownopenWikipedia List of textbooks in thermodynamics and statistical mechanics#SAMG
University of California, RiversideWE0TZVYG0RunknownopenWikipedia List of schools for quantitative psychology#PXNN
University of Cape Town Mathematics CompetitionD9BEJQ5SR9definitionopenWikipedia List of mathematics competitions#1FG7
University of Chicago School Mathematics ProjectNY47DXGK3QdefinitionopenWikipedia University of Chicago School Mathematics Project, Wikidata Q7895261
University of GreifswaldCHTS3CDDP3unknownopenWikipedia List of things named after Felix Hausdorff#4XT1
University of Liverpool Mathematics SchoolB8C9D2FZZ9definitionopenWikipedia University of Liverpool Mathematics School, Wikidata Q111948833
University of MadrasNGKQ5H2FXYunknownopenWikipedia List of things named after Srinivasa Ramanujan#6L7C
University of Malaya in Singapore452ST5X54MunknownopenWikipedia National University of Singapore#SIM6
University of Massachusetts LowellTNRAWTNAKCunknownopenWikipedia List of polling organizations#96XF