I am using the package amsthm to type my assignments and I have encountered the following problem. Here's the code I use:
\newtheorem{claim}{Claim}
:
:
\begin{enumerate}
\item
\begin{claim}
$lefthalf(L) := \{w_1 : \exists w_2 \in \Sigma^*.w_1w_2 \in L.|w_1| = |w_2|\}$.
\end{claim}
\item
{\textbf{Claim 1.}} $lefthalf(L) := \{w_1 : \exists w_2 \in \Sigma^*.w_1w_2 \in L.|w_1| = |w_2|\}$.
\end{enumerate}
This gives the following result:

As you can see in (a), the claim begins on the second line. I would like my claim to be as in (b) where I simulate the style I want. Is there any way I could get rid of this extra newline occuring when I use newthm in a list? I have tried to change theoremstyle but couldn't get it to work.
Any ideas on how to solve this problem?
Thanks a lot.
enumerateand then a theorem-like environment, the latter has a counter already(a) Claim 1seems somewhat redundant. It would be better to drop theenumerateor not to use theclaimenvironment. – moewe Sep 11 '13 at 17:37\mathit{lefthalf}for a multiletter variable or function name. – egreg Sep 11 '13 at 17:41