12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 29, 2024
Jump to navigationJump to searchadd a bit
Finally, in conformity with the use of fiber notation to indicate sets of models, it is natural to use notations like the following to denote sets of propositions that satisfy the umpires in question.
Finally, in conformity with the use of fiber notation to indicate sets of models, it is natural to use notations like the following to denote sets of propositions that satisfy the umpires in question.
{| align="center" cellpadding="8"
| <math>[| \alpha_i |]\!</math>
| <math>=\!</math>
| <math>(\alpha_i)^{-1}(1),\!</math>
|-
| <math>[| \beta_i |]\!</math>
| <math>=\!</math>
| <math>(\beta_i)^{-1}(1),\!</math>
|-
| <math>[| \Upsilon_p |]\!</math>
| <math>=\!</math>
| <math>(\Upsilon_p)^{-1}(1),\!</math>
|}
to denote sets of propositions that satisfy the umpires in question.
