R. Schindler

activity

19972022

most citedSquare principles in Pmax extensions

26 citations · 58 across the 31 of their papers we have counts for

collaborators

Showing 2017 · math.LOShow all

2 papers · 2 filters

math.LO2017

$Σ_{1} (κ)$ -definable subsets of $H (κ^{+})$

Philipp Lücke, Ralf Schindler, Philipp Schlicht

We study $Σ_{1} (ω_{1})$ -definable sets (i.e. sets that are equal to the collection of all sets satisfying a certain $Σ_{1}$ -formula with parameter $ω_{1}$ ) in the presence of large cardina…

math.LO2017★ 6 cited

Inner-model reflection principles

Neil Barton, Andrés Eduardo Caicedo, Gunter Fuchs +3

We introduce and consider the inner-model reflection principle, which asserts that whenever a statement $φ (a)$ in the first-order language of set theory is true in the set-theoreti…

Σ1​(κ)-definable subsets of H(κ+)

Inner-model reflection principles

$Σ_{1} (κ)$ -definable subsets of $H (κ^{+})$