Switch to: References

Add citations

You must login to add citations.
  1. Constructible models of subsystems of ZF.Richard Gostanian - 1980 - Journal of Symbolic Logic 45 (2):237-250.
    One of the main results of Gödel [4] and [5] is that, if M is a transitive set such that $\langle M, \epsilon \rangle$ is a model of ZF (Zermelo-Fraenkel set theory) and α is the least ordinal not in M, then $\langle L_\alpha, \epsilon \rangle$ is also a model of ZF. In this note we shall use the Jensen uniformisation theorem to show that results analogous to the above hold for certain subsystems of ZF. The subsystems we have in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Taming Koepke's Zoo II: Register machines.Merlin Carl - 2022 - Annals of Pure and Applied Logic 173 (3):103041.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A characterization of Σ 1 1 -reflecting ordinals.J. P. Aguilera - 2021 - Annals of Pure and Applied Logic 172 (10):103009.
    Download  
     
    Export citation  
     
    Bookmark