15 citations · 26 across the 27 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
math.LO2018★ 2 cited
Lifschitz Realizability as a Topological Construction
Michael Rathjen, Andrew Swan
We develop a number of variants of Lifschitz realizability for CZF by building topological models internally in certain realizability models. We use this to show some interesting m…
math.LO2018
Power Kripke-Platek set theory and the axiom of choice
Michael Rathjen
Whilst Power Kripke-Platek set theory, KPP, shares many properties with ordinary Kripke-Platek set theory, KP, in several ways it behaves quite differently from KP. This is perhaps…