For the chromatic number $\chi(G)$ of a simple, undirected graph, there is a "compactness" theorem by Erdos and De Bruijn stating that if an infinite graph $G$ has finite chromatic number, then there is a finite subgraph $G_0\subseteq G$ such that $\chi(G_0) = \chi(G)$.
For any simple, undirected graph $G=(V,E)$ we set $\text{col}(G) = \sup\{\delta(H): H\subseteq G\}+1$, where $\delta(\cdot)$ denotes the minimal degree. We have $\chi(G) \leq \text{col}(G)$ for any graph $G$. Does the compactness theorem above hold for $\text{col}(\cdot)$, that is, if $\text{col}(G)$ is finite, is there $G_0\subseteq G$ such that $\text{col}(G_0) = \text{col}(G)$?