Switch to: References

Add citations

You must login to add citations.
  1. The order of reflection.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1555-1583.
    Extending Aanderaa’s classical result that $\pi ^{1}_{1} < \sigma ^{1}_{1}$, we determine the order between any two patterns of iterated $\Sigma ^{1}_{1}$ - and $\Pi ^{1}_{1}$ -reflection on ordinals. We show that this order of linear reflection is a prewellordering of length $\omega ^{\omega }$. This requires considering the relationship between linear and some non-linear reflection patterns, such as $\sigma \wedge \pi $, the pattern of simultaneous $\Sigma ^{1}_{1}$ - and $\Pi ^{1}_{1}$ -reflection. The proofs involve linking the lengths of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation