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

Hoffelner, Stefan

  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 #math.LO
  2. Forcing Axioms and the Definabilty of the Nonstationary Ideal on ω1
    2022/08/10 by Hoffelner, Stefan, Larson, Paul, Schindler, Ralf +1 · 1 citation
    #03E35 #03E45 #03E47 #03E55 #03E57 #FOS: Mathematics #Logic (math.LO)