Talk:Weakly compact cardinal: Difference between revisions
→"A relatively convoluted definition"
Line 6:
* When \(\Gamma\) is a set of \(\mathcal L_{\omega,\omega}\)-sentences <u>of size \(\underline{<\aleph_0}\)</u>, if every subset of \(\Gamma\) of size \(<\aleph_0\) has a model, then \(\Gamma\) has a model.
* When \(\Gamma\) is a set of \(\mathcal L_{\kappa,\kappa}\)-sentences of size \(<\kappa\), if every subset of \(\Gamma\) of size \(<\kappa\) has a model, then \(\Gamma\) has a model.
where the change is the underlined part. Unless there is a source for it I am not sure about this statement. [[User:C7X|C7X]] ([[User talk:C7X|talk]]) 21:15, 29 August 2023 (UTC)
| |||