Inventory: O
The rows of the inventory whose names start with O. 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.
- Other 25924
- A 5528
- B 4390
- C 7242
- D 4710
- E 5003
- F 4868
- G 4385
- H 4070
- I 1391
- J 3085
- K 3381
- L 1911
- M 4894
- N 3888
- O 897
- P 5460
- Q 3198
- R 4892
- S 6923
- T 5819
- U 1014
- V 3154
- W 3560
- X 2715
- Y 2835
- Z 2989
Rows 601–700 of 897.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| ordered pair | ETYXJP0E7S | unknown | node (a node has the same name as the row) | Wikidata Q191290, MathWorld OrderedPair, nLab ordered pair |
| Ordered pair | RHRPF83VM7 | definition | open | open_logic content/sets-functions-relations/sets/pairs-and-products.tex#wienerkuratowski |
| ordered pairs | GXXW9SRFBA | concept | open | applied_combinatorics index/B.3/ordered-pairs |
| ordered ring | JSK5SRQZGW | unknown | open | mathlib_overview General algebra > Rings > ordered ring, Mathlib IsOrderedRing |
| ordered semigroup | MR6C8T21HN | unknown | open | Wikidata Q7100714, EoM Ordered_semi-group |
| ordered set | JKG4YQ57KQ | unknown | open | Wikidata Q7994926, MathWorld OrderedSet |
| ordered set | P0JECX9DXH | unknown | open | mathlib_overview Data structures > Sets > ordered set, Mathlib Ordset |
| Ordered set partitions | G42S53DX98 | definition | record (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 1711.00219#3KAY |
| Ordered square | 6BV35K86KN | statement | record (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.18788#VOLW |
| Ordered Trace Manifold | GPXCQQM4CQ | definition | record (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.26337#EXQ6 |
| ordered tree | 4Z6THC6VT8 | unknown | open | Wikidata Q10396021, MathWorld OrderedTree |
| Ordered-square comparison | VP57P5SE2B | statement | record (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.27798#IZZN |
| Ordered-word product estimates | A3ABYF56GD | statement | record (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.06544#35D0 |
| Ordering | Z3C1AEQQY0 | statement | record (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.27765#XDWT |
| Orders and lattices | YS06YM0KRF | definition | record (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.30637#UH11 |
| Orders in the relevance | JX18QBJBPX | statement | record (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.14695#P8O4 |
| Orders of groups | GYE91DSX9B | example | open | napkin tex/H113/grp-intro.tex#example-14 |
| ordinal | 1F40APMPRD | concept | open | hott_book index/C.3/ordinal |
| ordinal | R8QZ7XDTS7 | concept | open | hott_book index/B.6/ordinal |
| ordinal addition | N0D2WDRM62 | unknown | open | Wikidata Q118133309, MathWorld OrdinalAddition |
| ordinal analysis | SH3N80CS6M | topic | open | Wikidata Q7100782, nLab ordinal analysis |
| ordinal arithmetic | C4X3CDJ1HR | unknown | open | Wikidata Q1142215, nLab ordinal arithmetic |
| Ordinal arithmetic is not commutative | N7XMP0KX0E | example | open | napkin tex/set-theory/ordinal.tex#example-6 |
| Ordinal coarse equilibrium at rate $O(1/T)$ | 1EW62VNA7F | statement | record (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.05428#DFH1 |
| Ordinal coarse variational equilibrium | BCX3MFN0FZ | definition | record (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.05428#ABO8 |
| Ordinal directional regret | ME8WSDEES0 | definition | record (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.05428#71IG |
| ordinal exponentiation | SFT0PEA2YV | unknown | open | Wikidata Q118133395, MathWorld OrdinalExponentiation |
| ordinal multiplication | 72HKGZ3A34 | unknown | open | Wikidata Q118133376, MathWorld OrdinalMultiplication |
| Ordinal multiplication is not commutative | 9EAGPN48PX | example | open | napkin tex/set-theory/ordinal.tex#example-7 |
| Ordinal Nash characterization | ZQXBJYVC1W | statement | record (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.05428#MLL5 |
| ordinal number | 5Y9MH092HR | definition | node (a node has the same name as the row) | mathlib_overview Logic and computation > Set theory > Ordinals > ordinal, Mathlib Ordinal, Wikidata Q191780, MathWorld OrdinalNumber, ProofWiki Definition:Ordinal |
| ordinal, plump | 8FF4ST3XN4 | concept | open | hott_book index/B.6/ordinal-plump |
| ordinal, plump | H0MWF6HSC0 | concept | open | hott_book index/C.5/ordinal-plump |
| ordinal, pseudo- | QKDSA76JAY | concept | open | hott_book index/B.6/ordinal-pseudo |
| ordinal, trichotomy of | GCGQ8WRMM1 | concept | open | hott_book index/C.4/ordinal-trichotomy-of |
| Ordinally robust CCE | ZFTWEG7GNC | statement | record (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.05428#GVAF |
| ordinals are boxes | 976HJ9GEQY | statement | record (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.01753#T1W2 |
| Ordinals are strictly ordered | 3F5AGJKD9Y | statement | open | napkin tex/set-theory/ordinal.tex#theorem-1 |
| Ordinals represent all order types | GMV0QRT9ZG | statement | open | napkin tex/set-theory/ordinal.tex#theorem-2 |
| ordinary and virtual boxes | 7QDB7VV276 | definition | record (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.01753#89FT |
| Ordinary diagonal corner presentation | BZH7366G2N | definition | record (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.11143#ZV22 |
| Ordinary differential equation | AV5C1NAKD3 | concept | open | lebl_diffyqs index/6.9/ordinary-differential-equation |
| ordinary differential equation | GTTCN8BM9N | concept | open | lebl_diffyqs index/6.8.2/ordinary-differential-equation |
| ordinary differential equation | H60XHBJQEM | topic | node (a node has the same name as the row) | Wikidata Q465274, EoM Differential_equation,_ordinary, MathWorld OrdinaryDifferentialEquation, ProofWiki Definition:Differential_Equation/Ordinary |
| ordinary differential equation | TJV052X7N9 | concept | open | lebl_ra index/9.3.1/ordinary-differential-equation |
| Ordinary fibers over valued fields | 51SWE5T4M3 | statement | record (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#TMST |
| Ordinary group equivariance | CM7395905G | example | record (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.25987#8OK6 |
| Ordinary Gushel--Mukai threefold | RKS6W0D9G6 | example | record (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.06669#78D1 |
| Ordinary occupation and interior local time | E2ZS4B8VWK | example | record (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.07380#N2B5 |
| Ordinary repetition | 51MD3CHDHT | statement | record (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.13556#T06G |
| Ordinary six-column values | FC3314SGJZ | statement | record (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#155R |
| Ordinary slopes below one at arbitrary weights | JTFE0PCH94 | statement | record (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#NVM9 |
| Ordinary split-Banach geometric iCFO | YNYQ2CR188 | statement | record (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.28220#YR5L |
| Ordinary terminal bases and the cell cap | P4WFDRZPTB | statement | record (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#XURZ |
| ordinate | DJY1EC8JQX | unknown | open | Wikidata Q500576, MathWorld Ordinate |
| Ore algebra | JK90KKS6F5 | unknown | open | Wikidata Q19598249, MathWorld OreAlgebra |
| Ore condition | QDDKDAN1G6 | concept | open | Wikidata Q986499, nLab Ore condition |
| Ore extension | Z6WWVJDXNV | concept | open | Wikidata Q7100975, nLab Ore extension |
| Ore's theorem | 6H31H94GHN | statement | node (a node has the same name as the row) | arXiv 2609.39593#0AEE, mathlib_1000 Q225973, Wikidata Q225973, thousand_plus Q225973, Wikipedia Ore's theorem |
| orientable manifold | JNCJM27K9Y | unknown | open | Wikidata Q116966067, MathWorld OrientableManifold |
| orientable surface | CW3MVTV0FC | unknown | node (a node has the same name as the row) | Wikidata Q116965911, MathWorld OrientableSurface |
| Orientation | GY6BRVY83K | statement | record (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.21662#RA6R |
| orientation | PW4JC7X5X3 | unknown | open | Wikidata Q7102401, MathWorld GraphOrientation |
| orientation | S3FFKM5TF0 | concept | open | Wikidata Q1052451, MathWorld ManifoldOrientation |
| orientation (vector space) | E842MFM3K7 | unknown | node (a node has the same Wikidata item as the row) | Wikidata Q107472979, MathWorld VectorSpaceOrientation |
| orientation of a $\R$-vector space | RHN54E1TC4 | unknown | open | mathlib_undergrad Linear algebra > Multilinearity > orientation of a $\R$-vector space, Mathlib Orientation |
| orientation of a vector bundle | MB5RG1F1RR | unknown | open | Wikidata Q19598250, MathWorld BundleOrientation |
| Orientation over a domain | C3GX2Y2DS1 | statement | record (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.21662#NJGB |
| Orientation reversal | W9KJH4FA3G | example | record (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 2303.09207#SH7L |
| Orientation theorem | P4ZFPEDZ29 | statement | record (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.04027#0L8W |
| Orientation-preserving extension | TGQ660A1BF | statement | record (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.04660#28W0 |
| Oriented CM packet | E512HARNNX | definition | record (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.26196#YZ0Z |
| Oriented CM-packet reciprocity | 8DM9EPXSZC | conjecture | record (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.26196#HQBS |
| Oriented Frobenius nonvanishing | RGAK5NKCWD | statement | record (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.26196#XALA |
| oriented graph | SSJN5DYMP5 | unknown | open | Wikidata Q94250127, MathWorld OrientedGraph, nLab oriented graph |
| Oriented KCM | 7081Z22JH7 | definition | record (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.30585#6YKJ |
| oriented matroid | 6DMXBR82MR | unknown | open | Wikidata Q16155113, MathWorld OrientedMatroid |
| Oriented varifold | 9D6XMEWXN0 | definition | record (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.05064#AIIV |
| orientifold | 459ZGX2VQP | unknown | open | Wikidata Q3356307, nLab orientifold |
| orientifold plane | 5A9SH8D0B6 | unknown | open | Wikidata Q3391351, nLab orientifold plane |
| Origin indicator | 9H073QC3V7 | statement | record (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.09341#GRWC |
| Original and reference observation laws | 5P3K5GM1X8 | definition | record (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.05498#9QWM |
| Original lower-bounding formulation | TJFM3TGBPE | unknown | open | arXiv 2610.20539#H9AQ |
| Original model | S2HF0P1XF6 | definition | record (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.09882#Q5H2 |
| Original rank-one-lower existence | PA7WYP98Q3 | statement | record (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.18788#JZRY |
| Original stationary distance | RN5AXFRJ5F | statement | record (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#27OE |
| Original-class small-gap matching, informal | NTTTWPE13T | statement | record (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.03633#RHIN |
| Original-comparator accepted-trial potential | ZP6NNX4M22 | statement | record (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#YLVJ |
| Original-law complex links | W4394CW6G0 | statement | record (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.05498#ZNTH |
| Original-law weighted links | M0TF6K70CE | statement | record (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.05498#55WU |
| Orlicz norm of a bounded integrable kernel | KZVG0BPCBS | statement | record (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.08074#7NH0 |
| Orlicz smoothing estimate | F3Y4R4TAM1 | statement | record (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.08074#LBSK |
| Orlicz space | FRWRMYDBN2 | definition | record (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.26645#29QD |
| Orlicz--H\"older inequality | NKHMRKM2W3 | statement | record (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.21717#NGSQ |
| Orlicz--Sobolev space | PG8RAX6KM2 | definition | record (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.26645#DP9G |
| Orlicz–Pettis theorem | 8NAX5GZSEW | statement | open | mathlib_1000 Q1621180, Wikidata Q1621180, thousand_plus Q1621180, Wikipedia Orlicz–Pettis theorem |
| Orlik--Solomon | R01GGJ0B4Q | statement | record (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.07280#RX54 |
| Ornstein theorem | FTJBAW37PE | statement | open | mathlib_1000 Q7103669, Wikidata Q7103669, thousand_plus Q7103669, Wikipedia Ornstein theorem |
| orthant | 6H8FK05G4V | unknown | open | Wikidata Q2714507, MathWorld Hyperoctant |
| orthic triangle | 33ACQ4KEM6 | unknown | open | Wikidata Q4337160, MathWorld OrthicTriangle |