David Schrittesser

2 citations · 2 across the 3 of their papers we have counts for

collaborators

3 papers

math.LO2022★ 2 cited

Coding over Core Models

Sy David Friedman, Ralf Schindler, David Schrittesser

Early in their careers, both Peter Koepke and Philip Welch made major contributions to two important areas of set theory, core model theory and coding, respectively. In this articl…

math.LO2022

Lightface $Σ_{2}^{1}$ -indescribable cardinals

David Schrittesser

$Σ_{3}^{1}$ -absoluteness for ccc forcing means that for any ccc forcing $P$ , $H_{ω_{1}}^{V} ≺_{Σ_{2}} H_{ω_{1}}^{V^{P}}$ . " $ω_{1}$ inaccessible to reals" means that for any real $r$ , ${ω_1}…

math.LO2020

Maximal discrete sets

David Schrittesser

We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathc…

Coding over Core Models

Lightface Σ21​-indescribable cardinals

Maximal discrete sets

Lightface $Σ_{2}^{1}$ -indescribable cardinals