Clarification of Lang Theorem 9.1
136943
A problem with a proof about formal series in Lang's Algebra
92802
Proof of Borsuk-Ulam Theorem .
99782
$a_{n+1}=|a_n|-a_{n-1} \implies a_n \; \text{is periodic}$
74792
$(X,\tau)$ needs to be $T_1$ in order to guarantee that $A'$ is closed?
137646
show that language $L'$ is regular (given $L$ regular)
139337
Ultrafilter Lemma implies Compactness/Completeness of FOL
34938
Recalling a theorem
148500
Understanding this theorem and how to go about proving it surjectivity?
128305
$PGL(n, F)=PSL(n, F)$
24478
What is the name of this theorem, and are there any caveats?
105221
Confusion about Satisfiability by a denumerable sequence.
111122
Proof of a theorem in Hilbert's system
81550
Linking two theorems: on algebraic closure and on minimal splitting field
137494
Why is "If ψ ∈ Γ then the sequent (Γ ⊢ ψ) is correct" true?
7813
In a complex vector space, $\langle Tx,x \rangle=0 \implies T = 0$
57545
Dini's Theorem - Proof.
101993
The cardinality of a language over a set of variables $V$ with $\#V= κ$