vix.ing · top · new · best · stats · spec

Stefan Hoffelner

  1. A universe with no ordinal-definable, stationary, co-stationary subset of ω1
    2017/07/12 by Stefan Hoffelner, Hoffelner, Stefan · 1 citation
    Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis