Switch to: References

Add citations

You must login to add citations.
  1. Shortening clopen games.Juan P. Aguilera - 2021 - Journal of Symbolic Logic 86 (4):1541-1554.
    For every countable wellordering $\alpha $ greater than $\omega $, it is shown that clopen determinacy for games of length $\alpha $ with moves in $\mathbb {N}$ is equivalent to determinacy for a class of shorter games, but with more complicated payoff. In particular, it is shown that clopen determinacy for games of length $\omega ^2$ is equivalent to $\sigma $ -projective determinacy for games of length $\omega $ and that clopen determinacy for games of length $\omega ^3$ is equivalent (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The second-order version of Morley’s theorem on the number of countable models does not require large cardinals.Franklin D. Tall & Jing Zhang - 2024 - Archive for Mathematical Logic 63 (3):483-490.
    The consistency of a second-order version of Morley’s Theorem on the number of countable models was proved in [EHMT23] with the aid of large cardinals. We here dispense with them.
    Download  
     
    Export citation  
     
    Bookmark  
  • An undecidable extension of Morley's theorem on the number of countable models.Christopher J. Eagle, Clovis Hamel, Sandra Müller & Franklin D. Tall - 2023 - Annals of Pure and Applied Logic 174 (9):103317.
    Download  
     
    Export citation  
     
    Bookmark   1 citation