Talk:Weakly compact cardinal: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
No edit summary |
|||
Line 4: | Line 4: | ||
Then there is only one major change between the compactness theorem and the weak compactness property: |
Then there is only one major change between the compactness theorem and the weak compactness property: |
||
* When \(\Gamma\) is a set of \(\mathcal L_{\omega,\omega}\)-sentences <u>of size \(<\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_{\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. |
* 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 |
where the change is the underlined part. [[User:C7X|C7X]] ([[User talk:C7X|talk]]) 21:15, 29 August 2023 (UTC) |