| Ordered Grassmann expansion | TMBHK677BR | 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.06739#WP6H |
| ordered group | NCAF2NZ731 | definition | open | Wikidata Q2715875, EoM Ordered_group, EoM Partially_ordered_group, nLab ordered group, ProofWiki Definition:Ordered_Group, Wikipedia Partially ordered group |
| Ordered group | XRQDMEHHNV | definition | open | Wikipedia List of order theory topics#4UAN |
| Ordered lattice matching | T3SBAXB201 | 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.28503#LOCZ |
| ordered logic | DJQRXHR4J7 | definition | open | Wikipedia Glossary of logic#YRBR |
| Ordered logit | 2NRCBYMNND | definition | open | Wikipedia List of statistics articles#SZJW |
| Ordered logit | BDC2H648J5 | definition | open | Wikipedia Ordered logit, Wikidata Q7100713 |
| Ordered metalanguage | QRQZ09QBYB | unknown | open | Wikipedia Metalanguage#QF2D |
| ordered n-tuple | EG9817GE8J | definition | open | Wikipedia Glossary of logic#6D72 |
| ordered pair | ETYXJP0E7S | definition | node (a node has the same name as the row) | Wikidata Q191290, MathWorld OrderedPair, nLab ordered pair, Wikipedia Ordered pair |
| ordered pair | K0KGEKE70G | definition | open | Wikipedia Glossary of logic#UYSQ |
| 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 partition of a set | 61RSNAP9AA | definition | open | Wikipedia List of partition topics#94YH |
| Ordered probit | HJBK83FVS3 | definition | open | Wikipedia List of statistics articles#CYBV |
| ordered ring | JSK5SRQZGW | unknown | open | mathlib_overview General algebra > Rings > ordered ring, Mathlib IsOrderedRing |
| Ordered ring | MMFS6M50NQ | definition | open | Wikipedia Ordered ring, Wikidata Q3782642 |
| Ordered ring | ZKWA1CBV44 | definition | open | Wikipedia List of order theory topics#LFYF |
| ordered semigroup | MR6C8T21HN | definition | open | Wikidata Q7100714, EoM Ordered_semi-group, Wikipedia Ordered semigroup |
| 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 operators | WAQXV0BM64 | definition | open | Wikipedia Ordered set operators, Wikidata Q25303883 |
| 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 subset expectation maximization | CHS013X8E0 | definition | open | Wikipedia Ordered subset expectation maximization, Wikidata Q7100716 |
| Ordered subset expectation maximization | HM730C29AB | definition | open | Wikipedia List of statistics articles#CA9I |
| Ordered topological vector space | QZQ2N50JX4 | definition | open | Wikipedia Ordered topological vector space, Wikidata Q96397674 |
| 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 type | 3BPYGZY5HZ | unknown | open | Wikipedia Substructural type system#Z3HG |
| Ordered vector space | 3ZKWGSHB1E | definition | open | Wikipedia Ordered vector space, Wikidata Q1503340 |
| Ordered weighted averaging | MMP02XQZZ8 | definition | open | Wikipedia Ordered weighted averaging, Wikidata Q7100718 |
| Ordered-flow smoothing | HFEAJJM5VC | 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.20215#G6UI |
| 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 |
| Ordering cone | BCXM171B5F | unknown | open | Wikipedia Convex cone#NGDT |
| 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 approximation | T3DY45BBSF | definition | open | Wikipedia List of calculus topics#4FQG, Wikipedia List of numerical analysis topics#ZCFO |
| Orders of groups | GYE91DSX9B | example | open | napkin tex/H113/grp-intro.tex#example-14 |
| Orders of magnitude | 2AT936TGJY | definition | open | Wikipedia Orders of magnitude (volume), Wikidata Q3174802 |
| Orders of magnitude | F42KWDCWZE | definition | open | Wikipedia Orders of magnitude (area), Wikidata Q934338 |
| Orders of magnitude | PGY0QM0VFA | definition | open | Wikipedia Orders of magnitude (length), Wikidata Q855630 |
| Orders of magnitude | QKHMT930WA | definition | open | Wikipedia Orders of magnitude (entropy), Wikidata Q7100767 |
| Orders of magnitude | T0GQQH4THE | definition | open | Wikipedia Orders of magnitude (numbers), Wikidata Q1191085 |
| Orders of magnitude | ZH7HXSXK2B | definition | open | Wikipedia Orders of magnitude (probability), Wikidata Q17149558 |
| Orders of magnitude (less than one cubic millimetre) | W1HVYQRR6Z | unknown | open | Wikipedia Orders of magnitude (volume)#45FS |
| Orders of magnitude (one cubic gigametre and greater) | 6KT6RF11TE | unknown | open | Wikipedia Orders of magnitude (volume)#QHCW |
| Orders of magnitude (one cubic kilometre to one cubic megametre) | GA4SAKEC21 | unknown | open | Wikipedia Orders of magnitude (volume)#9AYC |
| Orders of magnitude (one cubic millimetre to one cubic metre) | 3ZF73JXFJF | unknown | open | Wikipedia Orders of magnitude (volume)#UT3V |
| ordinal | 1F40APMPRD | concept | open | hott_book index/C.3/ordinal |
| ordinal | 8K92QT2W00 | definition | open | Wikipedia Glossary of set theory#4YEL |
| ordinal | R8QZ7XDTS7 | concept | open | hott_book index/B.6/ordinal |
| ordinal addition | N0D2WDRM62 | unknown | open | Wikidata Q118133309, MathWorld OrdinalAddition |
| ordinal analysis | SH3N80CS6M | definition | open | Wikidata Q7100782, nLab ordinal analysis, Wikipedia Ordinal analysis |
| ordinal arithmetic | C4X3CDJ1HR | definition | open | Wikidata Q1142215, nLab ordinal arithmetic, Wikipedia 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 collapsing function | R7570RE03X | definition | open | Wikipedia Ordinal collapsing function, Wikidata Q7100784 |
| Ordinal data | 3TANWRB0SX | definition | open | Wikipedia Ordinal data, Wikidata Q7100785 |
| Ordinal definable set | NPCN8QVB6X | definition | open | Wikipedia Ordinal definable set, Wikidata Q384699 |
| 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 logic | 1GYH6F8VS7 | definition | open | Wikipedia Ordinal logic, Wikidata Q7100788 |
| Ordinal model | H1MX65JZTC | unknown | open | Wikipedia Ordinal data#E1FX |
| 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 notation | XXD6C71K76 | definition | open | Wikipedia Ordinal notation, Wikidata Q7100790 |
| 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, Wikipedia Ordinal number |
| Ordinal number | DMQZZW3WDD | definition | open | Wikipedia List of mathematical logic topics#CDIO, Wikipedia List of order theory topics#KBU8 |
| Ordinal number | F93V2N9NR7 | definition | open | Wikipedia List of paradoxes#0Q1K |
| Ordinal number | MAJJK3V3TX | definition | open | Wikipedia List of types of numbers#72V8 |
| Ordinal number | VQ81ZRZVP3 | definition | open | Wikipedia List of mathematical abbreviations#R6MJ |
| Ordinal number topology | NG5SKP59AY | definition | open | Wikipedia List of topologies#T2KO |
| Ordinal number topology | QZRBGVMKD4 | unknown | open | Wikipedia Order topology#WLYJ |
| Ordinal regression | FYGZNM7Y1Q | definition | open | Wikipedia List of statistics articles#Q9EL |
| Ordinal regression | TZSZ95TB7N | definition | open | Wikipedia Ordinal regression, Wikidata Q7100793 |
| 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 | CZTQGCWCRT | definition | open | Wikipedia Glossary of classical algebraic geometry#A86D |
| ordinary | NY85WRKEGV | definition | open | Wikipedia Glossary of invariant theory#4J0E |
| 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 | 24WQN4ZH33 | definition | open | Wikipedia Glossary of calculus#DFAX |
| Ordinary differential equation | AN8SNP7KQX | definition | open | Wikipedia List of partial differential equation topics#G6M9 |
| 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 | GYVGEAMWDN | definition | open | Wikipedia List of undecidable problems#8U6G |
| ordinary differential equation | H60XHBJQEM | definition | node (a node has the same name as the row) | Wikidata Q465274, EoM Differential_equation,_ordinary, MathWorld OrdinaryDifferentialEquation, ProofWiki Definition:Differential_Equation/Ordinary, Wikipedia Ordinary differential equation |
| ordinary differential equation | TJV052X7N9 | concept | open | lebl_ra index/9.3.1/ordinary-differential-equation |
| Ordinary Differential Equations | E49S8946XK | definition | open | Wikipedia Ordinary Differential Equations (textbook), Wikidata Q135111538 |