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 301–400 of 897.
| Name | Id | Kind | Outcome | Sources |
|---|---|---|---|---|
| One-window globalization | GRS3CT8PGR | 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.02721#6I93 |
| Onion Transport Lemma | P8EGZXA922 | 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.20391#VIEI |
| Online inference | H4GXGS6VFW | 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.12873#X0I2 |
| Online overidentification test | VE0JBA5JRW | 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.12873#4J36 |
| Online preservation | WDY59BMSNE | 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#UT4N |
| Online regret | N82EDXXVYH | 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.33291#1QLZ |
| Only arcs | HZH7MQJ8CF | 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.02219#FH5J |
| Only the side of one half matters | GKJ6E875BM | 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.21363#5WOZ |
| Ono's inequality | S59B47HH8R | statement | open | Wikidata Q1054182, MathWorld OnoInequality |
| Onsager | 8YXVEB7BYZ | 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.20910#V1PN |
| Onsager shift | 8EQQ8QYYPD | 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.06490#LU99 |
| onset and the gap, $\theta = 0$ | WDDXH0K1GQ | 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.00902#CZ62 |
| onto | 3YERT7V4BV | concept | open | levin_dmoi index/1.4.2/onto |
| onto | 9ZKBWHRWXB | concept | open | active_calculus index/2.6.2/onto |
| ontology | SBBXWADC22 | unknown | open | Wikidata Q44325, nLab ontology |
| open ball | 1ZCV4KF5WN | unknown | node (a node has the same name as the row) | Wikidata Q2921739, MathWorld OpenBall |
| Open castles | Z4S51CA2MR | 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.11143#YX9S |
| Open condition | 1XWRJVKF2P | 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.28024#FY1R |
| open cover | 1906G9J52Q | definition | node (a node has the same name as the row) | Wikidata Q41509136, MathWorld OpenCover, nLab open cover, ProofWiki Definition:Open_Cover |
| Open cover homology theorem | P2YN051E0A | statement | open | napkin tex/homology/long-exact.tex#thm:open_cover_homology |
| open formula | ZXW9JN7GH7 | unknown | open | Wikidata Q830486, MathWorld OpenSententialFormula |
| open interval | 5GNYRT1VXT | definition | open | Wikidata Q16690243, EoM Interval,_open, MathWorld OpenInterval, ProofWiki Definition:Interval/Ordered_Set/Open |
| Open Logic Project | T9YZ9MVE1S | unknown | open | Wikidata Q99732303, nLab Open Logic Project |
| open manifold | 9WTTGW6PPQ | concept | open | Wikidata Q56298741, MathWorld OpenManifold |
| open map | HF25B4ZJMH | unknown | open | Wikidata Q56653513, MathWorld OpenMap, nLab open map |
| open map | NZDHEM65DG | unknown | open | mathlib_overview Topology > General topology > open map, Mathlib IsOpenMap |
| Open mapping theorem | BSP1S854QB | statement | open | lebl_scv scv.tex#thm-30 |
| open mapping theorem | QJPKTY6KM4 | concept | open | lebl_scv index/B/open-mapping-theorem |
| Open mapping theorem (complex analysis) | JXKMWBGAJF | statement | node (a node has the same name as the row) | mathlib_1000 Q967972, Mathlib AnalyticOnNhd.is_constant_or_isOpen, Wikidata Q967972, thousand_plus Q967972, Wikipedia Open mapping theorem (complex analysis) |
| Open mapping theorem (functional analysis) | 140ZC6FRRP | statement | open | mathlib_1000 Q944297, Mathlib ContinuousLinearMap.isOpenMap, Wikidata Q944297, mathlib_overview Analysis > Normed vector spaces/Banach spaces > Banach open mapping theorem, mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Banach open mapping theorem, thousand_plus Q944297, Wikipedia Open mapping theorem (functional analysis) |
| Open mixed neighborhoods | 645RQP22X8 | 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.11793#RQNW |
| Open Morse--surgery theorem | R75FFFSANT | 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.30685#0IDL |
| open problem | QMCJTCMD7E | definition | open | Wikidata Q1321906, MathWorld UnsolvedProblems, Wikidata Q319141, nLab conjecture, ProofWiki Definition:Conjecture, Wikidata Q848034 |
| open quantum system | BB75YZ49D5 | unknown | open | Wikidata Q2495111, nLab open quantum system |
| Open restriction, gluing, monomorphic-cover locality | 852G05ZP3Q | 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#XRQP |
| open set | FQVBTRK20K | concept | open | lebl_ra index/4.2.1/open-set |
| open set | ZJWQG7TFXR | definition | node (a node has the same name as the row) | Wikidata Q213363, EoM Open_set, Mathlib IsOpen, MathWorld OpenSet, ProofWiki Definition:Open_Set |
| Open set condition | D5WKJHK2VZ | statement | open | napkin tex/topology/metric-top.tex#thm:open_set |
| Open set of a variety | 5DGJ05EESM | example | open | napkin tex/alg-geom/zariski.tex#example-3 |
| open set with smooth boundary | TKVZ88FT58 | concept | open | lebl_scv index/2.2/open-set-with-smooth-boundary |
| Open sets of synchronising reciprocal translations | Q2FC8D3PN1 | 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.15686#B5YF |
| open subscheme | DMS0HQ129F | definition | open | Wikidata Q123172161, nLab open subscheme, ProofWiki Definition:Open_Subscheme |
| Open subsets of $\CC$ | CDSKZ8AAJB | example | open | napkin tex/riemann-surface/complex-structure.tex#example-3 |
| Open thermal equilibrium | JSEPPRKAYX | 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 2503.08018#6TN0 |
| Open vertices and edges | SVBB2Q7ZVJ | 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.18312#5TEW |
| open, cut | Z9T3T9BV57 | concept | open | hott_book index/B.2/open-cut |
| open, problem | 1CY12AMHH9 | concept | open | hott_book index/u1.u8/open-problem |
| open, problem | 9HP46DTJYF | concept | open | hott_book index/7.10/open-problem |
| open, problem | BFJCZNZGZ8 | concept | open | hott_book index/6.7/open-problem |
| open, problem | SN0ZTYB1EK | concept | open | hott_book index/B.6/open-problem |
| open, problem | VWYBTMJACN | concept | open | hott_book index/4.4/open-problem |
| open, problem | ZQP9PE0BTS | concept | open | hott_book index/1.15/open-problem |
| open, relation | 2WCKNQ66W8 | concept | open | hott_book index/B.3.2/open-relation |
| Open-local submersion descent | JCQ4G6X7EQ | 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#YCD3 |
| OpenAI 2026+, weak inhomogeneous Duffin--Schaeffer conjecture | V4EMC4R321 | 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.15809#YPSK |
| operad | N9GTHJHKKZ | unknown | open | Wikidata Q842072, MathWorld Operad, nLab operad |
| operad | RM2PQ81Q3B | concept | open | hott_book index/1.1/operad |
| operand | 5ZQYXNMM4N | unknown | open | Wikidata Q719375, MathWorld Operand |
| operation, binary | TNKSDWYZZ5 | concept | open | applied_combinatorics index/B.7.1/operation-binary |
| operational calculus | 29VDRPS5SX | concept | open | Wikidata Q1162633, MathWorld HeavisideCalculus |
| operational semantics | GKBVPKTCA6 | unknown | open | Wikidata Q1930895, nLab operational semantics |
| operations | Q9573V90SH | concept | open | applied_combinatorics index/4.2.3/operations |
| operations research | E54HT3Z1AT | topic | open | Wikidata Q194292, MathWorld OperationsResearch, ProofWiki Definition:Operations_Research |
| operator | HXQDX4PSW6 | unknown | open | Wikidata Q131030, MathWorld Operator |
| operator | Z78GKV5VN8 | concept | open | lebl_diffyqs index/2.1.2/operator |
| operator algebra | FX49PNKK2M | unknown | open | Wikidata Q1892554, nLab operator algebra |
| Operator bound for constitutive flux | P1R2VKY7TW | 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.11034#UKP7 |
| Operator bounds | C5HXTN77KX | 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.29712#542A |
| Operator characterization of the Ward regime | SNTB8DCRTP | 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.20593#MMN8 |
| Operator energy of one round | 6D1ZW3Q4DX | 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.12641#MC4W |
| operator K-theory | 7R69K4MMD3 | unknown | open | Wikidata Q7097836, nLab operator K-theory |
| Operator networks with functional-calculus layers | 8NV1ER04H8 | 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.20106#HTF6 |
| operator norm | XQ2YBSPVWW | unknown | node (a node has the same name as the row) | Wikidata Q980557, MathWorld OperatorNorm |
| Operator norm of the Gram matrix | EDEYCBS3MV | 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.00453#AN0W |
| Operator norm of the residual | AZWRPRN5YA | 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.17717#BGFR |
| operator product expansion | DTVFYH98B8 | unknown | open | Wikidata Q3883909, nLab operator product expansion |
| Operator realization | DCZMK3V93Q | 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.04398#N7XV |
| operator space | VQSD4VB873 | topic | open | Wikidata Q7097841 |
| Operator span seminorm | ESF6E3VB6T | 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.14988#14QJ |
| Operator span seminorm | QENR95DQMF | 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.14988#A5NE |
| operator theory | 95DXJF280J | topic | open | Wikidata Q1198874, MathWorld OperatorTheory, ProofWiki Definition:Operator_Theory |
| operator topology | 9N8SMRT5JG | unknown | open | Wikidata Q2026614, EoM Operator_topology, nLab operator topology |
| operator, advancement | 5WP5CBFHET | concept | open | applied_combinatorics index/9.3/operator-advancement |
| operator, linear | 8A9HSK8VFM | concept | open | lebl_ra index/11.1.3/operator-linear |
| operator, linear | XMZT767JDA | concept | open | applied_combinatorics index/9.5/operator-linear |
| Operator-norm ball | BF0GYX5TP0 | 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.06653#TPBR |
| Operator-norm tails in linear dimension | TSAX582Y45 | 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.09206#D9A3 |
| operator-valued disc-algebra norm gaps | D52FSH480T | 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.27458#VKL4 |
| Operators with bounded $H^\infty$-functional calclulus | C84PJ4VQJ6 | 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.26382#T93R |
| opetope | NQBPS0YPN1 | topic | open | Wikidata Q48970630, nLab opetope |
| OPI is harder than one-bit LLR | GD9VBKTGEV | 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.12357#M1D1 |
| Opial | 3MT76BFME5 | 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.11440#3NQ0 |
| Opial's Lemma | HT0TM463K6 | 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.29552#RC9X |
| Opial's Lemma | MD8F0KBVH4 | 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.27974#LGRH |
| Opial's Lemma in , Lemma 2.47 | TEKBECA0JA | 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.02963#WHDS |
| Opposite algebras | YQ7P32KBBR | 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.39700#NMUH |
| opposite category | F6FHHGCFXR | definition | open | Wikidata Q7098616, nLab opposite category, ProofWiki Definition:Dual_Category |
| Opposite deterministic corner | FCABE7CM16 | 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.24931#UU2Y |
| opposite number | D2CTVNKGDN | unknown | open | Wikidata Q715358, MathWorld AdditiveInverse |
| Opposite oracle rare-risk orderings | 1HNFFJ9FMS | 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.16845#9I81 |