| open map | NZDHEM65DG | unknown | open | mathlib_overview Topology > General topology > open map, Mathlib IsOpenMap |
| Open mapping theorem | 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 mapping theorem | 39QKX7FTES | statement | open | Wikipedia Open mapping theorem (functional analysis)#9H2Z |
| Open mapping theorem | 4AQ9RGS2C8 | statement | open | Wikipedia Open mapping theorem (functional analysis)#F7OD |
| Open Mapping Theorem | AC5KM33RZT | statement | open | Wikipedia Webbed space#TZQ2 |
| Open Mapping Theorem | BRAFMMMR49 | statement | open | Wikipedia Webbed space#5GXY |
| Open mapping theorem | BSP1S854QB | statement | open | lebl_scv scv.tex#thm-30 |
| Open mapping theorem | DMGVQVPTVE | statement | open | Wikipedia Functional analysis#OBQH |
| Open mapping theorem | FXKVEN694N | statement | open | Wikipedia Open mapping theorem (functional analysis)#7VW0 |
| Open Mapping Theorem | JPRB61JKH1 | statement | open | Wikipedia Webbed space#QENU |
| Open mapping theorem | JX3DENWM7Z | statement | open | Wikipedia List of theorems#AG6V |
| Open mapping theorem | 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 | KMPVP41FQC | statement | open | Wikipedia Ursescu theorem#5B7B |
| open mapping theorem | QJPKTY6KM4 | concept | open | lebl_scv index/B/open-mapping-theorem |
| Open mapping theorem | VXM58DV133 | statement | open | Wikipedia Topological homomorphism#7HN1 |
| Open mapping theorem | YR1XRVCVTR | statement | open | Wikipedia Ursescu theorem#PUHU |
| Open mapping theorem | ZFWJJKH2DG | statement | open | Wikipedia Functional analysis#BVD7 |
| Open mapping theorem (functional analysis) | VP2Y31YB5R | statement | open | Wikipedia List of mathematical proofs#46GX, Wikipedia List of theorems#W0AN |
| Open mapping theorem for continuous maps | MEGNTJV449 | statement | open | Wikipedia Open mapping theorem (functional analysis)#J6VT |
| Open mapping theorems | THQE8AC37T | statement | open | Wikipedia Almost open map#NT3J |
| Open Mathematics | JXSF3FF7CA | definition | open | Wikipedia Open Mathematics, Wikidata Q859394 |
| 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 Newton–Cotes formulas | 8GPW67YDNF | statement | open | Wikipedia Newton–Cotes formulas#7GK1 |
| open pair | N2DJ5JQ44G | definition | open | Wikipedia Glossary of logic#4TQM |
| Open Polar Sea | F5F6DZQHGZ | unknown | open | Wikipedia List of superseded scientific theories#G3DS |
| Open problem | 5YG6E6XHD9 | statement | open | Wikipedia Location testing for Gaussian scale mixture distributions#IAUF |
| Open problem | E2AFK1ZN3X | statement | open | Wikipedia Babai's problem#EPO0 |
| Open problem | Q2D6R0G74E | statement | open | Wikipedia Van der Waerden's theorem#UN75 |
| open problem | QMCJTCMD7E | definition | open | Wikidata Q1321906, MathWorld UnsolvedProblems, Wikidata Q319141, nLab conjecture, ProofWiki Definition:Conjecture, Wikidata Q848034, Wikipedia Open problem, Wikipedia List of unsolved problems in mathematics, Wikipedia Conjecture |
| Open problem | V6657CPSYN | statement | open | Wikipedia Normal polytope#539C |
| Open problems | 1RX2WG5MJX | statement | open | Wikipedia Littlewood polynomial#3WNN |
| Open problems | 1SW4XZWEAK | statement | open | Wikipedia Transcendental number theory#NWKB |
| Open problems | 23WMF54EGJ | statement | open | Wikipedia Moufang loop#ZM0W |
| Open problems | 2P8ETVGJZ6 | statement | open | Wikipedia Limit cycle#CMD5 |
| Open problems | 3CVE8KFXSR | statement | open | Wikipedia Word-representable graph#EKN0 |
| Open problems | 3KCHJJR0JH | statement | open | Wikipedia Hyperfinite equivalence relation#VLA0 |
| Open problems | 4A5617W5EV | statement | open | Wikipedia Representation theory of the Lorentz group#NUMP |
| Open problems | 69T5R53H9J | statement | open | Wikipedia Graph coloring#QP7W |
| Open problems | 7T3G0THBFW | statement | open | Wikipedia Communication complexity#B3MR |
| Open problems | 9PH1S0S616 | statement | open | Wikipedia Comon's conjecture#CES0 |
| Open problems | BDY3TFMT78 | statement | open | Wikipedia Differential algebra#4P64 |
| Open problems | C0W4BHGY13 | statement | open | Wikipedia Fine grained complexity#FLI2 |
| Open problems | DSRJVNRDSD | statement | open | Wikipedia Edge coloring#ZJ6U |
| Open problems | E17D4ZRRPB | statement | open | Wikipedia Problems in Latin squares#3DGN |
| Open problems | EDF5WY2691 | statement | open | Wikipedia Matrix grammar#OCNF |
| Open problems | FATRQSWCQF | statement | open | Wikipedia Khinchin's constant#HYYU |
| Open problems | GA626V4AAT | statement | open | Wikipedia Reshetikhin–Turaev invariant#EG1O |
| Open Problems | HB75JPH85F | statement | open | Wikipedia Graph coloring game#Q204 |
| Open problems | K2PFB9EN9S | statement | open | Wikipedia K-theory (physics)#RQFM |
| Open problems | KXDXMHTDVJ | statement | open | Wikipedia Kerr metric#XMBJ |
| Open problems | N7TQ8VYSX6 | statement | open | Wikipedia L-system#8WE6 |
| Open problems | P22N7EJ475 | statement | open | Wikipedia Triameter (graph theory)#DZMN |
| Open problems | R8MZAFEJCP | statement | open | Wikipedia Quartic graph#ULZU |
| Open Problems | RAB7EHA213 | statement | open | Wikipedia Graph coloring game#HG1N |
| Open problems | RFQY8REVER | statement | open | Wikipedia Exponential field#UWIC |
| Open problems | V091WQXT0H | statement | open | Wikipedia Egyptian fraction#2020 |
| Open problems | WCGKHV345N | statement | open | Wikipedia Unavoidable pattern#JBTR |
| Open problems | WE79M9P5GX | statement | open | Wikipedia Johnson graph#F7KT |
| Open problems | WPX9P8JZ3E | statement | open | Wikipedia Theoretical physics#6C8Q |
| Open problems | Y9YFJ8HV03 | statement | open | Wikipedia List of conjectures#I4JX |
| Open problems | Z92N5RZQMY | statement | open | Wikipedia Yang–Mills theory#LC5A |
| Open problems | Z9VN4CN053 | statement | open | Wikipedia Graph coloring game#7Z2W |
| Open problems | ZRZPKNZF9R | statement | open | Wikipedia Canadian traveller problem#2NZX |
| Open Problems in Mathematics | N9DM0539DG | conjecture | open | Wikipedia Open Problems in Mathematics, Wikidata Q28859234 |
| Open property | EX11A98E5Z | definition | open | Wikipedia Glossary of general topology#YS96 |
| open quantum system | BB75YZ49D5 | definition | open | Wikidata Q2495111, nLab open quantum system, Wikipedia Open quantum system |
| Open questions | 38D7QRSJWC | statement | open | Wikipedia Prime number#1OFV |
| Open questions | 7AW937DF80 | statement | open | Wikipedia Language identification in the limit#TDNF |
| Open questions | 7WBTWGYP8T | statement | open | Wikipedia Eternal dominating set#7ACY |
| Open questions | B8AE4A167R | statement | open | Wikipedia Strong positional game#JC4M |
| Open questions | QEQES5ANMW | statement | open | Wikipedia Singmaster's conjecture#U23F |
| Open questions | W42VW99R3J | statement | open | Wikipedia Tetration#6URV |
| Open questions | XVPJ7WE6W6 | statement | open | Wikipedia D'Alembert's paradox#9UPM |
| Open questions | Y0H2EEAHTT | statement | open | Wikipedia Irrational number#M4J8 |
| Open questions | ZBNR7HDXGW | statement | open | Wikipedia Period (number theory)#0QWM |
| 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 | 1X0MP01Q8Q | definition | open | Wikipedia List of general topology topics#O2JQ |
| Open set | 3326VEW4RT | definition | open | Wikipedia List of real analysis topics#3HJ4, Wikipedia List of types of sets#DJGG |
| open set | FQVBTRK20K | concept | open | lebl_ra index/4.2.1/open-set |
| Open set | K1C9P0WZR1 | definition | open | Wikipedia Glossary of general topology#ZX3F |
| 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, Wikipedia Open set |
| Open set condition | D5WKJHK2VZ | statement | open | napkin tex/topology/metric-top.tex#thm:open_set |
| Open set condition | NKCFA62HFE | definition | open | Wikipedia Open set condition, Wikidata Q110933486 |
| 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 systems theory | JZX86BSV0M | unknown | open | Wikipedia List of types of systems theory#35KH |
| Open Technology Fund | ATV6Z3DD8W | definition | open | Wikipedia Open Technology Fund, Wikidata Q24910455 |
| open term | JGAJ77CJG5 | definition | open | Wikipedia Glossary of logic#HWRW |
| 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 Web Analytics | DH1DZY9467 | definition | open | Wikipedia Open Web Analytics, Wikidata Q7096285 |
| Open Whisper Systems | 2978Q5AWHP | definition | open | Wikipedia Open Whisper Systems, Wikidata Q16927748 |
| 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 |